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

Subindex: +:=  ..  -


+:=

   N +:= < [ u, v ], c > : GrphNet, < [ GrphVert, GrphVert ], RngIntElt > ->
   a +:= b : RngElt, RngElt -> RngElt
   D +:= E : LieRepDec, LieRepDec ->
   G +:= n : Grph, RngIntElt ->
   G +:= n : GrphMult, RngIntElt ->
   P +:= Q : JacHypPt, JacHypPt ->
   P +:= Q : PtEll, PtEll ->
   D +:= v : LieRepDec, ModTupRngElt ->
   v +:= w : LatElt, LatElt ->
   G +:= { u, v } : GrphMultUnd, { GrphVert, GrphVert } ->
   G +:= { u, v } : GrphUnd, { GrphVert, GrphVert } ->

,

   x1, x2, ..., xn := expression;

,-key

   ,

-

   x + y : DiffFunElt, DiffFunElt -> DiffFunElt
   - x : DiffFunElt -> DiffFunElt
   x / y : DiffFunElt, DiffFunElt -> FldFunGElt
   r * x : RngElt, DiffFunElt -> DiffFunElt
   x + y : AlgKacElt, AlgKacElt -> AlgKacElt
   D1 + D2 : DivSchElt, DivSchElt -> DivSchElt
   e1 + e2 : HilbSpcElt, HilbSpcElt -> HilbSpcElt
   s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
   z + a : SpcHypElt, RngIntElt -> SpcHypElt
   P + Q : TorLatElt,TorLatElt -> TorLatElt
   - x : AlgAssVOrdElt -> AlgAssVOrdElt
   x - y : AlgAssVOrdElt, AlgAssVOrdElt -> AlgAssVOrdElt
   - a : AlgGenElt -> AlgGenElt
   a - b : AlgGenElt, AlgGenElt -> AlgGenElt
   a - g : AlgGrpElt, GrpElt -> AlgGrpElt
   a - r : AlgGrpElt, RngElt -> AlgGrpElt
   - a : AlgMatElt -> AlgMatElt
   a - b : AlgMatElt, AlgMatElt -> AlgMatElt
   psi - phi : AlgMatElt, MapModAbVar -> AlgMatElt
   a - t : AlgMatElt, RngElt -> AlgMatElt
   x - y : AlgQuatElt, AlgQuatElt -> AlgQuatElt
   A1 - A2: ArtRep, ArtRep -> ArtRep
   n - phi : FldRatElt, MapModAbVar -> MapModAbVar
   - u : GrpAbElt -> GrpAbElt
   u - v : GrpAbElt, GrpAbElt -> GrpAbElt
   G - e : Grph, GrphEdge -> Grph
   G - v : Grph, GrphVert -> Grph
   G - e : GrphMult, GrphEdge -> GrphMult
   G - v : GrphMult, GrphVert -> GrphMult
   G - { { u, v } } : GrphMultUnd, { { GrphVert, GrphVert rbrace } -> GrphMultUnd
   G - { { u, v } } : GrphUnd, { { GrphVert, GrphVert rbrace } -> GrphUnd
   - e : HilbSpcElt -> HilbSpcElt
   - P : JacHypPt -> JacHypPt
   P - Q : JacHypPt, JacHypPt -> JacHypPt
   - v : LatElt -> LatElt
   v - w : LatElt, LatElt -> LatElt
   phi - psi : MapModAbVar, AlgMatElt -> AlgMatElt
   phi - n : MapModAbVar, FldRatElt -> MapModAbVar
   phi - psi : MapModAbVar, MapModAbVar -> MapModAbVar
   x - y : ModAbVarElt, ModAbVarElt -> ModAbVarElt
   x - y : ModBrdtElt, ModBrdtElt -> ModBrdtElt
   x - y : ModDedElt, ModDedElt -> ModDedElt
   f - g : ModFrmElt, ModFrmElt -> ModFrmElt
   - u : ModRngElt -> ModRngElt
   u - v : ModRngElt, ModRngElt -> ModRngElt
   - u : ModTupFldElt -> ModTupFldElt
   u - v : ModTupFldElt, ModTupFldElt -> ModTupFldElt
   - u : ModTupRngElt -> ModTupRngElt
   - u : ModTupRngElt -> ModTupRngElt
   - u : ModTupRngElt -> ModTupRngElt
   - u : ModTupRngElt -> ModTupRngElt
   u - v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
   u - v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
   u - v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
   u - v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
   - A : Mtrx -> Mtrx
   A - B : Mtrx, Mtrx -> Mtrx
   A - B : MtrxSprs, MtrxSprs -> MtrxSprs
   - P : PtEll -> PtEll
   P - Q : PtEll, PtEll -> PtEll
   - P : PtHyp -> PtHyp
   P - Q : PtHyp, PtHyp -> JacHypPt
   - s : RngDiffElt -> RngDiffElt
   s - t : RngDiffElt, RngDiffElt -> RngDiffElt
   - s : RngDiffOpElt -> RngDiffOpElt
   s - t : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
   - a : RngElt -> RngElt
   a - b : RngElt, RngElt -> RngElt
   - x : RngPadElt -> RngPadElt
   x - y : RngPadElt, RngPadElt -> RngPadElt
   - s : RngPowLazElt -> RngPowLazElt
   s - t : RngPowLazElt, RngPowLazElt -> RngPowLazElt
   x - y : SpcHydElt, RngElt -> RngElt
   - P : SrfKumPt -> SrfKumPt
   - P : TorPol -> TorPol

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

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