- eq-in
- Equal
- BruhatLessOrEqual(x, y) : GrpPermElt, GrpPermElt -> BoolElt
- DixmierOhnoInvariantsEqual(DO1, DO2) : SeqEnum , SeqEnum -> BoolElt
- EqualDegreeFactorization(f, d, g) : RngUPolElt, RngIntElt, RngUPolElt -> [ RngUPolElt ]
- IgusaInvariantsEqual(JI1, JI2) : SeqEnum, SeqEnum -> BoolElt
- IsDefinitelyZero(f) : StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(x) : StrAnyXPadElt -> BoolElt
- IsWeaklyEqual(s, t) : RngDiffElt, RngDiffElt -> BoolElt
- IsWeaklyEqual(L, P) : RngDiffOpElt, RngDiffOpElt -> BoolElt
- IsWeaklyEqual(s, t, n) : RngPowLazElt, RngPowLazElt, RngIntElt -> BoolElt
- IsWeaklyEqual(f, g) : RngSerElt, RngSerElt -> BoolElt
- IsWeaklyZero(f) : StrAnyXPadElt -> BoolElt
- IsWeaklyZero(x) : StrAnyXPadElt -> BoolElt
- SearchEqual(~P: parameters) : GrpFPTietzeProc ->
- ShiodaInvariantsEqual(V1,V2) : SeqEnum, SeqEnum -> BoolElt
- EqualDegreeFactorization
- Equality
- equality
- equality-membership
- equality-operators
- Equalize
- EqualizeDegrees
- Equation
- ApparentEquationDegrees(X) : GRSch -> RngIntElt
- ApparentSyzygyDegrees(X) : GRSch -> RngIntElt
- BettiNumbers(X) : GRSch -> RngIntElt
- ApparentCodimension(X) : GRSch -> RngIntElt
- ApparentCodimension(f) : RngUPolElt -> RngIntElt
- CheckFunctionalEquation(L) : LSer -> FldComElt
- DefiningPolynomial(X) : Sch -> RngMPolElt
- EquationOrder(A) : FldAb -> RngOrd
- EquationOrder(K) : FldNum -> RngOrd
- EquationOrder(F) : FldQuad -> RngQuad
- EquationOrder(O) : RngFunOrd -> RngFunOrd
- EquationOrder(O) : RngOrd -> RngOrd
- EquationOrder(f) : RngUPolElt -> RngOrd
- EquationOrder(S) : [RngUPolElt] -> RngOrd
- EquationOrderFinite(F) : FldFun -> RngFunOrd
- EquationOrderInfinite(F) : FldFun -> RngFunOrd
- IndexFormEquation(O, k) : RngOrd, RngIntElt -> [ RngOrdElt ]
- IntegralNormEquation(a, N, O) : RngElt, Map, RngOrd -> BoolElt, [RngOrdElt]
- IsEquationOrder(O) : RngFunOrd -> BoolElt
- IsEquationOrder(O) : RngOrd -> BoolElt
- ModularEquation(M) : ModSS -> RngMPolElt
- NormEquation(A, x) : FldAb, RngOrdElt -> BoolElt, [RngOrdElt]
- NormEquation(F, m) : FldAlg, RngIntElt -> BoolElt, [ FldAlgElt ]
- NormEquation(K, y) : FldFin, FldFin -> BoolElt, FldFinElt
- NormEquation(R, m, b) : FldPad, Map, RngElt -> BoolElt, RngElt
- NormEquation(F, m) : FldQuad, RngIntElt -> BoolElt, SeqEnum
- NormEquation(m1, m2, G) : Map, Map, GrpAb -> GrpAb, Map
- NormEquation(m, N): RngElt, Map -> BoolElt, RngElt
- NormEquation(d, m) : RngIntElt, RngIntElt -> BoolElt, RngIntElt, RngIntElt
- NormEquation(O, m) : RngOrd, RngIntElt -> BoolElt, [ RngOrdElt ]
- UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
V2.28, 13 July 2023