Index - Q
quadraticConvergence | Factory.Math.Precision |
quarticConvergence | Factory.Math.Precision |
quot' | Factory.Data.QuotientRing |
QuotientRing | Factory.Data.QuotientRing |
quotRem' | Factory.Data.QuotientRing |
factory-0.2.1.1: Rational arithmetic in an irrational world.