8
4%
master: 4%

Ran 07 Jan 2019 02:43AM UTC

Files 528

Run time 23s

Badge

Embed ▾

Committed 07 Jan 2019 02:02AM UTC coverage: 60.124% (-0.001%) from 60.125%

Job # TEST_SUITES=testbugfix

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Fix IsReduced for KnuthBendixRewritingSystem

`IsReduced` did not work for KnuthBendixRewritingSystems, because it used
`Rules` to obtain the rules of a rewriting system which are stored as
`IsLetterAssocWordRep`, and then tried reducing words using a kernel function
that assumes list access is possible for such words (which it is not).

Use TzRules instead which converts rules to lists of integers.

Run Details

144064 of 239612 relevant lines covered (60.12%)

1.65 hits per line

gap-system / gap / 8823 / 8
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.8 (TEST_SUITES=testbugfix)

gap-system / gap / 8823 / 8 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.8 (TEST_SUITES=testbugfix)

gap-system / gap / 8823 / 8
4%
master: 4%

README BADGES
x