gap-system / gap / 10506

84%

master: 4%

Pull #3612

travis-ci

Clarify, fix and test semantics of Quotient

This improves the documentation of Quotient to make it sensible for
non-commutative rings, and rings with zero divisors; it also fixes some
methods for Quotient which violated the documentation of Quotient (before and
after my changes to it).

In particular Quotient(R, x, Zero(R)) should return fail, not run into an
error.

Also add some tests for various Quotient methods. It turns out that those for
polynomials still are broken, which should be fixed in the future.

12 of 12 new or added lines in 4 files covered. (100.0%)

284476 of 337043 relevant lines covered (84.4%)

24992725.53 hits per line