Documentation

derivative-integral
- Derivative, Integral (MULTIVARIATE POLYNOMIAL RINGS)
- Derivative, Integral (UNIVARIATE POLYNOMIAL RINGS)
Derived
- DerivedSubgroup(G) : GrpAb -> GrpAb
- DerivedGroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpFP -> GrpFP
- CommutatorSubgroup(G) : GrpMat -> GrpMat
- CommutatorSubgroup(G) : GrpPC -> GrpPC
- CommutatorSubgroup(G) : GrpPerm -> GrpPerm
- DerivedFrom(~X, t, C, RC : parameters) : Any, TenSpcElt, RngIntElt, {RngIntElt} ->
- DerivedGroupMonteCarlo(G : parameters) : GrpMat -> GrpMat
- DerivedLength(G) : GrpAb -> RngIntElt
- DerivedLength(G) : GrpFin -> RngIntElt
- DerivedLength(G) : GrpGPC -> RngIntElt
- DerivedLength(G) : GrpMat -> RngIntElt
- DerivedLength(G) : GrpPC -> RngIntElt
- DerivedLength(G) : GrpPerm -> RngIntElt
- DerivedSeries(L) : AlgLie -> [ AlgLie ]
- DerivedSeries(G) : GrpAb -> [ GrpAb ]
- DerivedSeries(G) : GrpFin -> [ GrpFin ]
- DerivedSeries(G) : GrpGPC -> [GrpGPC]
- DerivedSeries(G) : GrpMat -> [ GrpMat ]
- DerivedSeries(G) : GrpPC -> [GrpPC]
- DerivedSeries(G) : GrpPerm -> [ GrpPerm ]
- DerivedSubgroup(G) : GrpFin -> GrpFin
- DerivedSubgroup(G) : GrpGPC -> GrpGPC
derived
- Derived Binary Codes (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
derived-binary
- CodeZ4_derived-binary (Example H165E6)
DerivedFrom
- DerivedFrom(~X, t, C, RC : parameters) : Any, TenSpcElt, RngIntElt, {RngIntElt} ->
DerivedGroup
- DerivedSubgroup(G) : GrpAb -> GrpAb
- DerivedGroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpFP -> GrpFP
- CommutatorSubgroup(G) : GrpMat -> GrpMat
- CommutatorSubgroup(G) : GrpPC -> GrpPC
- CommutatorSubgroup(G) : GrpPerm -> GrpPerm
- DerivedSubgroup(G) : GrpFin -> GrpFin
- DerivedSubgroup(G) : GrpGPC -> GrpGPC
DerivedGroupMonteCarlo
- DerivedGroupMonteCarlo(G : parameters) : GrpMat -> GrpMat
DerivedLength
- DerivedLength(G) : GrpAb -> RngIntElt
- DerivedLength(G) : GrpFin -> RngIntElt
- DerivedLength(G) : GrpGPC -> RngIntElt
- DerivedLength(G) : GrpMat -> RngIntElt
- DerivedLength(G) : GrpPC -> RngIntElt
- DerivedLength(G) : GrpPerm -> RngIntElt
DerivedSeries
- DerivedSeries(L) : AlgLie -> [ AlgLie ]
- DerivedSeries(G) : GrpAb -> [ GrpAb ]
- DerivedSeries(G) : GrpFin -> [ GrpFin ]
- DerivedSeries(G) : GrpGPC -> [GrpGPC]
- DerivedSeries(G) : GrpMat -> [ GrpMat ]
- DerivedSeries(G) : GrpPC -> [GrpPC]
- DerivedSeries(G) : GrpPerm -> [ GrpPerm ]
DerivedSubgroup
- DerivedSubgroup(G) : GrpAb -> GrpAb
- DerivedGroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpAb -> GrpAb
- CommutatorSubgroup(G) : GrpFP -> GrpFP
- CommutatorSubgroup(G) : GrpMat -> GrpMat
- CommutatorSubgroup(G) : GrpPC -> GrpPC
- CommutatorSubgroup(G) : GrpPerm -> GrpPerm
- DerivedSubgroup(G) : GrpFin -> GrpFin
- DerivedSubgroup(G) : GrpGPC -> GrpGPC
Derksen
- DerksenIdeal(F) : FldInvar -> RngMPol
- DerksenIdeal(R) : RngInvar -> [RngMPolElt]
DerksenIdeal
- DerksenIdeal(F) : FldInvar -> RngMPol
- DerksenIdeal(R) : RngInvar -> [RngMPolElt]
derlie
- The Lie Algebra of Derivations (LIE ALGEBRAS)
DerSub
- GrpFP_DerSub (Example H78E37)
Desarguesian
- IsDesarguesian(P) : Plane -> BoolElt
Desboves
- SIntegralDesbovesPoints(Q, S) : [ RngIntElt ], [ RngIntElt ] -> [ SeqEnum ]
- CrvEllQNF_Desboves (Example H130E21)
Descendant
- TwoDescendantsOverTwoIsogenyDescendant(C) : CrvHyp -> SeqEnum[ CrvHyp ], List, MapSch
- LiftDescendant(C) : CrvHyp -> SeqEnum[ CrvHyp ], List, MapSch
Descendants
- BruhatDescendants(x) : GrpPermElt -> SetEnum
- BruhatDescendants(X) : SetEnum -> SetEnum
- Descendants(G : parameters) : GrpPC -> [GrpPC], RngIntElt
- LiftDescendant(C) : CrvHyp -> SeqEnum[ CrvHyp ], List, MapSch
Descending
- IsProductOfParallelDescendingCycles(p) : GrpPermElt -> BoolElt
Descent
- CasselsMap(phi) : Map -> Map, Map
- DescentMaps(phi) : Map -> Map, Map
- EightDescent(C : parameters) : Crv -> [ Crv ], [ MapSch ]
- FourDescent(C : parameters) : CrvHyp -> [Crv]
- LeftDescentSet(W, w) : GrpFPCox, GrpFPCoxElt -> ()
- LeftDescentSet(W, w) : GrpMat, GrpMatElt ->()
- MordellWeilShaInformation(E: parameters) : CrvEll -> [RngIntElt], [PtEll], [Tup]
- NineDescent(C : parameters) : Crv -> SeqEnum, List
- ObstructionDescentBuildingBlock(M) : ModSym -> SeqEnum
- PicnDescent(f,q) : RngUPolElt, RngIntElt -> RngIntElt, GrpAb, Tup, RngIntElt, Map, GrpAb
- RightDescentSet(W, w) : GrpFPCox, GrpFPCoxElt -> ()
- RightDescentSet(W, w) : GrpMat, GrpMatElt ->()
- SixDescent(C2, C3) : CrvHyp, Crv -> Crv, MapSch
- ThreeDescent(E : parameters) : CrvEll -> [ Crv ], List
- ThreeDescentByIsogeny(E) : CrvEll -> [ Crv ], [ Map ]
- ThreeDescentCubic(E, α : parameters) : CrvEll, Tup -> Crv, MapSch
- ThreeIsogenyDescent(E : parameters) : CrvEll -> [ Crv ], List, [ Crv ], List, MapSch
- ThreeIsogenyDescentCubic(φ, α) : MapSch, Any -> Crv, MapSch
- TwelveDescent(C3, C4) : Crv, Crv -> SeqEnum, MapSch
- TwoCoverDescent(C) : CrvHyp -> SetEnum, Map, [Map, SeqEnum]
- TwoDescent(E) : CrvEll[FldFunG] -> SeqEnum[CrvHyp], List[MapSch]
- TwoDescent(E: parameters) : CrvEll -> [CrvHyp] , [Map], Map
- TwoIsogenyDescent(E : parameters) : CrvEll -> SeqEnum[CrvHyp], List, SeqEnum[CrvHyp], List, MapSch, MapSch
- TwoPowerIsogenyDescentRankBound(E, T : parameters) : CrvEll[FldRat], PtEll[FldRat] ) -> RngIntElt, SeqEnum, SeqEnum
- WeilDescent(E,k) : FldFun, FldFin -> FldFunG, Map
- WeilDescent(E, k, c) : FldFun, FldFin, FldFinElt -> CrvPln, Map
- WeilDescentDegree(E,k) : FldFun, FldFin -> RngIntElt
- WeilDescentDegree(E, k, c) : FldFun, FldFin, FldFinElt -> RngIntElt
- WeilDescentGenus(E,k) : FldFun, FldFin -> RngIntElt
- WeilDescentGenus(E, k, c) : FldFun, FldFin, FldFinElt -> RngIntElt
- pIsogenyDescent(C,phi) : Crv, MapSch -> SeqEnum, List
- pIsogenyDescent(E,P) : CrvEll, PtEll -> RngIntElt, RngIntElt, SeqEnum, CrvEll
- qCoverDescent(f,q) : RngUPolElt, RngIntElt -> Set, Map
- qCoverPartialDescent(f,factors,q) : RngUPolElt, [* RngUPolElt *], RngIntElt -> Set, Map

V2.28, 13 July 2023

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