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

Subindex: =  ..  []


=

   w1 = w2 : GrpAbElt, GrpAbElt -> Rel
   w1 = w2 : GrpFPElt, GrpFPElt -> GrpFPRel
   w1 = w2 : SgpFPElt, SgpFPElt -> Rel

@

   g @ x : GrpElt, AlgChtrElt -> FldCycElt
   x(g) : AlgChtrElt, GrpElt -> FldCycElt
   a @ f : Elt, Map -> Elt
   B @ f : GrpBrd, Map -> Grp
   e @ f : GrpBrdElt, Map -> GrpElt
   H @ f : GrpFP, Map -> Grp
   <i, w> @ T : GrpFPCosElt, GrpFPElt, Map -> GrpFPElt
   w @ f : GrpFPElt, Map -> GrpElt
   A @ phi : ModAbVar, MapModAbVar -> ModAbVar
   x @ phi : ModAbVarElt, MapModAbVar -> ModAbVarElt
   G @ phi : ModAbVarSubGrp, MapModAbVar -> ModAbVarSubGrp
   p @ f : Pt, FldFunFracSchElt -> RngElt
   p @ f : Pt, FldFunFracSchElt -> RngElt
   P @ f : PtHyp, MapIsoSch -> PtHyp
   S @ f : SetEnum, Map -> SetEnum
   C @ f : Str, Map -> Str
   F @ f : TorFan,Map -> TorFan
   Apply(L, f) : RngDiffOpElt, RngElt -> RngElt
   f(X): GrpAutCrvElt, Pt -> Pt

@@

   y @@ f : Elt, Map -> Elt
   X @@ f: FldFunFracSchElt, GrpAutCrvElt -> FldFunFracSchElt
   H @@ f : Grp, Map -> GrpFP
   u @@ f : GrpElt, Map -> GrpBrdElt
   g @@ f : GrpElt, Map -> GrpFPElt
   x @@ phi : ModAbVarElt, MapModAbVar -> ModAbVarElt
   G @@ phi : ModAbVarSubGrp, MapModAbVar -> ModAbVarSubGrp
   p @@ f : Pt,MapSch -> Any
   P @@ f : PtHyp, MapIsoSch -> PtHyp
   R @@ f : SetEnum, Map -> SetEnum
   D @@ f : Str, Map -> Str
   Pullback(f, X) : MapSch, Sch -> Sch

[!!]

   [! x in F | P(x) !]

[**]

   [* *] : -> List
   [* e1, e2, ..., en *] : Elt,.., Elt -> List

[]

   a[i] : AlgMatLieElt, RngIntElt -> ModTupRngElt
   a[i] : AlgLieElt, RngIntElt -> RngElt
   a[i, j] : AlgMatLieElt, RngIntElt, RngIntElt -> RngElt
   L ! n : SubFldLat, RngIntElt -> SubFldLatElt
   Component(C, i) : SetCart, RngIntElt -> Str
   Coordinates(p) : Pt -> SeqEnum
   x[expr1][expr2]...[exprn] := expression;
   a[i] := r : AlgGenElt, RngIntElt, RngElt -> AlgGenElt
   a[i] := r : AlgLieElt, RngIntElt, RngElt -> AlgLieElt
   a[i, j] := t : AlgMatElt, RngIntElt, RngIntElt, RngElt -> AlgMatElt
   a[i] := u : AlgMatElt, RngIntElt, RngElt -> AlgMatElt
   A[i] := v : Mtrx, RngIntElt, Mtrx ->
   S[i] := x : List, RngIntElt, Elt ->
   u[i] := x : ModRngElt, RngIntElt, RngElt -> ModRngElt
   u[i] : = x : ModTupFldElt, RngIntElt, RngElt -> ModTupFldElt
   u[i] := x : ModTupRngElt, RngIntElt, RngElt -> ModTupRngElt
   A[i, j] := x : Mtrx, RngIntElt, RngIntElt, RngElt ->
   A[i, j] := x : MtrxSprs, RngIntElt, RngIntElt, RngElt ->
   u[i] := x;
   u[i] := x;
   u[i] := x;
   A[x] := y : Assoc, Elt, Elt ->
   x[i] : AlgChtrElt, RngIntElt -> FldCycElt
   m[i] : AlgFrElt, RngIntElt -> AlgFrElt
   A[x] : Assoc, Elt -> Elt
   s[i] : BStgElt, RngIntElt -> RngIntElt
   [ e1, e2, ..., en ] : Elt, ..., Elt -> SeqEnum
   a[i] : FldAlgElt, RngIntElt -> FldRatElt
   a[i] : FldNumElt, RngIntElt -> FldRatElt
   r[1] = w : GrpFPRel, RngIntElt, GrpFPElt -> GrpFPRel
   r[2] = w : GrpFPRel, RngIntElt, GrpFPElt -> GrpFPRel
   P[i] : JacHypPt, RngIntElt -> RngElt
   S[i] : List, RngIntElt -> Elt
   S[I] : List, [RngIntElt] -> List
   u[i] : ModTupFldElt, RngIntElt -> RngElt
   u[i] : ModTupRngElt, RngIntElt -> RngElt
   u[i] : ModTupRngElt, RngIntElt -> RngElt
   s[i] : MonStgElt, RngIntElt -> MonStgElt
   [ ] : Null -> ESeqEnum
   l[i] : PlaneLn, RngIntElt -> FldFinElt
   p[i] : PlanePt, RngIntElt -> FldFinElt
   p[i] : Pt, RngIntElt -> RngElt
   p[i] : Pt, RngIntElt -> RngElt
   P[i] : PtEll, RngIntElt -> RngElt
   P[i] : PtHyp, RngIntElt -> RngElt
   [ i..j ] : RngIntElt, RngIntElt -> SeqEnum
   [ i .. j by k ] : RngIntElt, RngIntElt, RngIntElt -> SeqEnum
   S[i] : SeqEnum, RngIntElt -> Elt
   S[I] : SeqEnum, [RngIntElt] -> SeqEnum
   S[i] : SetIndx, RngIntElt -> Elt
   S[I] : SetIndx, [RngIntElt] -> SetIndx
   P[i] : SrfKumPt, RngIntElt -> RngElt
   [ U | ] : Str -> SeqEnum
   [ U | e1, e2, ..., em ] : Str, Elt, ..., Elt -> SeqEnum
   T[i] : TabChtr, RngIntElt -> AlgChtrElt
   T[i][j] : TabChtr, RngIntElt, RngIntElt -> FldCycElt
   T[i] : Tup -> Elt
   [ 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) ]
   \[ m1, ..., mn ] : RngIntElt, ..., RngIntElt -> [ RngIntElt ]

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

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012