public void perm_swap() { var id = PermG.Identity((byte)32); var p = id.Replicate(); p.Swap(3, 4).Swap(4, 5).Swap(5, 6); Claim.eq(p[6], id[3]); }
void perm_create <T>(T m, T n) where T : unmanaged { var perm = PermG <T> .Identity(n); var lengths = range(m, n); iter(lengths, i => { var p = PermG <T> .Identity(i); var cycle = p.Cycle(default(T)); Claim.eq(cycle.Length, 1); }); }