constructive-algebra-0.1.6: A library of constructive algebra.
The field of rational functions is the field of fractions of k[x].
type FieldOfRationalFunctions k x = FieldOfFractions (UPoly k x)Source
Field of rational functions.
type QX = FieldOfRationalFunctions Q X_Source
The field of fraction of Q[x].
toQX :: Qx -> QXSource
toQx :: QX -> QxSource
Produced by Haddock version 2.8.1