Factorable | Numeric.Multiplication.Factorable, Numeric.Multiplication |
factorWith | Numeric.Multiplication.Factorable, Numeric.Multiplication |
FreeAlgebra | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
FreeCoalgebra | Numeric.Algebra.Free.Class, Numeric.Algebra.Free |
FreeCounitalCoalgebra | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
FreeUnitalAlgebra | Numeric.Algebra.Free.Unital, Numeric.Algebra.Free |
frobenius | Numeric.Rig.Characteristic, Numeric.Rig |
fromEnd | Numeric.Ring.Endomorphism, Numeric.Ring |
fromInteger | Numeric.Ring.Class, Numeric.Ring |
fromIntegral | Numeric.Ring.Class, Numeric.Ring |
fromNatural | Numeric.Rig.Class, Numeric.Rig |
fromNaturalNum | Numeric.Rig.Class, Numeric.Rig |
fromWhole | Numeric.Rig.Class, Numeric.Rig |