- Minima
- minima
- minima-theta
- Minimal
- AbsoluteMinimalPolynomial(a) : FldAlgElt -> RngUPolElt
- AbsoluteMinimalPolynomial(a) : FldFunElt -> RngUPolElt
- AbsoluteMinimalPolynomial(a) : FldNumElt -> RngUPolElt
- AbsoluteModuleOverMinimalField(M) : ModGrp -> ModGrp
- AbsoluteModuleOverMinimalField(M) : ModGrp -> ModGrp
- AbsoluteModuleOverMinimalField(M, F) : ModGrp, FldFin -> ModGrp
- AbsoluteModulesOverMinimalField(Q, F) : [ ModGrp ], FldFin -> [ ModGrp ]
- FactoredMinimalAndCharacteristicPolynomials(A: parameters) : Mtrx -> [<RngUPolElt, RngIntElt>], [<RngUPolElt, RngIntElt>]
- FactoredMinimalPolynomial(A: parameters) : Mtrx -> [ <RngUPolElt, RngIntElt>]
- GenericMinimalPolynomial(x) : AlgGenElt -> FldElt
- HilbertSeriesMultipliedByMinimalDenominator(p,V) : RngUPolElt, SeqEnum -> RngUPolElt, SeqEnum
- Inequalities(C) : TorCon -> SeqEnum
- IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc
- IsMinimalModel(E) : CrvEll -> BoolElt
- IsMinimalTwist(M, p) : ModSym, RngIntElt -> BoolElt, ModSym, GrpDrchElt
- IsolatedPointsLiftToMinimalPolynomials(S,P) : Sch, SeqEnum -> BoolElt, SeqEnum
- IspMinimal(C, p) : CrvHyp, RngIntElt -> BoolElt, BoolElt
- MaximalSublattices(L, p) : LatNF, RngOrdIdl -> [LatNF], [RngIntElt]
- MinParabolics(C) : CosetGeom -> SetIndx
- MinimalAlgebraGenerators(L) : [ RngMPol ] -> [ RngMPol ]
- MinimalAlgebraGenerators(L) : [ RngMPol ] -> [ RngMPol ]
- MinimalAndCharacteristicPolynomials(A: parameters) : Mtrx -> RngUPolElt, RngUPolElt
- MinimalBaseRingCharacter(chi) : GrpDrchElt -> GrpDrchElt
- MinimalBasis(M) : ModMPol -> [ ModMPolElt ]
- MinimalBasis(X) : Sch -> [ RngMPolElt ]
- MinimalBasis(S) : [ ModMPolElt ] -> [ ModMPolElt ]
- MinimalBlocks(G: parameters) : GrpPerm -> [ SetEnum ]
- MinimalChernNumber(S,n) : Srfc, RngIntElt -> RngIntElt
- MinimalDecomposition(S) : [ RngMPol ] -> [ RngMPol ]
- MinimalDegreeModel(E) : CrvEll[FldFunRat] -> CrvEll, Map, Map
- MinimalDegreePermutationRepresentation(G: parameters) : Grp -> Hom(Grp), GrpPerm
- MinimalDualResolutionGraph(dsd) : DesingData -> GrphMultUnd, SeqEnum, SeqEnum, Mtrx
- MinimalElementConjugatingToPositive(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- MinimalElementConjugatingToSuperSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- MinimalElementConjugatingToUltraSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- MinimalField(a) : FldRatElt -> FldRat
- MinimalField(q) : FldRatElt -> FldRat
- MinimalField(G) : GrpMat -> FldFin
- MinimalField(M) : ModRng -> FldFin
- MinimalField(S) : SetEnum -> FldRat
- MinimalField(S) : [ FldCycElt ] -> FldCyc
- MinimalFreeResolution(R) : RngInvar -> [ ModMPol ]
- MinimalGeneratorForm(A) : AlgBas -> Rec
- MinimalGeneratorFormAlgebra(A) : AlgBas -> AlgBas
- MinimalHeckePolynomial(A, n) : ModAbVar, RngIntElt -> RngUPolElt
- MinimalIdeals(L : parameters) : AlgLie -> [ AlgLie ], BoolElt
- MinimalIdentity(A, S) : AlgBas, SeqEnum[AlgBasElt] -> AlgBasElt
- MinimalInteger(I) : RngOrdIdl -> RngElt
- MinimalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- MinimalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
- MinimalModel(C) : CrvCon -> CrvCon, Map
- MinimalModel(E) : CrvEll -> CrvEll, Map, Map
- MinimalModel(E, p) : CrvEll, RngIntElt -> CrvEll, Map, Map
- MinimalModel(E) : CrvEll[FldFunG] -> CrvEll, MapIsoSch
- MinimalModelGeneralType(S) : Srfc -> Map, BoolElt
- MinimalModelKodairaDimensionOne(S) : Srfc -> Map, Map
- MinimalModelKodairaDimensionZero(S) : Srfc -> Map
- MinimalModelRationalSurface(S) : Srfc -> Map
- MinimalModelRuledSurface(S) : Srfc -> Map
- MinimalNormalSubgroup(G) : GrpPC -> GrpPC
- MinimalNormalSubgroup(G, N) : GrpPC -> GrpPC
- MinimalNormalSubgroups(G) : GrpPC -> [GrpPC]
- MinimalNormalSubgroups(G) : GrpPerm -> [ GrpPerm ]
- MinimalOverfields(e) : SubFldLatElt -> [ SubFldLatElt ]
- MinimalOvergroup(G, H) : GrpFP, GrpFP -> GrpFP
- MinimalOvergroups(G,H) : GrpFin, GrpFin -> [ SeqEnum ]
- MinimalOvergroups(e) : SubGrpLatElt -> { SubGrpLatElt }
- MinimalPartition(G: parameters) : GrpPerm -> GSet
- MinimalPartitions(G: parameters) : GrpPerm -> [ GSet ]
- MinimalPolynomial(x) : AlgAssVOrdElt -> RngUPolElt
- MinimalPolynomial(f) : AlgFPElt -> RngUPol
- MinimalPolynomial(a) : AlgGenElt -> RngUPolElt
- MinimalPolynomial(a) : AlgMatElt -> RngUPolElt
- MinimalPolynomial(x) : AlgQuatElt -> RngUPolElt
- MinimalPolynomial(a) : FldACElt -> RngUPolElt
- MinimalPolynomial(a) : FldAlgElt -> RngUPolElt
- MinimalPolynomial(a) : FldFinElt -> RngUPolElt
- MinimalPolynomial(a, E) : FldFinElt, FldFin -> RngUPolElt
- MinimalPolynomial(a, R) : FldFunElt, Rng -> RngUPolElt
- MinimalPolynomial(a) : FldNumElt -> RngUPolElt
- MinimalPolynomial(q) : FldRatElt -> RngUPolElt
- MinimalPolynomial(r,d,N) : FldReElt, RngIntElt, RngIntElt -> RngUPolElt, FldReElt
- MinimalPolynomial(g) : GrpMatElt -> RngPolElt
- MinimalPolynomial(phi) : MapModAbVar -> RngUPolElt
- MinimalPolynomial(A: parameters) : Mtrx -> RngUPolElt
- MinimalPolynomial(s) : RngDiffElt -> RngUPolElt
- MinimalPolynomial(n) : RngIntElt -> RngUPolElt
- MinimalPolynomial(f) : RngMPolResElt -> RngUPol
- MinimalPolynomial(x) : RngPadElt -> RngUPolElt
- MinimalPolynomial(x, R) : RngPadElt, RngPad -> RngUPolElt
- MinimalQuadraticTwist(E) : CrvEll -> CrvEll, RngIntElt
- MinimalRelations(R) : Rec -> SeqEnum
- MinimalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- MinimalSubmodule(M) : ModRng -> ModRng
- MinimalSubmodules(M) : ModRng -> [ ModRng ], BoolElt
- MinimalSubmodules(M, F) : ModRng, ModRng -> [ ModRng ], BoolElt
- MinimalSuperlattices(e) : LatLatElt -> [ LatLatElt ] , [ RngIntElt ]
- MinimalSupermodules(e) : SubModLatElt -> { SubModLatElt }
- MinimalSyzygyModule(M) : ModMPol -> [ ModMPolElt ]
- MinimalVectorSequence(f,n) : SeqEnum, RngIntElt -> SeqEnum
- MinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- MinimalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
- Norm(a) : RngLocAElt -> RngElt
- NumberOfPointsOnMinimalResolutionFibre(dsd) : DesingData -> RngIntElt
- RGenerators(C) : TorCon -> SeqEnum
- ReducedMinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- ZetaFunctionOfMinimalResolutionFibre(dsd) : DesingData -> FldFunRatUElt
V2.28, 13 July 2023