Numeric.MixedTypes.Field

Field

type CanAddSubMulDivCNBy t s

type Field t

type CertainlyEqField t

type OrderedField t

type OrderedCertainlyField t

Division

class CanDiv t1 t2

type CanDivBy t1 t2

type CanDivCNBy t1 t2

type CanDivSameType t

type CanDivCNSameType t

type CanRecip t

type CanRecipSameType t

type CanRecipCNSameType t

(/)

(/!)

recip

powUsingMulRecip

Tests

specCanDiv

specCanDivNotMixed

type CanDivX t1 t2