|
dejavu
Fast probabilistic symmetry detection.
|
Data structures and algorithms to deal with groups. More...
Classes | |
| class | automorphism_workspace |
| Workspace for sparse automorphisms. More... | |
| class | compressed_schreier |
| Compressed Schreier structure. More... | |
| class | dense_sparse_arbiter |
| Stores a link to an automorphism. More... | |
| class | domain_compressor |
| Compresses vertex set to smaller window. More... | |
| class | generating_set |
| Stores a generating set. More... | |
| class | orbit |
| Orbit partition. More... | |
| class | random_schreier |
| API for the dejavu Schreier structure. More... | |
| class | random_schreier_internal |
| Schreier structure. More... | |
| class | schreier_workspace |
| Auxiliary workspace used for Schreier computations. More... | |
| class | shared_transversal |
| A transversal in a Schreier structure. More... | |
| class | stored_automorphism |
| Stores an automorphism in a dense or sparse manner, dynamically. More... | |
Data structures and algorithms to deal with groups.
Contains basic data structures to construct and deal with automorphisms, as well as a Schreier structure.