- *
- v * f : ModMPolHom, RngMPolElt -> RngMPolElt
- f(v) : ModMPolHom, RngMPolElt -> RngMPolElt
- O * e : AlgAssVOrd, RngElt -> AlgAssVOrdIdl
- x * y : AlgAssVOrdElt, AlgAssVOrdElt -> AlgAssVOrdElt
- u * c : AlgAssVOrdElt, RngElt -> AlgAssVOrdElt
- I * J : AlgAssVOrdIdl, AlgAssVOrdIdl -> AlgAssVOrdIdl
- I * J: AlgAssVOrdIdl, AlgAssVOrdIdl -> AlgAssVOrdIdl, AlgAssVOrdIdl
- a * b : AlgBasElt, AlgBasElt -> AlgBasElt
- I * J : AlgFP, AlgFP -> AlgFP
- I * J : AlgFr, AlgFr -> AlgFr
- A * B : AlgGen, AlgGen -> AlgGen
- a * b : AlgGenElt, AlgGenElt -> AlgGenElt
- a * r : AlgGenElt, RngElt -> AlgGenElt
- a * I : AlgGrpElt, AlgGrpSub -> AlgGrpSub
- a * r : AlgGrpElt, RngElt -> AlgGrpElt
- I * a : AlgGrpSub, AlgGrpElt -> AlgGrpSub
- L * M : AlgLie, AlgLie -> AlgLie
- a * b : AlgMatElt, AlgMatElt -> AlgMatElt
- T * L : AlgMatElt, Lat -> Lat
- psi * phi : AlgMatElt, MapModAbVar -> AlgMatElt
- a * b : AlgMatElt, Mtrx -> Mtrx
- x * y : AlgQuatElt, AlgQuatElt -> AlgQuatElt
- a * b : AlgSymElt, AlgSymElt -> AlgSymElt
- x * T : Any, TenSpc -> Any
- x * T : Any, TenSpcElt -> Any
- A1 * A2: ArtRep, ArtRep -> ArtRep
- x * y : BmpUElt, BmpVElt -> Any
- A * B : FldAb, FldAb -> FldAb
- a * e : FldComElt , HilbSpcElt -> HilbSpcElt
- x * u : FldElt, ModTupFldElt -> ModTupFldElt
- A * B : FldFunAb, FldFunAb -> FldFunAb
- a * phi : FldRatElt, MapModAbVar -> MapModAbVar
- k * P : FldRatElt,TorPol -> TorPol
- a * x : FldReElt, ModAbVarElt -> ModAbVarElt
- A1 * A2 : GalRep,GalRep -> GalRep
- f * g : GrpAutCrvElt, GrpAutCrvElt -> GrpAutCrvElt
- f * g : GrpAutoElt, GrpAutoElt -> GrpAutoElt
- u * v : GrpBBElt, GrpBBElt -> GrpBBElt
- u * v : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- x * y : GrpDrchElt, GrpDrchElt -> GrpDrchElt
- g * a : GrpElt, AlgGrpElt -> AlgGrpElt
- g * h : GrpElt, GrpElt -> GrpElt
- H * g : GrpFP, GrpFPElt -> GrpFPCosElt
- C * D : GrpFPCosElt, GrpFPCosElt -> GrpFPCosElt
- C * g : GrpFPCosElt, GrpFPElt -> GrpFPCosElt
- u * v : GrpFPElt, GrpFPElt -> GrpFPElt
- g * h : GrpGPCElt, GrpGPCElt -> GrpGPCElt
- h * g : GrpLieAutoElt, GrpLieAutoElt -> GrpLieAutoElt
- g * h : GrpLieElt, GrpLieElt -> GrpLieElt
- g * h : GrpMatElt, GrpMatElt -> GrpMatElt
- g * h : GrpPCElt, GrpPCElt -> GrpPCElt
- G * H : GrpPerm, GrpPerm -> { GrpPermElt }
- H * g : GrpPerm, GrpPermElt -> Elt
- g * h : GrpPermElt, GrpPermElt -> GrpPermElt
- g * h : GrpPSL2Elt, GrpPSL2Elt -> GrpPSL2Elt
- T * x : GrpPSL2Elt, SpcHydElt -> SpcHydElt
- g * z : GrpPSL2Elt, SpcHypElt -> SpcHypElt
- u * v : GrpRWSElt, GrpRWSElt -> GrpRWSElt
- u * v : GrpRWSElt, GrpRWSElt -> GrpRWSElt
- u * v : GrpSLPElt, GrpSLPElt -> GrpSLPElt
- H1 * H2 : Hmtp, Hmtp -> Hmtp
- J1 * J2 : JacketMot, JacketMot -> JacketMot
- v * T : LatElt, AlgMatElt -> LatElt
- v * s : LatElt, RngIntElt -> .
- L * T : LatNF, Mtrx -> LatNF
- v * T : LatNFElt, Mtrx -> LatNFElt
- D * E : LieRepDec, LieRepDec -> LieRepDec
- D * c : LieRepDec, RngIntElt -> LieRepDec
- L1 * L2 : LSer, LSer -> LSer
- f * g : Map, Map -> Map
- X * Y : Map, Map -> Map
- f * g : MapChn , MapChn -> MapChn
- phi * psi : MapModAbVar, AlgMatElt -> AlgMatElt
- phi * psi : MapModAbVar, MapModAbVar -> MapModAbVar
- g * f : MapSch,MapSch -> MapSch
- x * a : ModAbVarElt, FldReElt -> ModAbVarElt
- m * b : ModAlgElt, AlgBasElt -> ModAlgElt
- x * T : ModBrdtElt, AlgMatElt -> ModBrdtElt
- u * c : ModDedElt, RngElt -> ModDedElt
- u * I : ModDedElt, RngOrdIdl -> ModDed
- f * g : ModFrmElt, ModFrmElt -> ModFrmElt
- u * g : ModGrpElt, GrpElt -> ModGrpElt
- a * b : ModMatRngElt, ModMatRngElt -> ModMatRngElt
- a * b : ModMatRngElt, ModMatRngElt -> ModMatRngElt
- f * M : ModMPol, RngElt -> ModMPol
- u * a : ModRngElt, AlgElt -> ModRngElt
- u * k : ModRngElt, RngElt -> ModRngElt
- v * a : ModTupFldElt, ModMatFldElt -> ModTupFldElt
- v * A : ModTupRng, MtrxSprs -> ModTupRng
- u * a : ModTupRngElt, AlgMatElt -> ModTupElt
- u * g : ModTupRngElt, GrpMatElt -> ModTupRngElt
- u * a : ModTupRngElt, ModMatRngElt -> ModTupRngElt
- u * x : ModTupRngElt, RngElt -> ModTupRngElt
- w1 * w2 : MonOrdElt, MonOrdElt -> MonOrdElt
- u1 * u2 : MonPlcElt, MonPlcElt -> MonPlcElt
- u * v : MonRWSElt, MonRWSElt -> MonRWSElt
- a * b : Mtrx, AlgMatElt -> Mtrx
- T * L : Mtrx, LatNF -> LatNF
- T * v : Mtrx, LatNFElt -> LatNFElt
- A * B : Mtrx, Mtrx -> Mtrx
- A * B : MtrxSprs, MtrxSprs -> MtrxSprs
- TJ * L : PMat, LatNF -> LatNF
- f * M : QuadBinElt, GrpMatElt -> QuadBinElt
- f * g : QuadBinElt, QuadBinElt -> QuadBinElt
- s * t : RngDiffElt, RngDiffElt -> RngDiffElt
- s * t : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
- a * g : RngElt , MapChn -> MapChn
- a * I: RngElt, AlgAssVOrdIdl -> AlgAssVOrdIdl
- t * a : RngElt, AlgMatElt -> AlgMatElt
- r * x : RngElt, DiffFunElt -> DiffFunElt
- s * L : RngElt, Lat -> Lat
- r * L : RngElt, LatNF -> LatNF
- s * v : RngElt, LatNFElt -> LatNFElt
- a * x : RngElt, ModBrdtElt -> ModBrdtElt
- a * f : RngElt, ModFrmElt -> ModFrmElt
- k * u : RngElt, ModRngElt -> ModRngElt
- a * u : RngElt, ModTupRngElt -> ModTupRngElt
- a * u : RngElt, ModTupRngElt -> ModTupRngElt
- a * u : RngElt, ModTupRngElt -> ModTupRngElt
- x * u : RngElt, ModTupRngElt -> ModTupRngElt
- x * A : RngElt, Mtrx -> Mtrx
- x * A : RngElt, MtrxSprs -> MtrxSprs
- a * b : RngElt, RngElt -> RngElt
- x * O : RngElt, RngFunOrd -> RngFunOrdIdl
- x * O : RngElt, RngOrd -> RngOrdFracIdl
- x * I : RngElt, RngOrdFracIdl -> RngOrdFracIdl
- c * s : RngElt, RngPowLazElt -> RngPowLazElt
- a * x : RngElt, SpcHydElt -> RngElt
- a * z : RngElt, SpcHypElt -> SpcHypElt
- I * J : RngIdl, RngIdl -> RngIdl
- n * D : RngIntElt, DivSchElt -> DivSchElt
- n * G : RngIntElt, GrpAb -> GrpAb, Map
- m * u : RngIntElt, GrpAbElt-> GrpAbElt
- n * P : RngIntElt, JacHypPt -> JacHypPt
- k * D : RngIntElt, OMDiv -> OMDiv
- n * P : RngIntElt, PtEll -> PtEll
- n * P : RngIntElt, SrfKumPt -> SrfKumPt
- I * M : RngMPol, ModMPol -> ModMPol
- I * J : RngMPol, RngMPol -> RngMPol
- I * J : RngMPolLoc, RngMPolLoc -> RngMPolLoc
- I * J : RngMPolRes, RngMPolRes -> RngMPolRes
- J * L : RngOrdFracIdl, LatNF -> LatNF
- I * X : RngOrdFracIdl, PMat -> PMat
- I * J : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- I * M : RngOrdIdl, ModDed -> ModDed
- I * u : RngOrdIdl, ModDedElt -> ModDed
- x * y : RngPadElt, RngPadElt -> RngPadElt
- s * t : RngPowLazElt, RngPowLazElt -> RngPowLazElt
- s * n : RngPowLazElt, [RngIntElt] -> RngPowLazElt
- I * J : RngUPol, RngUPol -> RngUPol
- u * v : SgpFPElt, SgpFPElt -> SgpFPElt
- S * M : SpSpc, SpMat -> SpSpc
- e * f : SubFldLatElt, SubFldLatElt -> SubFldLatElt
- t1 * t2 : Tbl, Tbl -> Tbl
- T * f : TenSpcElt, Map -> TenSpcElt
- P * Q : TorPol,TorPol -> TorPol
- g * model : TransG1, ModelG1 -> ModelG1
- g1 * g2 : TransG1, TransG1 -> TransG1
- x + y : AlgKacElt, AlgKacElt -> AlgKacElt
- I + J : OMIdl, OMIdl -> OMIdl
- I + J : OMIdl, OMIdl -> OMIdl
- s + t : RngPowAlgElt, RngPowAlgElt -> RngPowAlgElt
- S + T : TenSpcElt, TenSpcElt -> TenSpcElt
- P + Q : TorLatElt,TorLatElt -> TorLatElt
- DirectSum(A, B) : ModAbVar, ModAbVar -> ModAbVar, List, List
- Divisor(P) : PlcFunElt -> DivFunElt
- Fan(F1,F2) : TorFan,TorFan -> TorFan
- Join(S,T) : SmpCpx, SmpCpx -> SmpCpx
- s cat t : MonStgElt, MonStgElt -> MonStgElt
V2.28, 13 July 2023