Documentation

F
- WeberF(s) : FldComElt -> FldComElt
f
- f(p) : Pt, FldFunFracSchElt -> RngElt
- Evaluate(f, p) : RngElt,Pt -> RngElt
- p @ f : Pt, FldFunFracSchElt -> RngElt
- p @ f : Pt, FldFunFracSchElt -> RngElt
- Image(f) : MapSch -> Sch
- f(X): GrpAutCrvElt, Pt -> Pt
- f(p) : MapSch,Pt -> Pt
- f(K) : MapSch,Rng -> Map
- fValueProof(L, x, b) : AlgLieExtr, RngIntElt, RngIntElt ->
F-key
- F<char>
f-key
- f<char>
F1
- HypergeometricSeries2F1(A,B,C,z) : FldRatElt, FldRatElt, FldRatElt, FldComElt -> FldComElt
- WeberF1(s) : FldComElt -> FldComElt
f12
- Creation: f=1, 2 or ≥3 (HILBERT SERIES OF POLARISED VARIETIES)
F2
- WeberF2(s) : FldComElt -> FldComElt
- WeberF1(s) : FldComElt -> FldComElt
- WeberF2(g) : RngSerElt -> RngSerElt
F27
- GrpFPInt_F27 (Example H77E28)
- GrpFP_F27 (Example H78E59)
F276
- GrpFP_F276 (Example H78E10)
F29
- GrpFP_F29 (Example H78E91)
Face
- DualFaceInDualFan(P,Q) : TorPol,[RngIntElt] -> TorFan
- Face(e) : GrphEdge -> SeqEnum
- Face(e) : GrphEdge -> SeqEnum
- Face(u, v) : GrphVert, GrphVert -> SeqEnum
- Face(u, v) : GrphVert, GrphVert -> SeqEnum
- Face(F,C) : TorFan,TorCon -> TorCon
- FaceFunction(F) : NwtnPgonFace -> RngElt
- FaceIndices(P,i) : TorPol,RngIntElt -> SeqEnum
- FaceSupportedBy(C,H) : TorCon,TorLatElt -> TorCon
- IsFace(N, F) : NwtnPgon,Tup -> BoolElt
- IsFace(C,F) : TorCon,TorCon -> BoolElt
FaceFunction
- FaceFunction(F) : NwtnPgonFace -> RngElt
FaceIndices
- FaceIndices(P,i) : TorPol,RngIntElt -> SeqEnum
Faces
- AllFaces(N) : NwtnPgon -> SeqEnum
- Faces(G) : GrphMultUnd -> SeqEnum[GrphVert]
- Faces(G) : GrphUnd -> SeqEnum[GrphVert]
- Faces(N) : NwtnPgon -> SeqEnum
- Faces(X, d) : SmpCpx, RngIntElt -> SeqEnum[SetEnum]
- Faces(C) : TorCon -> SeqEnum
- FacesContaining(N,p) : NwtnPgon,Tup -> SeqEnum
- InnerFaces(N) : NwtnPgon -> SeqEnum
- LowerFaces(N) : NwtnPgon -> SeqEnum
- NFaces(G) : GrphMultUnd -> RngIntElt
- NFaces(G) : GrphUnd -> RngIntElt
- NumberOfFaces(P,i) : TorPol,RngIntElt -> RngIntElt
- OuterFaces(N) : NwtnPgon -> SeqEnum
faces
- Facets and Faces (CONVEX POLYTOPES AND POLYHEDRA)
- SmpCpx_faces (Example H149E3)
faces-ex
- Newton_faces-ex (Example H55E2)
FacesContaining
- FacesContaining(N,p) : NwtnPgon,Tup -> SeqEnum
FaceSupportedBy
- FaceSupportedBy(C,H) : TorCon,TorLatElt -> TorCon
Facet
- EdgeFacetIncidenceMatrix(P) : TorPol -> ModMatRngElt
- FacetIndices(P) : TorPol -> SeqEnum
- MaximalVertexFacetHeightMatrix(P) : TorPol -> AlgMatElt
- VertexFacetHeightMatrix(P) : TorPol -> AlgMatElt
- VertexFacetIncidenceMatrix(P) : TorPol -> ModMatRngElt
FacetIndices
- FacetIndices(P) : TorPol -> SeqEnum
Facets
- Facets(X) : SmpCpx -> SeqEnum[SetEnum]
- Facets(C) : TorCon -> SeqEnum
- NumberOfFacets(P) : TorPol -> RngIntElt
facets
- Facets and Faces (CONVEX POLYTOPES AND POLYHEDRA)
- SmpCpx_facets (Example H149E4)
facets-faces
- Facets and Faces (CONVEX POLYTOPES AND POLYHEDRA)
Facint
- FactorizationToInteger(f) : RngIntEltFact -> RngIntElt
- Facint(f) : RngIntEltFact -> RngIntElt
- FactorizationToInteger(s) : [ <RngIntElt, RngIntElt> ] -> RngIntElt
Facpol
- Facpol(f) : [Tup] -> BoolElt
- FactorisationToPolynomial(f) : [Tup] -> BoolElt
Fact
- SequenceToFactorization(s) : SeqEnum -> RngIntEltFact
- SeqFact(s) : SeqEnum -> RngIntEltFact
fact
- Factorization (p-ADIC RINGS AND THEIR EXTENSIONS)
fact-ex
- RngLoc_fact-ex (Example H48E37)
fact_roots
- Factorization and Roots (p-ADIC RINGS AND THEIR EXTENSIONS)
Factor
- CFP(u: parameters) : GrpBrdElt -> Tup
- CanonicalFactorRepresentation(u: parameters) : GrpBrdElt -> Tup
- ChangeEulerFactor(L,p,f) : LSer, RngIntElt, RngUPolElt -> LSer
- ClassGroupCyclicFactorGenerators(O) : RngOrd -> ModHomElt
- CompositionTreeFactorNumber(G, g) : Grp, GrpElt -> RngIntElt
- EpsilonFactor(A) : ArtRep -> FldComElt
- EpsilonFactor(A,infty) : ArtRep, Infty -> FldComElt
- EpsilonFactor(A,p) : ArtRep, RngIntElt -> FldComElt
- EpsilonFactor(A) : GalRep -> FldComElt
- EulerFactor(A, p) : ArtRep, RngIntElt -> RngUPolElt
- EulerFactor(C,p) : CrvHyp[FldNum], RngIntElt -> RngUPolElt
- EulerFactor(C,p) : CrvHyp[FldRat], RngIntElt -> RngUPolElt
- EulerFactor(A) : GalRep -> RngUPolElt
- EulerFactor(H, t, p) : HypGeomData, RngQZElt, RngIntElt -> RngUPolElt
- EulerFactor(J) : JacHyp -> RngUPolElt
- EulerFactor(J, K) : JacHyp, FldFin -> RngUPolElt
- EulerFactor(J, p) : JacketMot, RngIntElt -> RngUPolElt
- EulerFactor(L, p) : LSer, RngIntElt -> RngElt
- EulerFactorModChar(J) : JacHyp -> RngUPolElt
- Factor(P) : NFSProc -> RngIntElt
- Factor(P,k) : NFSProc, RngIntElt -> RngIntElt
- FactorBasis(K, B) : FldNum, RngIntElt -> [ RngOrdIdl ]
- FactorBasis(O) : RngOrd -> [ RngOrdIdl ], Integer
- FactorBasisVerify(O, a, b) : RngOrd, RngIntElt, RngIntElt ->
- Mass(L) : LatNF -> FldRatElt
- ScalingFactor(g) : TransG1 -> RngElt
- SocleFactor(G) : GrpPerm -> GrpPerm
- StoreFactor(n) : RngIntElt ->

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.