[____] [____] [_____] [____] [__] [Index] [Root]

Subindex:  ..  !


   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
   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
   r[1] : RelElt, RngIntElt -> GrpFPElt
   r[2] : RelElt, RngIntElt -> GrpFPElt
   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 H119E10)
   CrvCon_ (Example H119E11)
   FldFunRat_ (Example H41E12)
   FldFunRat_ (Example H41E14)
   Polyhedra_ (Example H143E2)

!

   O ! x : AlgAssVOrd, Any -> AlgAssVOrdElt
   O ! 0 : AlgAssVOrd, RngIntElt -> AlgAssVOrdElt
   O ! 1 : AlgAssVOrd, RngIntElt -> AlgAssVOrdElt
   R ! a : AlgChtr, RngIntElt -> 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
   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
   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
   L ! 0 : Lat, RngIntElt -> LatElt
   L ! Q : Lat, [ RngElt ] -> LatElt
   V ! M: LatLat, Lat -> LatLatElt
   V ! i: LatLat, RngIntElt -> LatLatElt
   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
   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
   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
   L ! [a,b,...] : TorLat,[RngIntElt] -> TorLatElt
   J ! [S, T] : [[PtHyp]] -> JacHypPt
   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(A, f) : AlgSym, RngMPolElt -> BoolElt, AlgSymElt
   One(A) : AlgGen -> AlgGenElt
   ResolutionGraphVertex(g,i) : GrphRes,RngIntElt -> GrphResVert
   Zero(A) : AlgGen -> AlgGenElt
   Zero(L) : AlgLie -> AlgLieElt
   Zero(M) : ModRng, RngIntElt -> ModRngElt
   Zero(M) : ModRng, RngIntElt -> 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

[____] [____] [_____] [____] [__] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013