Numeric.MixedTypes.Field

Field

type CanAddSubMulDivBy t s

type Field t

type CertainlyEqField t

type OrderedField t

type OrderedCertainlyField t

Division

class CanDiv t1 t2

type CanDivBy t1 t2

type CanDivSameType t

type CanRecip t

type CanRecipSameType t

(/)

recip

powUsingMulRecip

Tests

specCanDiv

specCanDivNotMixed

type CanDivX t1 t2