| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Numeric.Algebra.Unital.UnitNormalForm
Documentation
class (DecidableUnits r, DecidableAssociates r) => UnitNormalForm r where Source #
Methods
splitUnit :: r -> (r, r) Source #
splitUnit :: (Division r, ZeroProductSemiring r, DecidableZero r) => r -> (r, r) Source #
Instances
| UnitNormalForm Integer Source # | |
| GCDDomain d => UnitNormalForm (Fraction d) Source # | |
normalize :: UnitNormalForm r => r -> r Source #
leadingUnit :: UnitNormalForm r => r -> r Source #