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

Algebra.FieldOfRationalFunctions

Description

The field of rational functions is the field of fractions of k[x].

Synopsis

Documentation

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