1
4%
master: 4%

Ran 17 Jul 2019 11:15AM UTC

Files 649

Run time 40s

Badge

Embed ▾

Committed 17 Jul 2019 10:09AM UTC coverage: 76.505% (+0.01%) from 76.494%

Job # TEST_SUITES="docomp testtravis"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Restrict Size method for cyclic groups

This method needs to test whether a group element is the identity; but this
can lead to an infinite recursion if the input is an fp group, as then this
equality check may end up trying to compute the group size. This currently
actually happens when all packages are loaded (with only the default set of
filters, another Size method is selected for cyclic fp groups).

We fix this by adding the `CanEasilyCompareElements` filter to the argument
filters of the method. Strictly speaking, we'd also want to check for
something like `CanEasilyComputerElementOrder`, but that doesn't exist.

Coverage Stats

240785 of 314730 relevant lines covered (76.51%)

8325841.67 hits per line

gap-system / gap / 10294 / 1
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10294.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 10294 / 1 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10294.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 10294 / 1
4%
master: 4%

README BADGES
x