constructive-algebra-0.1.5: A library of constructive algebra.

Index - S

SAlgebra.TypeChar.Char
solveAlgebra.Structures.Coherent
solveBAlgebra.Structures.BezoutDomain
solveGeneralAlgebra.Structures.Coherent
solveGeneralEquationAlgebra.Structures.Coherent
solveMxNAlgebra.Structures.Coherent
solveWithIntersectionAlgebra.Structures.Coherent
sqfrAlgebra.UPoly
sqfrDecAlgebra.UPoly
StronglyDiscreteAlgebra.Structures.StronglyDiscrete
sumRingAlgebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field
S_Algebra.TypeChar.Char