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

- type FieldOfRationalFunctions k x = FieldOfFractions (UPoly k x)
- type QX = FieldOfRationalFunctions Q X_
- toQX :: Qx -> QX
- toQx :: QX -> Qx

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

- type FieldOfRationalFunctions k x = FieldOfFractions (UPoly k x)
- type QX = FieldOfRationalFunctions Q X_
- toQX :: Qx -> QX
- toQx :: QX -> Qx