GAP-LEAN
A GAP parser, pretty printer, interpreter, and formal semantics.
- Can parse
grp/basic.gd
- Can parse
grp/basicprm.gi
. to handle permutation notation etc. lib/stbc.gd
andlib/stbc.gi
for stabilizer chains for Schrier tree.lib/stbcrand.gi
: random construction of stabilizer chains.- How best to parse
lib/stbc.gi
with things likeoptions.base
? scanner.c
andread.c
are the main files here.