- a[i] : AlgGenElt, RngIntElt -> RngElt
- a[i] : AlgLieElt, RngIntElt -> RngElt
- a[i] : AlgMatElt, RngIntElt -> ModTupElt
- a[i, j] : AlgMatElt, RngIntElt, RngIntElt -> RngElt
- a[i, j] : AlgMatLieElt, RngIntElt, RngIntElt -> RngElt
- r[1] : GrpAbRel, RngIntElt -> GrpAbElt
- r[2] : GrpAbRel, RngIntElt -> GrpAbElt
- T : Magma;
- f[i] : ModMPolElt, RngIntElt -> RngMPolElt
- f[i] : ModMPolHom, RngIntElt -> RngMPolElt
- u[i] : ModRngElt, RngIntElt -> RngElt
- u[i] : ModTupRngElt, RngIntElt -> RngElt
- u[i] : ModTupRngElt, RngIntElt -> RngElt
- w[i] : MonOrdElt, RngIntElt -> RngElt
- A[i] : Mtrx, RngIntElt -> ModTupRngElt
- A[i, j] : Mtrx, RngIntElt, RngIntElt -> RngElt
- A[Q] : Mtrx, [ RngIntElt ] -> RngElt
- A[i] : MtrxSprs, RngIntElt -> ModTupRngElt
- A[i, j] : MtrxSprs, RngIntElt, RngIntElt -> RngElt
- f[i] : QuadBinElt, RngIntElt -> RngIntElt
- Coefficient(a, g) : AlgGrpElt, GrpElt -> RngElt
- u[i] : ModTupFldElt, RngIntElt -> RngElt
- \
- { e1, e2, ..., en } : Elt, ..., Elt -> Set
- { } : Null -> Set
- { i..j } : RngIntElt, RngIntElt -> Set
- { i .. j by k } : RngIntElt, RngIntElt, RngIntElt -> Set
- { U | } : Str -> Set
- { U | e1, e2, ..., en } : Str, Elt, ..., Elt -> Set
- { e(x) : x in E | P(x) }
- { U | e(x) : x in E | P(x) }
- { e(x1,...,xk) : x1 in E1, ..., xkin Ek | P(x1, ..., xk) }
- { U | e(x1,...,xk) : x1 in E1, ...,xk in Ek | P(x1, ..., xk) }
- CrvCon_ (Example H127E10)
- CrvCon_ (Example H127E11)
- FldFunRat_ (Example H44E13)
- FldFunRat_ (Example H44E15)
- Polyhedra_ (Example H152E2)
- !
- O ! x : AlgAssVOrd, Any -> AlgAssVOrdElt
- O ! 0 : AlgAssVOrd, RngIntElt -> AlgAssVOrdElt
- O ! 1 : AlgAssVOrd, RngIntElt -> AlgAssVOrdElt
- R ! a : AlgChtr, RngIntElt -> AlgChtrElt
- R ! [ a1, ..., ak ] : AlgChtr, SeqEnum -> AlgChtrElt
- C ! L : AlgClff, SeqEnum[RngElt] -> AlgGenElt
- L ! 0 : AlgFPLie, RngIntElt -> AlgFPLieElt
- A ! Q : AlgGen, SeqEnum[RngElt] -> AlgGenElt
- A ! g : AlgGrp, GrpElt -> AlgGrpElt
- A ! r : AlgGrp, RngElt -> AlgGrpElt
- A ! [c1, ..., cn] : AlgGrp, SeqEnum -> AlgGrpElt
- S ! 1 : AlgGrpSub -> Grp
- L ! Q : AlgLie, SeqEnum[RngElt] -> AlgLieElt
- R ! g : AlgMat, GrpMatElt -> RngMatElt
- R ! 0 : AlgMat, RngIntElt -> AlgMatElt
- R ! 1 : AlgMat, RngIntElt -> AlgMatElt
- R ! t : AlgMat, RngIntElt -> AlgMatElt
- R ! Q : AlgMat, [ RngElt ] -> AlgMatElt
- U ! r : AlgPBW, Any -> AlgPBWElt
- U ! 0 : AlgPBW, RngIntElt -> AlgPBWElt
- U ! 1 : AlgPBW, RngIntElt -> AlgPBWElt
- A ! x : AlgQuat, Any -> AlgQuatElt
- A ! 0 : AlgQuat, RngIntElt -> AlgQuatElt
- A ! 1 : AlgQuat, RngIntElt -> AlgQuatElt
- U ! r : AlgQUE, Any -> AlgQUEElt
- U ! 0 : AlgQUE, RngIntElt -> AlgQUEElt
- U ! 1 : AlgQUE, RngIntElt -> AlgQUEElt
- A ! m : AlgSym, AlgSymElt -> AlgSymElt
- A ! r : AlgSym, RngElt -> AlgSymElt
- A ! f : AlgSym, RngMPolElt -> AlgSymElt
- C ! u : Code, ModTupRngElt -> ModTupRngElt
- C ! u : Code, ModTupRngElt -> ModTupRngElt
- C ! u : Code, ModTupRngElt -> ModTupRngElt
- C ! 0 : Code, RngIntElt -> ModTupRngElt
- C ! 0 : Code, RngIntElt -> ModTupRngElt
- C ! 0 : Code, RngIntElt -> ModTupRngElt
- C ! [a1, ..., an] : Code, [ RngElt ] -> ModTupRngElt
- C ! [a1, ..., an] : Code, [ RngElt ] -> ModTupRngElt
- C ! [a1, ..., an] : Code, [ RngElt ] -> ModTupRngElt
- C ! e : Cop, Elt -> CopElt
- C ! [a,...] : Crv,[RngElt] -> Pt
- C ! P : CrvHyp, PtHyp -> PtHyp
- C ! [x, y] : CrvHyp, [RngElt] -> PtHyp
- Div ! p : DivCrv, PlcCrvElt -> DivCrvElt
- Div ! a : DivFun, RngElt -> DivFunElt
- Div ! I : DivFun, RngFunOrdIdl -> DivFunElt
- A ! a : FldAC, RngElt -> FldACElt
- F ! a : FldAlg, RngElt -> FldAlgElt
- F ! [a0, a1, ..., am - 1] : FldAlg, [RngElt] -> FldAlgElt
- C ! a : FldCom, RngElt -> FldComElt
- F ! a : FldFun, . -> FldFunElt
- F ! [ a0, a1, ..., an - 1 ] : FldFun, SeqEnum -> FldFunElt
- F ! g : FldFunFracSch, RngElt -> FldFunFracSchElt
- F ! r : FldFunFracSch, RngElt -> FldFunFracSchElt
- FF ! a : FldFunOrd, Any -> FldFunOrdElt
- F ! a : FldFunRat, FldElt -> FldFunRatElt
- F ! [a, b] : FldFunRat, RngUPolElt, RngUPolElt -> FldFunRatElt
- F ! a : FldNum, RngElt -> FldNumElt
- F ! [a0, a1, ..., am - 1] : FldNum, [RngElt] -> FldNumElt
- Q ! [a] : FldRat, RngElt -> FldRatElt
- Q ! a : FldRat, RngIntElt -> FldRatElt
- Q ! [a, b] : FldRat, RngIntElt, RngIntElt -> FldRatElt
- R ! a : FldRe, RngElt -> FldReElt
- K ! x : FldXPad, Any -> FldXPadElt
- G ! g : Grp, GrpElt -> GrpElt
- G ! Q : Grp, [ Elt ] -> GrpElt
- G ! g : GrpAb, GrpAbElt -> GrpAbElt
- H ! g : GrpAb, GrpAbElt -> GrpAbElt
- K ! g : GrpAb, GrpAbElt -> GrpAbElt
- A ! n : GrpAb, RngIntElt -> GrpAbElt
- A ! [a1, ... ,an] : GrpAb, [RngIntElt] -> GrpAbElt
- A ! e : GrpAbGen, Elt -> GrpAbGenElt
- A ! g : GrpAbGen, GrpAbGenElt -> GrpAbGenElt
- G ! [ i1, ..., is ] : GrpAtc, [ RngIntElt ] -> GrpAtcElt
- A ! f : GrpAutCrv, MapSch -> GrpAutCrvElt
- A ! f : GrpAuto, Map -> GrpAutoElt
- G ! g : GrpBB, GrpBBElt -> GrpBBElt
- B p : GrpBrd, GrpPermElt -> GrpBrdElt
- B T : GrpBrd, Tup -> GrpBrdElt
- B ! [ p1, ...,pk ]: GrpBrd, [ GrpPermElt ] -> GrpBrdElt
- B ! [ i1, ..., ik ] : GrpBrd, [ RngIntElt ] -> GrpBrdElt
- B ! [ T1, ..., Tk ] : GrpBrd, [ Tup ] -> GrpBrdElt
- G ! x : GrpDrch, Any -> GrpDrchElt
- G ! [ i1, ..., is ] : GrpFP, [ RngIntElt ] -> GrpFPElt
- G ! g : GrpGPC, GrpGPCElt -> GrpGPCElt
- H ! g : GrpGPC, GrpGPCElt -> GrpGPCElt
- K ! g : GrpGPC, GrpGPCElt -> GrpGPCElt
- G ! Q : GrpGPC, [RngIntElt] -> GrpGPCElt
- E ! { u, v } : GrphEdgeSet, . -> GrphEdge
- E ! < [ u, v ], i > : GrphEdgeSet, < . > -> GrphEdge
- E ! < { u, v }, i > : GrphEdgeSet, < . > -> GrphEdge
- E ! [u, v] : GrphEdgeSet, [ . ] -> GrphEdge
- V ! v : GrphVertSet, . -> GrphVert
- G ! r : GrpMat, AlgMatElt -> GrpMatElt
- G ! m : GrpMat, ModMatRngElt -> GrpMatElt
- G ! Q : GrpMat, [ RngElt ] -> GrpMatElt
- G ! g : GrpPC, GrpPCElt -> GrpPCElt
- H ! g : GrpPC, GrpPCElt -> GrpPCElt
- K ! g : GrpPC, GrpPCElt -> GrpPCElt
- G ! Q : GrpPC, [RngIntElt] -> GrpPCElt
- G ! (...)(...)...(...) : GrpPerm, Cycles -> GrpPermElt
- G ! g : GrpPerm, GrpPermElt -> GrpPermElt
- G ! \(...)(...)...(...) : GrpPerm, LiteralCycles -> GrpPermElt
- G ! Q : GrpPerm, SeqEnum[SetIndx] -> GrpPermElt
- G ! Q : GrpPerm, [ Elt ] -> GrpPermElt
- G ! x : GrpPSL2, . -> GrpPSL2
- G ! [ i1, ..., is ] : GrpRWS, [ RngIntElt ] -> GrpRWSElt
- G ! g : GrpSLP, GrpSLPElt -> GrpSLPElt
- H ! i : HilbSpc, RngIntElt -> HilbSpcElt
- H ! s : HilbSpc, [RngIntElt] -> HilbSpcElt
- H ! x : HomModAbVar, . -> BoolElt, MapModAbVar
- B ! S : IncBlkSet, SetEnum -> IncBlk
- P ! x : IncPtSet, Elt -> Incpt
- J ! P : JacHyp, JacHypPt -> JacHypPt
- J ! 0 : JacHyp, RngIntElt -> JacHypPt
- J ! [a, b] : JacHyp, [ RngUPolElt ] -> JacHypPt
- J ! [S, T] : JacHyp, [SeqEnum] -> JacHypPt
- L ! 0 : Lat, RngIntElt -> LatElt
- L ! Q : Lat, [ RngElt ] -> LatElt
- V ! M: LatLat, Lat -> LatLatElt
- V ! i: LatLat, RngIntElt -> LatLatElt
- L ! e : LatNF, Any -> LatNFElt
- A ! x : ModAbVar, . -> BoolElt, ModAbVarElt
- M ! x : ModBrdt, . -> ModBrdtElt
- M ! v : ModDed, SeqEnum -> ModDedElt
- M ! f : ModFrm, . -> ModFrmElt
- M ! g : ModMatRng, GrpMatElt -> ModMatRngElt
- H ! f : ModMatRng, Map -> ModMatRngElt
- M ! Q : ModMatRng, [RngElt] -> ModMatRngElt
- M ! v : ModMPol, ModTupRngElt -> ModMPolElt
- M ! 0 : ModMPol, RngIntElt -> ModMPolElt
- M ! Q : ModMPol, [ RngElt ] -> ModMPolElt
- M ! Q : ModRng, [RngElt] -> ModRngElt
- M ! x : ModSS, . -> ModSSElt
- M ! x : ModSym, . -> ModSymElt
- V ! 0 : ModTupFld, RngIntElt -> ModTupFldElt
- V ! Q : ModTupFld, [RngElt] -> ModTupFldElt
- M ! Q : ModTupRng, [RngElt] -> ModTupRngElt
- O ! [w1, ..., wn] : MonOrd, [MonOrdElt] -> MonOrdElt
- O ! [i1, ..., in] : MonOrd, [RngIntElt] -> MonOrdElt
- P ! w : MonPlc, MonOrdElt -> MonPlcElt
- M ! Q : MonPlc, SeqEnum -> MonPlcElt
- M ! Q : MonPlc, SeqEnum -> MonPlcElt
- P ! t : MonPlc, Tbl -> MonPlcElt
- P ! [w1, ..., wn] : MonPlc, [MonOrdElt] -> MonPlcElt
- M ! [i1, ..., in] : MonPlc, [MonPlcElt] -> MonPlcElt
- P ! [u1, ..., un] : MonPlc, [MonPlcElt] -> MonPlcElt
- P ! [i1, ..., in] : MonPlc, [RngIntElt] -> MonPlcElt
- M ! [ i1, ..., is ] : MonRWS, [ RngIntElt ] -> MonRWSElt
- M ! w : MonTbl, MonOrdElt -> Tbl
- M ! u : MonTbl, MonPlcElt -> Tbl
- N ! x : Nfd, FldFinElt -> NfdElt
- L ! l : PlaneLnSet, PlaneLn -> PlaneLn
- L ! [a, b, c] : PlaneLnSet, SeqEnum -> PlaneLn
- L ! [m, b] : PlaneLnSet, SeqEnum -> PlaneLn
- L ! S : PlaneLnSet, SetEnum -> PlaneLn
- V ! x : PlanePtSet, Elt -> PlanePt
- V ! [a, b, c] : PlanePtSet, SeqEnum -> PlanePt
- V ! [a, b] : PlanePtSet, SeqEnum -> PlanePt
- S ! I : PlcFun, RngFunOrdIdl -> PlcFunElt
- P ! S : PowSeqEnum, SeqEnum -> SeqEnum
- P ! S : PowSetEnum, SetEnum -> SetEnum
- P ! S : PowSetIndx, SetIndx -> SetIndx
- P ! S : PowSetMulti, SetMulti -> SetMulti
- Q ! f : QuadBin, QuadBinElt -> QuadBinElt
- Q ! [a, b, c] : QuadBin, RngIntElt, RngIntElt, RngIntElt -> QuadBinElt
- R ! a : Rng, RngElt -> RngElt
- R ! s : RngDiff, RngElt -> RngDiffElt
- R ! s : RngDiffOp, RngElt -> RngDiffOpElt
- O ! a : RngFunOrd, . -> RngFunOrdElt
- O ! [ a1, a2, ..., an ] : RngFunOrd, SeqEnum -> RngFunOrdElt
- OQ ! a : RngFunOrdRes, Elt -> RngFunOrdResElt
- R ! a : RngGal, RngElt -> RngGalElt
- IntegerRing() ! e : RngInt, LatLatElt -> RngIntElt
- Z ! a : RngInt, RngElt -> RngIntElt
- IntegerRing() ! e : RngInt, SubModLatElt -> RngIntElt
- R ! k : RngIntRes, RngIntElt -> RngIntResElt
- L ! r : RngLocA, Any -> RngLocAElt
- P ! s : RngMPol, AlgSymElt -> RngMPolElt
- O ! a : RngOrd, RngElt -> RngOrdElt
- O ! [a0, a1, ..., am - 1] : RngOrd, [ RngElt ] -> RngOrdElt
- OQ ! a : RngOrdRes, Elt -> RngOrdResElt
- R ! c : RngPowLaz, RngElt -> RngPowLazElt
- R ! s : RngPowLaz, RngPowLazElt -> RngPowLazElt
- R ! S : RngPowLaz, [RngElt] -> RngPowLazElt
- R ! s : RngSer, SeqEnum -> RngSerElt
- P ! s : RngUPol, RngElt -> RngPolElt
- R ! f : RngUPolXPad, Any -> RngUPolXPadElt
- V ! r : RngVal, FldFunElt -> RngValElt
- W ! a : RngWitt, . -> RngWittElt
- X ! Q : Sch,SeqEnum -> Pt
- A ! [a,...] : Sch,[RngElt] -> Pt
- A ! [a,b,...] : Sch,[RngElt] -> Pt
- C(L) ! [a,...] : SetPt,[RngElt] -> Pt
- G ! Q : SgpFP, [ SgpFPElt ] -> SgpFPElt
- S ! [i1, ... is] : SgpFP, [RngIntElt] -> SgpFPElt
- D ! x : SpcHyd, . -> SeqEnum
- H ! x : SpcHyp, . -> SpcHypElt
- K ! 0 : SrfKum, RngIntElt -> SrfKumPt
- K ! P : SrfKum, SrfKumPt -> SrfKumPt
- K ! [x1, x2, x3, x4] : SrfKum, [ RngElt ] -> SrfKumPt
- S ! x : Str, Elt -> Elt
- L ! n : SubFldLat, RngIntElt -> SubFldLatElt
- L ! H: SubGrpLat, GrpFin -> SubGrpLatElt
- L ! i: SubGrpLat, RngIntElt -> SubGrpLatElt
- IntegerRing() ! e : SubGrpLatElt -> RngIntElt
- L ! S: SubModLat, ModRng -> SubModLatElt
- L ! i: SubModLat, RngIntElt -> SubModLatElt
- T ! n : TenSpc, RngIntElt -> TenSpcElt
- TS ! S : TenSpc, SeqEnum -> TenSpcElt
- TS ! T : TenSpc, TenSpcElt -> TenSpcElt
- L ! [a,b,...] : TorLat,[RngIntElt] -> TorLatElt
- P - Q : PtHyp, PtHyp -> JacHypPt
- Divisor(P) : PlcFunElt -> DivFunElt
- Id(M) : MonFP -> MonFPElt
- Id(O) : MonOrd -> MonOrdElt
- Id(P) : MonPlc -> MonPlcElt
- Identity(D) : DivCrv -> DivCrvElt
- Identity(G) : Grp -> GrpPermElt
- Identity(A) : GrpAb -> GrpAbElt
- Identity(G) : GrpAtc -> GrpAtcElt
- Identity(A) : GrpAutCrv -> GrpAutCrvElt
- Identity(A) : GrpAuto -> GrpAutoElt
- Identity(G) : GrpBB -> GrpBBElt
- Identity(B) : GrpBrd -> GrpBrdElt
- Identity(G) : GrpFP -> GrpFPElt
- Identity(G) : GrpGPC -> GrpGPCElt
- Identity(G) : GrpLie -> GrpLieElt
- Identity(G) : GrpMat -> GrpMatElt
- Identity(G) : GrpPC -> GrpPCElt
- Identity(G) : GrpRWS -> GrpRWSElt
- Identity(G) : GrpSLP -> GrpSLPElt
- Identity(M) : MonRWS -> MonRWSElt
- Identity(Q) : QuadBin -> QuadBinElt
- IsCoercible(U,x) : BmpU, Any -> BoolElt, BmpUElt
- IsCoercible(T, S) : TenSpc, Any -> BoolElt
- One(A) : AlgGen -> AlgGenElt
- ResolutionGraphVertex(g,i) : GrphRes,RngIntElt -> GrphResVert
- Zero(A) : AlgGen -> AlgGenElt
- Zero(L) : AlgLie -> AlgLieElt
- Zero(M) : ModRng -> ModRngElt
- Zero(M) : ModRng -> ModRngElt
- elt< R | a > : AlgFr, RngElt -> AlgFrElt
- elt<R | L> : AlgMatLie, [ RngElt ] -> AlgMatLieElt
- elt<C | x, y> : FldCom, FldReElt, FldReElt -> FldComElt
- elt<F | a> : FldFin, RngElt -> FldFinElt
- elt< R | a1, ..., ak :parameters> : AlgChtr, FldCycElt, ..., FldCycElt -> AlgChtrElt
- elt< R | a > : RngMPol, RngElt -> RngMPolElt
- elt<L | u> : RngPad, RngElt -> RngPadElt
- elt< C | a1, a2, ..., ak > : SetCart, Elt, ..., Elt -> Tup
V2.28, 13 July 2023