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

Algebra.Q

Description

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

Synopsis

Documentation

type Q = FieldOfFractions ZSource

Q is the field of fractions of Z.

toQ :: Z -> QSource

toZ :: Q -> ZSource