Data structures

This module implements basic data structures essential to the rest of the partn_ref module.

REFERENCES:

[1] McKay, Brendan D. Practical Graph Isomorphism. Congressus Numerantium,
Vol. 30 (1981), pp. 45-87.
[2] Fredman, M. and Saks, M. The cell probe complexity of dynamic data
structures. Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, pp. 345–354. May 1989.
[3] Seress, Akos. Permutation Group Algorithms. Cambridge University Press,
sage.groups.perm_gps.partn_ref.data_structures.OP_represent(n, merges, perm)

Demonstration and testing.

sage.groups.perm_gps.partn_ref.data_structures.PS_represent(partition, splits)

Demonstration and testing.

sage.groups.perm_gps.partn_ref.data_structures.SC_test_list_perms(L, n, limit, gap, limit_complain, test_contains)

Test that the permutation group generated by list perms in L of degree n is of the correct order, by comparing with GAP. Don’t test if the group is of size greater than limit.