gap-system / gap / 10161

4%

push

travis-ci

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`.

23 of 23 new or added lines in 5 files covered. (100.0%)

287153 of 336683 relevant lines covered (85.29%)

23822629.27 hits per line