1
4%
master: 4%

Ran 07 Jan 2019 02:30AM UTC

Files 542

Run time 25s

Badge

Embed ▾

Committed 07 Jan 2019 02:02AM UTC coverage: 74.452% (+0.03%) from 74.426%

Job # TEST_SUITES="docomp testtravis"

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

198047 of 266008 relevant lines covered (74.45%)

2.11 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x