7
4%
master: 4%

Ran 07 Jan 2019 02:39AM UTC

Files 536

Run time 28s

Badge

Embed ▾

Committed 07 Jan 2019 02:02AM UTC coverage: 72.56%. Remained the same

Job # TEST_SUITES=testmanuals

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

180000 of 248072 relevant lines covered (72.56%)

4.53 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.7 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.7 (TEST_SUITES=testmanuals)

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

README BADGES
x