algebra-4.3.1: Constructive abstract algebra

Index - F

FactorableNumeric.Algebra.Factorable, Numeric.Algebra
factorWithNumeric.Algebra.Factorable, Numeric.Algebra
FieldNumeric.Field.Class, Numeric.Algebra
filterGradeNumeric.Coalgebra.Geometric
FractionNumeric.Field.Fraction
frobeniusNumeric.Ring.Endomorphism
fromEndNumeric.Ring.Endomorphism
fromIntegerNumeric.Ring.Class, Numeric.Algebra
fromIntegerRepNumeric.Module.Representable, Numeric.Algebra
fromIntegralNumeric.Ring.Class
fromNaturalNumeric.Rig.Class, Numeric.Algebra
fromNaturalRepNumeric.Module.Representable, Numeric.Algebra