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.