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);
});
}
