Documentation

Ample
- IsAmple(D) : DivTorElt -> BoolElt
An
- IsEasySnAn(f) : RngUPolElt -> RngIntElt
an
- Analytically Hypersurface Singularities (SCHEMES)
an-hyp-sing-ex
- Scheme_an-hyp-sing-ex (Example H119E18)
an-hyp-sngs
- Analytically Hypersurface Singularities (SCHEMES)
anal
- Period Matrix Functions (RIEMANN SURFACES)
anal-jac
- Period Matrix Functions (RIEMANN SURFACES)
Analytic
- AlgebraicToAnalytic(F, p) : RngUPolTwstElt, PlcFunElt -> RngUPolTwstElt
- AnalyticDrinfeldModule(F, p) : FldFun, PlcFunElt -> RngUPolTwstElt
- AnalyticHomomorphisms(t1, t2) : Mtrx, Mtrx -> SeqEnum
- AnalyticInformation(E) : CrvEll[FldFunG] -> Tup
- AnalyticJacobian(f) : RngUPolElt -> AnHcJac
- AnalyticModule(x, p) : RngElt, PlcFunElt -> RngElt
- AnalyticRank(E) : CrvEll -> RngIntElt, FldReElt
- AnalyticRank(E) : CrvEll -> RngIntElt, FldReElt
- AnalyticRank(E) : CrvEll[FldFunG] -> RngIntElt
- FromAnalyticJacobian(z, A) : Mtrx, AnHcJac -> SeqEnum
- FromAnalyticJacobianProjective(z, A) : Mtrx[FldCom], AnHcJac -> SeqEnum
- MilnorNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
- ToAnalyticJacobian(x, y, A) : FldComElt, FldComElt, AnHcJac -> Mtrx
- ToAnalyticJacobianMumford(pt, AJ, conj) : JacHypPt, AnHcJac, RngIntElt -> Mtrx
- ToAnalyticJacobianMumford(pt, AJ) : JacHypPt, AnHcJac-> Mtrx
analytic
- Analytic Information (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Analytic Jacobians of Hyperelliptic Curves (HYPERELLIPTIC CURVES)
- Isomorphisms, Isogenies and Endomorphism Rings of Analytic Jacobians (HYPERELLIPTIC CURVES)
analytic-jacobian-isos
- Isomorphisms, Isogenies and Endomorphism Rings of Analytic Jacobians (HYPERELLIPTIC CURVES)
analytic-rank
- CrvEllQNF_analytic-rank (Example H130E15)
Analytic_Jacobian_Addition
- CrvHyp_Analytic_Jacobian_Addition (Example H134E43)
Analytically
- IsAnalyticallyIrreducible(p) : Pt -> BoolElt
AnalyticDrinfeldModule
- AnalyticDrinfeldModule(F, p) : FldFun, PlcFunElt -> RngUPolTwstElt
AnalyticHomomorphisms
- AnalyticHomomorphisms(t1, t2) : Mtrx, Mtrx -> SeqEnum
AnalyticInformation
- AnalyticInformation(E) : CrvEll[FldFunG] -> Tup
AnalyticJacobian
- AnalyticJacobian(f) : RngUPolElt -> AnHcJac
AnalyticModule
- AnalyticModule(x, p) : RngElt, PlcFunElt -> RngElt
AnalyticRank
- AnalyticRank(E) : CrvEll -> RngIntElt, FldReElt
- AnalyticRank(E) : CrvEll -> RngIntElt, FldReElt
- AnalyticRank(E) : CrvEll[FldFunG] -> RngIntElt
And
- And(S, T) : [ BoolElt ], [ BoolElt ] -> [BoolElt]
- BitwiseAnd(x, y) : RngIntElt, RngIntElt -> RngIntElt
- CoefficientsAndMonomials(f) : RngMPolElt -> [ RngElt ], [ RngMPolElt ]
- CoerceAndLift(S, x) : StrAnyXPad, Any -> StrAnyXPadElt
- CoerceAndLift(S, x) : StrAnyXPad, Any -> StrAnyXPadElt
- ContentAndPrimitivePart(f) : RngMPolElt -> RngIntElt, RngMPolElt
- ContentAndPrimitivePart(p) : RngUPolElt -> RngIntElt, RngUPolElt
- ContravariantSigmaAndPsi(Phi) : RngMPolElt -> RngMPolElt, RngMPolElt
- FactoredMinimalAndCharacteristicPolynomials(A: parameters) : Mtrx -> [<RngUPolElt, RngIntElt>], [<RngUPolElt, RngIntElt>]
- GenusAndCanonicalMap(C) : Crv -> RngIntElt, BoolElt, MapSch
- HasSparseRep(G) : Grph -> BoolElt
- HighestWeightsAndVectors(V) : ModAlg -> SeqEnum, SeqEnum
- HighestWeightsAndVectors(V) : ModAlg -> SeqEnum, SeqEnum
- IsNefAndBig(D) : DivSchElt -> BoolElt
- MinimalAndCharacteristicPolynomials(A: parameters) : Mtrx -> RngUPolElt, RngUPolElt
- MultiplicitiesAndIntersections(S,D) : Srfc, DivSchElt -> SeqEnum, SeqEnum
- QuarticCovariantsAndContravariants(Phi) : RngMPolElt -> SeqEnum
- QuiverAndRelations(A) : AlgBas -> SeqEnum, SeqEnum, SeqEnum
- RandomProcess(G) : GrpFin -> Process
- RootsAndCoroots(G) : GrpMat -> [RngIntElt], [ModTupRngElt], [ModTupRngElt]
- Weights(D) : LieRepDec -> SeqEnum, SeqEnum
- Weights(ρ) : Map -> [LatElt], [ModTupRngElt]
- Weights(ρ) : Map -> [ModTupRngElt]
- Weights(V) : ModAlg -> SeqEnum, SeqEnum
- WeightsAndVectors(V) : ModAlg -> SeqEnum, SeqEnum
and
- Absolute Value and Sign (RATIONAL FIELD)
- Constructions of Tensor and Cotensor Spaces (MULTILINEAR ALGEBRA)
- Cusps and Elliptic Points of Congruence Subgroups (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Geometrical Properties of Cones and Polyhedra (TORIC VARIETIES)
- Membership and Comparison with Tensor Spaces (MULTILINEAR ALGEBRA)
- Minimization and Reduction of Binary Forms (HYPERELLIPTIC CURVES)
- Ordering of Sequences (RATIONAL FUNCTION FIELDS)
- x and y : BoolElt, BoolElt -> BoolElt
and_twelve
- Six and Twelve Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
Anemic
- CongruenceGroupAnemic(M1, M2, prec) : ModFrm, ModFrm, RngIntElt -> GrpAb
anf
- Lattices from Algebraic Number Fields (LATTICES)
anf-local-solv
- Scheme_anf-local-solv (Example H119E28)
anf1
- Scheme_anf1 (Example H119E26)

V2.28, 13 July 2023

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