algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Algebra.Unital.UnitNormalForm

Documentation

class (DecidableUnits r, DecidableAssociates r) => UnitNormalForm r where #

Methods

splitUnit :: r -> (r, r) #

splitUnit :: (Division r, ZeroProductSemiring r, DecidableZero r) => r -> (r, r) #

Instances
UnitNormalForm Integer # 
Instance details

Defined in Numeric.Algebra.Unital.UnitNormalForm

Methods

splitUnit :: Integer -> (Integer, Integer) #

GCDDomain d => UnitNormalForm (Fraction d) # 
Instance details

Defined in Numeric.Field.Fraction

Methods

splitUnit :: Fraction d -> (Fraction d, Fraction d) #

normalize :: UnitNormalForm r => r -> r #

leadingUnit :: UnitNormalForm r => r -> r #