constructive-algebra-0.1.6: A library of constructive algebra.

Algebra.Q

Description

Representation of rational numbers as the field of fractions of Z.

Synopsis

type Q = FieldOfFractions ZSource

Q is the field of fractions of Z.

toQ :: Z -> QSource

toZ :: Q -> ZSource