3
4%
master: 4%

Ran 27 Aug 2019 07:31PM UTC

Files 676

Run time 1min

Badge

Embed ▾

Committed 27 Aug 2019 07:04PM UTC coverage: 76.925% (-0.004%) from 76.929%

Job # TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes

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

246962 of 321044 relevant lines covered (76.92%)

8639723.52 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.3 (TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.3 (TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes)

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

README BADGES
x