Normalise explicit implicit groups
varkor opened this issue · 1 comments
The 3-ball cascade, explicitly juggled with 2 hands, can be described with the siteswap: (3,0)!(0,3)!. It would be nice if we could normalise this to 3 (and keep the information about how many hands the siteswap requires). However, there are some gnarly issues with working out when these types of groups can be simplified, as this can cause propagating changes.
There are many subtleties involved here. For example, the set of throws (n, 0, 0, ...)!!!^x should be converted to n(n, 0, 0, ...)!!!^(x-1) (or possibly a sequence of implicit and explicit groups, depending on the size of x relative to the number of hands).
There are actually more issues with mixed synchronous/asynchronous notation. For example, though: (0,3)!(3,0)!(0,3)!(3,0)! and (0,3)!333 should be identical, the latter is not validated.