2
4%
master: 4%

Ran 27 Aug 2019 07:31PM UTC

Files 649

Run time 1min

Badge

Embed ▾

Committed 27 Aug 2019 07:04PM UTC coverage: 76.931% (-0.005%) from 76.936%

Job # TEST_SUITES="docomp testtravis" ABI=32 CONFIGFLAGS=""

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

ENHANCE: Work around ErrorQuit in abelianized Rrs (#3623)

The Abelianized Rrs uses kernel routines that are haerd-coded for
small integers. If an integer becomes larger, they used to exit with
ErrorQuit, thus not makeing it possible to recover from this situation in a
larger calculation. This commit changes this behavior:

1) Instead of calling `ErrorQuit` a failure value is returned by the inner
kernel routines, the outer kernel routines accordingly have `ApplyRel2`
(which used to return no value) returns `true` or `false` accordingly.
2) The code for abelianized Rrs catches this case and changes to a (slow)
library calculation based on the non-abelianized Rrs. Not great, but at
least no error. (This should be improved in future to abelianize in the
library.)
3) The "cheap" option skips such hard calculations (with a return value of
`fail`). This is recognized in `LargerQuotientBySubgroupAbelianization` and in
turn by `FpGroupCocycle` to continue a candidate search, even if
encountering such a situation.

Replace MTC in error message by "coset enumeration" as it actually is an Rrs.

Run Details

241651 of 314113 relevant lines covered (76.93%)

4133368.66 hits per line

gap-system / gap / 10478 / 2
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.2 (TEST_SUITES="docomp testtravis" ABI=32 CONFIGFLAGS="")

gap-system / gap / 10478 / 2 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.2 (TEST_SUITES="docomp testtravis" ABI=32 CONFIGFLAGS="")

gap-system / gap / 10478 / 2
4%
master: 4%

README BADGES
x