forked from gap-packages/recog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTODO
66 lines (53 loc) · 2.28 KB
/
TODO
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
Use other methods for going down in dimension 3 in SL code
--> See Akos email 29 Jul 2011
Finalize FindAllPPD method
Today:
- Look at documentation: StdGens, StdPresentation
- Bug with loading of single packages
- Systematic test of classical natural
- Tensor und Subfield tests fail because SL(4,5) does not find an SL2
- Use RECOG.RandomSubProduct everywhere
- eMail Alice because of deleted perm rep A_n
- Look at all PseudoRandoms (still TODO)
- nonconstructive Lie type
- decide about names for attributes
- revisit examples/challenges
- balanced trees
- fix new FindElmOf method with respect to PseudoRandom
- implement sl2 natural
- look at Pete's code (blackbox classical)
- DisplayCompositionFactors is seriously broken e.g. in the projective
case
- Alice+Steve fuer Sn auf k-sets
Later TODO list:
- implement sl2 natural for odd characteristic
- early cheap stabchain method? --> first groundwork in genss
- look at Pete's code (blackbox classical)
- balanced trees
- Investigate maxdepth behaviour and length of SLPs, sensible?
- FindSL2 does not work for q=5, ==> SL(6,5) does not work (FindSL2)
reason: we power up to order 4, square of y is -1 thus y and z=y^x
mod -1 is dihedral rather than SL(2,5)
- DisplayCompositionFactors is seriously broken e.g. in the projective
case
- look at AltSymBB for next rep up if deleted perm went wrong?
- Look at Product Replacers again (--> orb): no need for accus during mixing
- implement classical natural for odd case (--> LG OB)
- genss: Make call to StabilizerChain which is guaranteed to be quick
possible
- more reps for specific hint (-> covers and non-atlasrep reps)
- think about BrauerCharacterValue method
- adjoint rep of sl_n
- verification/presentations
- example12 needs extremely long, why?
- Cleanup matrix.gi (e.g. remove det code)
- Pete Sp -> send mail
- PCGS with memory: Luks, Murray, Cooperman implementation
- Hash functions for vectors over finite fields 257 <= q <= 65536
-> NumberFFVector
- do more C9 cases
========================================================================
Future:
improvements of library in library
to change once the new vector/matrix interface is in place:
FieldOfMatrixGroup/DefaultFieldOfMatrixGroup