Unital r => IsLabel "x" (Unipol r) Source # | By this instance, you can use `#x` for
the unique variable of `Unipol` r . |

## Instance details |

(DecidableZero r, RightModule Integer r) => RightModule Integer (Unipol r) Source # | |

## Instance details |

(DecidableZero r, RightModule Natural r) => RightModule Natural (Unipol r) Source # | |

## Instance details |

(DecidableZero r, LeftModule Integer r) => LeftModule Integer (Unipol r) Source # | |

## Instance details |

(DecidableZero r, LeftModule Natural r) => LeftModule Natural (Unipol r) Source # | |

## Instance details |

(Eq r, DecidableZero r) => Eq (Unipol r) Source # | |

## Instance details |

CoeffRing r => Num (Unipol r) Source # | |

## Instance details |

(Ord r, DecidableZero r) => Ord (Unipol r) Source # | |

## Instance details |

(CoeffRing r, PrettyCoeff r) => Show (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => UFD (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => PID (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => IntegralDomain (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => GCDDomain (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => Euclidean (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => ZeroProductSemiring (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => UnitNormalForm (Unipol r) Source # | |

## Instance details |

(CoeffRing r, DecidableZero r) => Ring (Unipol r) Source # | |

## Instance details |

(CoeffRing r, DecidableZero r) => Rig (Unipol r) Source # | |

## Instance details |

DecidableZero r => DecidableZero (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => DecidableUnits (Unipol r) Source # | |

## Instance details |

(Eq r, Field r) => DecidableAssociates (Unipol r) Source # | |

## Instance details |

(CoeffRing r, Unital r) => Unital (Unipol r) Source # | |

## Instance details |

(CoeffRing r, Commutative r) => Commutative (Unipol r) Source # | |

## Instance details |

(CoeffRing r, DecidableZero r) => Semiring (Unipol r) Source # | |

## Instance details |

(CoeffRing r, Multiplicative r) => Multiplicative (Unipol r) Source # | |

## Instance details |

DecidableZero r => Monoidal (Unipol r) Source # | |

## Instance details |

(DecidableZero r, Group r) => Group (Unipol r) Source # | |

## Instance details |

DecidableZero r => Additive (Unipol r) Source # | |

## Instance details |

(DecidableZero r, Abelian r) => Abelian (Unipol r) Source # | |

## Instance details |

Hashable r => Hashable (Unipol r) Source # | |

## Instance details |

NFData r => NFData (Unipol r) Source # | |

## Instance details |

CoeffRing r => IsPolynomial (Unipol r) Source # | |

## Instance details |

CoeffRing r => IsOrderedPolynomial (Unipol r) Source # | |

## Instance details |

(DecidableZero r, Semiring r) => RightModule (Scalar r) (Unipol r) Source # | |

## Instance details |

(DecidableZero r, Semiring r) => LeftModule (Scalar r) (Unipol r) Source # | |

## Instance details |

type Arity (Unipol r) Source # | |

## Instance details |

type Coefficient (Unipol r) Source # | |

## Instance details |

type MOrder (Unipol r) Source # | |

## Instance details |