algebra-4.3.1: Constructive abstract algebra
Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Algebra.Unital.UnitNormalForm

Documentation

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

Minimal complete definition

Nothing

Methods

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

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

Instances

Instances details
UnitNormalForm Integer Source # 
Instance details

Defined in Numeric.Algebra.Unital.UnitNormalForm

Methods

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

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

Defined in Numeric.Field.Fraction

Methods

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

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

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