Documentation

Family
- GrpFP_Family (Example H78E26)
family
- Families of Lie Algebras (LIE ALGEBRAS)
family-construct
- Families of Lie Algebras (LIE ALGEBRAS)
Fan
- DualFaceInDualFan(P,Q) : TorPol,[RngIntElt] -> TorFan
- Fan(C) : RngCox -> TorFan
- Fan(C) : TorCon -> TorFan
- Fan(F1,F2) : TorFan,TorFan -> TorFan
- Fan(X) : TorVar -> TorLat
- Fan(Q) : [TorCon] -> TorFan
- Fan(R,S) : [TorLatElt],[[RngIntElt]] -> TorFan
- FanOfAffineSpace(n) : RngIntElt -> TorFac
- FanOfFakeProjectiveSpace(W,Q) : SeqEnum, SeqEnum -> TorFan
- [Future release] FanOfProjectiveSpace(n) : RngIntElt -> TorFac
- FanOfWPS(W) : SeqEnum -> TorFan
- FanWithWeights(W) : SeqEnum -> TorFan
- ImageFan(D) : DivTorElt -> TorFan
- IsFanMap(F1,F2) : TorFan,TorFan -> BoolElt
- IsFanMap(F1,F2,f) : TorFan,TorFan,Map -> BoolElt
- NormalFan(F,C) : TorFan,TorCon -> TorFan,Map
- NormalFan(P) : TorPol -> TorFan
- ResolveFanMap(F1,F2) : TorFan,TorFan -> TorFan
- SpanningFan(P) : TorPol -> TorFan
- ZeroFan(L) : TorLat -> TorFan
fan
- Maps of Fans (TORIC VARIETIES)
Fano
- Fano(D,i) : DB,RngIntElt -> GRFano
- Fano(D,f,i) : DB,RngIntElt,RngIntElt -> GRFano
- Fano(D,f,Q,i) : DB,SeqEnum,RngIntElt -> GRFano
- Fano(f,B) : RngIntElt,GRBskt -> GRFano
- Fano(f,B,g) : RngIntElt,GRBskt,RngIntElt -> GRFano
- FanoBaseGenus(X) : GRFano -> RngIntElt
- FanoDatabase() : -> DB
- FanoGenus(X) : GRFano -> RngIntElt
- FanoIndex(X) : GRFano -> RngIntElt
- IsFano(P) : TorPol -> BoolElt
- IsFano(X) : TorVar -> BoolElt
- IsWeakFano(X) : TorVar -> BoolElt
fano
- A Preliminary Fano Database (HILBERT SERIES OF POLARISED VARIETIES)
- Creation: f=1, 2 or ≥3 (HILBERT SERIES OF POLARISED VARIETIES)
- Fano 3-folds (HILBERT SERIES OF POLARISED VARIETIES)
fano-db
- A Preliminary Fano Database (HILBERT SERIES OF POLARISED VARIETIES)
fano-f12
- Creation: f=1, 2 or ≥3 (HILBERT SERIES OF POLARISED VARIETIES)
FanoAuto
- Design_FanoAuto (Example H156E13)
FanoBaseGenus
- FanoBaseGenus(X) : GRFano -> RngIntElt
FanoDatabase
- FanoDatabase() : -> DB
FanOfAffineSpace
- FanOfAffineSpace(n) : RngIntElt -> TorFac
FanOfFakeProjectiveSpace
- FanOfFakeProjectiveSpace(W,Q) : SeqEnum, SeqEnum -> TorFan
FanOfProjectiveSpace
- [Future release] FanOfProjectiveSpace(n) : RngIntElt -> TorFac
FanOfWPS
- FanOfWPS(W) : SeqEnum -> TorFan
FanoGenus
- FanoGenus(X) : GRFano -> RngIntElt
FanoIndex
- FanoIndex(X) : GRFano -> RngIntElt
fans
- Components of Fans (TORIC VARIETIES)
- Construction of Fans (TORIC VARIETIES)
- Fans in Toric Lattices (TORIC VARIETIES)
- Properties of Fans (TORIC VARIETIES)
FanWithWeights
- FanWithWeights(W) : SeqEnum -> TorFan
Farey
- Farey Symbols and Fundamental Domains (CONGRUENCE SUBGROUPS OF PSL₂(R))
- DisplayFareySymbolDomain(FS,file) : SymFry, MonStgElt -> SeqEnum
- FareySymbol(G) : GrpPSL2 -> SymFry
- Seq_Farey (Example H11E3)
Farey-Symbols
- Farey Symbols and Fundamental Domains (CONGRUENCE SUBGROUPS OF PSL₂(R))
FareySymbol
- FareySymbol(G) : GrpPSL2 -> SymFry
Fast
- CompositionTreeFastVerification(G) : Grp -> BoolElt
- MultiplicityFast(D,E) : DivSchElt, DivSchElt -> FldRatElt
Feet
- UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
Few
- FewGenerators(G) : GrpPerm -> [GrpPermElt]
FewGenerators
- FewGenerators(G) : GrpPerm -> [GrpPermElt]
ff
- Creation of Differentials (ALGEBRAIC CURVES)
- Differentials (ALGEBRAIC CURVES)
- Function Fields (ALGEBRAIC CURVES)
- MATRIX GROUPS OVER FINITE FIELDS
- Operations on Differentials (ALGEBRAIC CURVES)
- Places (ALGEBRAIC CURVES)
- Places (ALGEBRAIC CURVES)
- Sets of Places (ALGEBRAIC CURVES)
ff-creation-example
- Crv_ff-creation-example (Example H121E24)

V2.28, 13 July 2023

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