- +:=
- 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 } ->
- ,
- ,-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
- v + w : LatNFElt, LatNFElt -> LatNFElt
- s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
- z + a : SpcHypElt, RngIntElt -> SpcHypElt
- S + T : TenSpcElt, TenSpcElt -> TenSpcElt
- 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
- A1 - A2 : GalRep,GalRep -> BoolElt
- - 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
- D1 - D2 : OMDiv, OMDiv -> OMDiv
- - 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
V2.28, 13 July 2023