- *:=
- a *:= b : AlgSymElt, AlgSymElt -> AlgSymElt
- a * b : AlgSymElt, AlgSymElt -> AlgSymElt
- a *:= b : RngElt, RngElt -> RngElt
- D *:= c : LieRepDec, RngIntElt ->
- g *:= h : GrpGPCElt, GrpGPCElt ->
- g *:= h : GrpPCElt, GrpPCElt -> GrpPCElt
- P *:= n : JacHypPt, RngIntElt ->
- v *:= n : LatElt, RngIntElt ->
- P *:= n : PtEll, RngIntElt ->
- u *:= v : GrpBrdElt, GrpBrdElt ->
- s cat:= t : MonStgElt, MonStgElt -> MonStgElt
- +
- x + y : DiffFunElt, DiffFunElt -> DiffFunElt
- - x : DiffFunElt -> DiffFunElt
- x / y : DiffFunElt, DiffFunElt -> FldFunGElt
- r * x : RngElt, DiffFunElt -> DiffFunElt
- x + y : AlgAssVOrdElt, AlgAssVOrdElt -> AlgAssVOrdElt
- I + J : AlgAssVOrdIdl, AlgAssVOrdIdl -> AlgAssVOrdIdl
- O1 + O2 : AlgAssVOrd[RngOrd], AlgAssVOrd[RngOrd] -> AlgAssVOrd
- a + b : AlgBasElt, AlgBasElt -> AlgBasElt
- I + J : AlgFP, AlgFP -> AlgFP
- I + J : AlgFr, AlgFr -> AlgFr
- a + b : AlgGenElt, AlgGenElt -> AlgGenElt
- a + g : AlgGrpElt, GrpElt -> AlgGrpElt
- a + r : AlgGrpElt, RngElt -> AlgGrpElt
- x + y : AlgKacElt, AlgKacElt -> AlgKacElt
- 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
- C + D : Code, Code -> Code
- C + D : Code, Code -> Code
- C + D : CodeAdd, CodeAdd -> CodeAdd
- D1 + D2 : DivSchElt, DivSchElt -> DivSchElt
- n + phi : FldRatElt, MapModAbVar -> MapModAbVar
- A1 + A2 : GalRep,GalRep -> GalRep
- H + K : GrpAb, GrpAb -> GrpAb
- u + v : GrpAbElt, GrpAbElt -> GrpAbElt
- G + n : Grph, RngIntElt -> Grph
- G + n : GrphMult, RngIntElt -> GrphMult
- G + { { u, v } } : GrphMultUnd, { { GrphVert, GrphVert } } -> GrphMultUnd
- G + { u, v } : GrphMultUnd, { { GrphVert, GrphVert } } -> GrphMultUnd, GrphEdge
- N + < [ u, v ], c > : GrphNet, < [ GrphVert, GrphVert ], RngIntElt > -> GrphNet, GrphEdge
- N + { < [ u, v ], c > } : GrphNet, { < [ GrphVert, GrphVert ], RngIntElt > } -> GrphNet
- G + { u, v } : GrphUnd, { GrphVert, GrphVert }-> GrphUnd, GrphEdge
- G + { { u, v } } : GrphUnd, { { GrphVert, GrphVert } } -> GrphUnd
- e1 + e2 : HilbSpcElt, HilbSpcElt -> HilbSpcElt
- H1 + H2 : HomModAbVar, HomModAbVar -> HomModAbVar
- P + Q : JacHypPt, JacHypPt -> JacHypPt
- L + M : Lat, Lat -> Lat
- v + w : LatElt, LatElt -> LatElt
- e + f : LatLatElt, LatLatElt -> LatLatElt
- A + B : LatNF, LatNF -> LatNF
- v + w : LatNFElt, LatNFElt -> LatNFElt
- D + E : LieRepDec, LieRepDec -> BoolElt
- D + v : LieRepDec, ModTupRngElt -> BoolElt
- f + g : MapChn , MapChn -> MapChn
- phi + psi : MapModAbVar, AlgMatElt -> AlgMatElt
- phi + psi : MapModAbVar, MapModAbVar -> MapModAbVar
- phi + n : MapModAbVar, RngIntElt -> MapModAbVar
- A + B : ModAbVar, ModAbVar -> ModAbVar
- x + y : ModAbVarElt, ModAbVarElt -> ModAbVarElt
- G1 + G2 : ModAbVarSubGrp, ModAbVarSubGrp -> ModAbVarSubGrp
- x + y : ModBrdtElt, ModBrdtElt -> ModBrdtElt
- M1 + M2 : ModDed, ModDed -> ModDed
- x + y : ModDedElt, ModDedElt -> ModDedElt
- f + g : ModFrmElt, ModFrmElt -> ModFrmElt
- f + g : ModFrmElt, RngSerPowElt -> RngSerPowElt
- M + N : ModMPol, ModMPol -> ModMPol
- M + N : ModRng, ModRng -> ModRng
- u + v : ModRngElt, ModRngElt -> ModRngElt
- M1 + M2 : ModSS, ModSS -> ModSS
- U + V : ModTupFld, ModTupFld -> ModTupFld
- u + v : ModTupFldElt, ModTupFldElt -> ModTupFldElt
- M + N : ModTupRng, ModTupRng -> ModTupRng
- u + v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
- u + v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
- u + v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
- u + v : ModTupRngElt, ModTupRngElt -> ModTupRngElt
- A + B : Mtrx, Mtrx -> Mtrx
- A + B : MtrxSprs, MtrxSprs -> MtrxSprs
- D1 + D2 : OMDiv, OMDiv -> OMDiv
- I + J : OMIdl, OMIdl -> OMIdl
- I + J : OMIdl, OMIdl -> OMIdl
- P + Q : PtEll, PtEll -> PtEll
- s + t : RngDiffElt, RngDiffElt -> RngDiffElt
- s + t : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
- + a : RngElt -> RngElt
- a + b : RngElt, RngElt -> RngElt
- O1 + O2 : RngFunOrd, RngFunOrd -> RngFunOrd
- I + J : RngIdl, RngIdl -> RngIdl
- I + J : RngMPol, RngMPol -> RngMPol
- I + J : RngMPolLoc, RngMPolLoc -> RngMPolLoc
- I + J : RngMPolRes, RngMPolRes -> RngMPolRes
- O + P : RngOrd, RngOrd -> RngOrd
- I + J : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- x + y : RngPadElt, RngPadElt -> RngPadElt
- s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
- s + r : RngPowLazElt, RngElt -> RngPowLazElt
- s + t : RngPowLazElt, RngPowLazElt -> RngPowLazElt
- I + J : RngUPol, RngUPol -> RngUPol
- R1 + R2 : RootDtm, RootDtm -> RootDtm
- R1 + R2 : RootSys, RootSys -> RootSys
- S + T : SmpCpx, SmpCpx -> SmpCpx
- x + y : SpcHydElt, RngElt -> RngElt
- z + a : SpcHypElt, RngIntElt -> SpcHypElt
- M1 + M2 : SpSpc, SpSpc -> SpSpc
- e + f : SubModLatElt, SubModLatElt -> SubModLatElt
- S + T : TenSpcElt, TenSpcElt -> TenSpcElt
- C + D : TorCon,TorCon -> TorCon
- L + M : TorLat,TorLat -> TorLat,TorLatMap,TorLatMap,TorLatMap,TorLatMap
- P + Q : TorLatElt,TorLatElt -> TorLatElt
- P + C : TorPol,TorCon -> TorPol
- AddCubics(cubic1, cubic2 : parameters) : RngMPolElt, RngMPolElt -> RngMPolElt
V2.28, 13 July 2023