- file
- Files
- files
- FillingLPObject
- fin
- final-symm-examples
- Find
- Find_CM_Curve
- find_keys
- Find_Rational_Isogeny
- findbase
- FindCommonEmbeddings
- FindDependencies
- Finder
- FindFirstGenerators
- FindGenerators
- finding
- finding-irreducibles
- FindingPrimes
- FindN
- FindRelations
- FindRelationsInCWIFormat
- FindWord
- Fine
- FineEquidimensionalDecomposition
- finfield
- Finite
- Finite FP-Groups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- EquationOrderFinite(F) : FldFun -> RngFunOrd
- FiniteAffinePlane(D) : Inc -> Plane, PlanePtSet, PlaneLnSet
- FiniteAffinePlane(W) : ModFld -> PlaneAff
- FiniteAffinePlane< v | X : parameters > : RngIntElt, List -> PlaneAff
- FiniteAffinePlane(P, l) : PlaneProj, PlaneLn -> PlaneAff, PlanePtSet, PlaneLnSet, Map
- FiniteField(q) : RngIntElt -> FldFin
- FiniteField(p, n) : RngIntElt, RngIntElt -> FldFin
- FiniteLieAlgebra(L) : AlgKac -> AlgLie
- FiniteProjectivePlane(D) : Inc -> Plane, PlanePtSet, PlaneLnSet
- FiniteProjectivePlane(W) : ModTupFld -> PlaneProj
- FiniteProjectivePlane< v | X : parameters > : RngIntElt, List -> PlaneProj
- FiniteSplit(D) : DivFunElt -> DivFunElt, DivFunElt
- HasFiniteAbelianQuotient(G) : GrpFP -> [ RngIntElt ]
- HasFiniteDimension(Q) : RngMPolRes -> BoolElt
- HasFiniteIndex(F, H) : GrpFP, GrpFP -> BoolElt
- HasFiniteIndex (G, H) : GrpMat, GrpMat -> BoolElt
- HasFiniteKernel(phi) : MapModAbVar -> BoolElt
- HasFiniteOrder(g) : GrpMatElt -> BoolElt, RngIntElt
- HasFiniteOrder(A) : Mtrx -> BoolElt
- HasFiniteOrder (g : parameters ) : GrpMatElt -> BoolElt, RngIntElt
- HasFiniteRank (G) : GrpMat -> BoolElt
- IsAbelianByFinite(G : parameters) : GrpMat -> BoolElt
- IsCentralByFinite(G : parameters) : GrpMat -> BoolElt
- IsCoxeterFinite(M) : AlgMatElt -> BoolElt
- IsFinite(G) : GrpAb -> BoolElt
- IsFinite(W) : GrpFPCox -> BoolElt
- IsFinite(G) : GrpGPC -> BoolElt
- IsFinite(x) : GrpGPCElt -> BoolElt
- IsFinite(G) : GrpLie -> BoolElt
- IsFinite(G) : GrpMat -> Bool, RngIntElt
- IsFinite(G) : GrpRWS -> BoolElt, RngIntElt
- IsFinite(G) : GrpRWS -> BoolElt, RngIntElt
- IsFinite(x) : Infty -> BoolElt
- IsFinite(G) : ModAbVarSubGrp -> RngIntElt
- IsFinite(M) : MonRWS -> BoolElt, RngIntElt
- IsFinite(G : parameters) : GrpMat -> BoolElt, RngIntElt
- IsFinite(P) : PlcFunElt -> BoolElt
- IsFinite(p) : PlcNumElt -> BoolElt
- IsFinite(p) : PlcNumElt -> BoolElt
- IsFinite(R) : Rng -> BoolElt
- IsFinite(R) : RootStr -> BoolElt
- IsFiniteOrder(O) : RngFunOrd -> BoolElt
- IsIrreducibleFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
- IsNilpotentByFinite(G : parameters) : GrpMat -> BoolElt
- IsPolycyclicByFinite(G : parameters) : GrpMat -> BoolElt
- IsPrimitiveFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
- IsSolubleByFinite(G : parameters) : GrpMat -> BoolElt
- MaximalOrderFinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(F) : FldFun -> RngFunOrd
- MaximalOrderFinite(A) : FldFunAb -> RngFunOrd
- MaximalOrderFinite(u) : RngWittElt -> RngFunOrd
V2.28, 13 July 2023