gap-system / gap / 12144

4%

Build Type

push

travis-ci

Committed by fingolfin

Commit Message

ENHANCE: Faster rewriting systems for simple groups

- Go thorough pcgroup for word expression iun Borel:
  as this will produce a word in the right ordering, rather than one obtained
  from a stabilizer chain (which will require more expensive rewriting).
- Don't run through all of Borel (but rely on MakeConfluent)
- Faster Borel rewriting (useful for large primes)
- Presentation for rewriting tries to use split generators:
  When getting a presentation for rewriting, try to ensure that the
  generating set chosen exposes direct factors of the radical factor.
  Otherwise there will be a a lot of messy tails which can be costly to
  clean up. (Basically this mimics some of what `SpecialPcgs` does.)
- Stored rewriting systems for some simple groups (up to certain size).

Run Details

20393 of 20445 new or added lines in 3 files covered. (99.75%)

48 existing lines in 1 file now uncovered.

303024 of 353388 relevant lines covered (85.75%)

46063747.37 hits per line