3
4%
master: 4%

Ran 07 Jan 2019 02:25AM UTC

Files 554

Run time 26s

Badge

Embed ▾

Committed 07 Jan 2019 02:02AM UTC coverage: 74.345% (+0.03%) from 74.32%

Job # TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes

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

199233 of 267985 relevant lines covered (74.34%)

2.1 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.3 (TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8823.3 (TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes)

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

README BADGES
x