9
4%
master: 4%

Ran 27 Aug 2019 07:44PM UTC

Files 635

Run time 1min

Badge

Embed ▾

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

Job # TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking"

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

173972 of 287560 relevant lines covered (60.5%)

2679382.48 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.9 (TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking")

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.9 (TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking")

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

README BADGES
x