Esempio n. 1
0
        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]);
        }
Esempio n. 2
0
        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);
            });
        }