File: TODO

package info (click to toggle)
gap-matrix-schreiersims 0.9.20041122-3.1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 716 kB
  • ctags: 47
  • sloc: makefile: 144
file content (11 lines) | stat: -rw-r--r-- 463 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
Matrix Schreier-Sims TODO
=========================

- Implement Seress heuristic algorithm that tests only one random Schreier 
  generator at each level for membership in the stabiliser. 
  Seress 4.5 (especially 4.5.1) and 2.3
  Use normal sifting (not speedup using base images).
- Try to speed up heuristic by using shallow Schreier trees
  Seress 4.4, especially 4.4.2 and 4.4.3
- Try to speed up by using base images instead of normal sifting
  Seress 5.2