8
4%
master: 4%

Ran 28 Jun 2019 01:32AM UTC

Files 643

Run time 58s

Badge

Embed ▾

Committed 27 Jun 2019 09:40PM UTC coverage: 71.895% (+0.001%) from 71.894%

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

lib: add operation DirectProductFamily

This declares the new operation DirectProductFamily and installs a
method for it. The new method is also added to `hpcgap/lib/tuples.gi`.
Also adds documentation and tests.

In the reference manual, the section "IsDirectProductElement (Filter)"
is renamed into "Direct Products and their Elements" to also accomodate
the documentation of DirectProductFamily and future categories and
operations.

UnderlyingRelation is adapted to use the new method, which makes it
easier to read. The same change is replicated to
`hpcgap/lib/mapping.gi`.

Run Details

213246 of 296609 relevant lines covered (71.89%)

4714077.41 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10161.8 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10161.8 (TEST_SUITES=testmanuals)

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

README BADGES
x