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

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

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