13
4%
master: 4%

Ran 27 Aug 2019 07:54PM UTC

Files 651

Run time 2min

Badge

Embed ▾

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

Job # TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

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

228740 of 313321 relevant lines covered (73.01%)

703449.45 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10478.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

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

README BADGES
x