- Eq
- ValuationNe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGt(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLe(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLt(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationEq(x, n) : FldXPadElt, RngIntElt -> BoolElt
- eq
- Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
- Equality and Membership (p-ADIC RINGS AND THEIR EXTENSIONS)
- v + w : LatNFElt, LatNFElt -> LatNFElt
- O1 eq O2 : AlgAssVOrd, AlgAssVOrd -> BoolElt
- x eq y : AlgAssVOrdElt, AlgAssVOrdElt -> BoolElt
- I eq J : AlgAssVOrdIdl, AlgAssVOrdIdl -> BoolElt
- I eq J : AlgFP, AlgFP -> BoolElt
- I eq J : AlgFr, AlgFr -> BoolElt
- A eq B : AlgGen, AlgGen -> BoolElt
- a eq b : AlgGenElt, AlgGenElt -> BoolElt
- x eq y : AlgKacElt, AlgKacElt -> BoolElt
- L eq K : AlgLie, AlgLie -> BoolElt
- R eq T : AlgMat, AlgMat -> BoolElt
- a eq b : AlgMatElt, AlgMatElt -> BoolElt
- x eq y : AlgQuatElt, AlgQuatElt -> BoolElt
- L eq M : AlgSym, AlgSym -> BoolElt
- s eq t : AlgSymElt, AlgSymElt -> BoolElt
- x eq y : Any, Any -> BoolElt
- A1 eq A2: ArtRep, ArtRep -> BoolElt
- U1 eq U2 : BmpU, BmpU -> BoolElt
- u1 eq u2 : BmpUElt, BmpUElt -> BoolElt
- v1 eq v2 : BmpUElt, BmpUElt -> BoolElt
- V1 eq V2 : BmpV, BmpV -> BoolElt
- C eq D : Code, Code -> BoolElt
- C eq D : Code, Code -> BoolElt
- C eq D : Code, Code -> BoolElt
- E eq F : CrvEll, CrvEll -> BoolElt
- S eq T : DiffCrv,DiffCrv -> BoolElt
- a eq b : DiffCrvElt,DiffCrvElt -> BoolElt
- D1 eq D2 : DiffFun, DiffFun -> BoolElt
- x eq y : DiffFunElt, DiffFunElt -> BoolElt
- Div1 eq Div2 : DivCrv, DivCrv -> BoolElt
- D eq E : DivCrvElt, DivCrvElt -> BoolElt
- G1 eq G2: DivSch, DivSch -> BoolElt
- D1 eq D2 : DivSchElt, DivSchElt -> BoolElt
- G1 eq G2 : DivTor,DivTor -> BoolElt
- C1 eq C2 : Elt, Elt -> BoolElt
- x eq y : Elt, Elt -> BoolElt
- A eq B : FldAb, FldAb -> BoolElt
- a eq b : FldACElt, FldACElt -> BoolElt
- F eq L : FldAlg, FldAlg -> BoolElt
- A eq B : FldFunAb, FldFunAb -> BoolElt
- F eq L : FldNum, FldNum -> BoolElt
- A1 eq A2 : GalRep,GalRep -> BoolElt
- C eq D : GRCrvS, GRCrvS -> BoolElt
- G eq H : GrpAb, GrpAb -> BoolElt
- u eq v : GrpAbElt, GrpAbElt -> BoolElt
- g eq h : GrpAutoElt, GrpAutoElt -> BoolElt
- g eq h : GrpAutoElt, GrpAutoElt -> BoolElt
- u eq v : GrpBBElt, GrpBBElt -> BoolElt
- u eq v : GrpBrdElt, GrpBrdElt -> BoolElt
- x eq y : GrpDrchElt, GrpDrchElt -> BoolElt
- g eq h : GrpElt, GrpElt -> BoolElt
- H eq G : GrpFin, GrpFin -> BoolElt
- H eq K : GrpFP, GrpFP -> BoolElt
- H eq K : GrpFP, GrpFP -> BoolElt
- C1 eq C2 : GrpFPCosElt, GrpFPCosElt -> BoolElt
- u eq v : GrpFPElt, GrpFPElt -> BoolElt
- G eq H : GrpGPC, GrpGPC -> BoolElt
- g eq h : GrpGPCElt, GrpGPCElt -> BoolElt
- G eq H : GrphDir, GrphDir -> BoolElt
- s eq t : GrphEdge, GrphEdge -> BoolElt
- G eq H : GrphMultUnd, GrphMultUnd -> BoolElt
- g eq h : GrphRes,GrphRes -> BoolElt
- v eq w : GrphResVert,GrphResVert -> BoolElt
- s eq t : GrphSpl,GrphSpl -> BoolElt
- s eq t : GrphVert, GrphVert -> BoolElt
- S eq T : GrphVertSet, GrphVertSet -> BoolElt
- G eq H : GrpLie, GrpLie -> BoolElt
- H eq G : GrpMat, GrpMat -> BoolElt
- g eq h : GrpMatElt, GrpMatElt -> BoolElt
- G eq H : GrpPC, GrpPC -> BoolElt
- g eq h : GrpPCElt, GrpPCElt -> BoolElt
- H eq G : GrpPerm, GrpPerm -> BoolElt
- g eq h : GrpPermElt, GrpPermElt -> BoolElt
- G eq H : GrpPSL2, GrpPSL2 -> BoolElt
- g eq h : GrpPSL2Elt, GrpPSL2Elt -> BoolElt
- u eq v : GrpRWSElt, GrpRWSElt -> BoolElt
- u eq v : GrpRWSElt, GrpRWSElt -> BoolElt
- u eq v : GrpSLPElt, GrpSLPElt -> BoolElt
- p eq q : GRPtS, GRPtS -> BoolElt
- X eq Y : GRSch,GRSch -> BoolElt
- H1 eq H2 : HilbSpc, HilbSpc -> BoolElt
- e1 eq e2 : HilbSpcElt, HilbSpcElt -> BoolElt
- H1 eq H2 : HomModAbVar, HomModAbVar -> BoolElt
- H1 eq H2 : HypGeomData, HypGeomDat -> BoolElt
- D eq E : Inc, Inc -> BoolElt
- P eq Q : JacHypPt, JacHypPt -> BoolElt
- J1 eq J2 : JacketMot, JacketMot -> JacketMot
- L eq M : Lat, Lat -> BoolElt
- v eq w : LatElt, LatElt -> BoolElt
- e eq f : LatLatElt, LatLatElt -> BoolElt
- A eq B : LatNF, LatNF -> BoolElt
- D eq E : LieRepDec, LieRepDec -> BoolElt
- L eq K : LinearSys,LinearSys -> BoolElt
- I eq J : Map, Map -> BoolElt
- phi eq psi : MapModAbVar, MapModAbVar -> BoolElt
- f eq g : MapSch, MapSch -> BoolElt
- A eq B : ModAbVar, ModAbVar -> BoolElt
- x eq y : ModAbVarElt, ModAbVarElt -> BoolElt
- G1 eq G2 : ModAbVarSubGrp, ModAbVarSubGrp -> BoolElt
- x eq y : ModBrdtElt, ModBrdtElt -> BoolElt
- M eq N : ModDed, ModDed -> BoolElt
- x eq y : ModDedElt, ModDedElt -> Bool
- M eq N : ModMPol, ModMPol -> BoolElt
- f eq g : ModMPolElt, ModMPolElt -> BoolElt
- N eq M : ModRng, ModRng -> BoolElt
- M1 eq M2 : ModSS, ModSS -> BoolElt
- P eq Q : ModSSElt, ModSSElt -> BoolElt
- U eq V : ModTupFld, ModTupFld -> BoolElt
- N eq M : ModTupRng, ModTupRng -> BoolElt
- u eq v : ModTupRngElt, ModTupRngElt -> BoolElt
- u eq v : ModTupRngElt, ModTupRngElt -> BoolElt
- w1 eq w2 : MonOrdElt, MonOrdElt -> BoolElt
- t1 eq t2 : MonPlcElt, MonPlcElt -> BoolElt
- u1 eq u2 : MonPlcElt, MonPlcElt -> BoolElt
- u eq v : MonRWSElt, MonRWSElt -> BoolElt
- s eq t : MonStgElt, MonStgElt -> BoolElt
- A eq B : MtrxSprs, MtrxSprs -> BoolElt
- D1 eq D2 : OMDiv, OMDiv -> BoolElt
- I eq J : OMIdl, OMIdl -> BoolElt
- I eq J : OMIdl, OMIdl -> BoolElt
- p1 eq p2 : PathLS, PathLS -> BoolElt
- P eq Q : Plane, Plane -> BoolElt
- l eq m : PlaneLn, PlaneLn -> BoolElt
- p eq q : PlanePt, PlanePt -> BoolElt
- P eq Q : PlcCrv, PlcCrv -> BoolElt
- P eq Q : PlcCrvElt, PlcCrvElt -> BoolElt
- p1 eq p2 : PMat, PMat -> BoolElt
- p eq q : Pt,Pt -> BoolElt
- p eq q : Pt,Pt -> BoolElt
- P eq Q : PtEll, PtEll -> BoolElt
- P eq Q : PtHyp, PtHyp -> BoolElt
- f eq g : QuadBinElt, QuadBinElt -> BoolElt
- R eq S : Rng, Rng -> BoolElt
- R eq S : Rng, Rng -> Rng
- C1 eq C2 : RngCox,RngCox -> BoolElt
- R eq F : RngDiff, RngDiff -> BoolElt
- s eq t : RngDiffElt, RngDiffElt -> BoolElt
- R eq F : RngDiffOp, RngDiffOp -> BoolElt
- s eq t : RngDiffOpElt, RngDiffOpElt -> BoolElt
- a eq b : RngElt, RngElt -> BoolElt
- I eq J : RngIdl, RngIdl -> BoolElt
- n eq phi : RngIntElt, MapModAbVar -> BoolElt
- a eq b : RngLocAElt, RngLocAElt -> BoolElt
- I eq J : RngMPol, RngMPol -> BoolElt
- I eq J : RngMPolLoc, RngMPolLoc -> BoolElt
- I eq J : RngMPolRes, RngMPolRes -> BoolElt
- N eq O : RngOrd, RngOrd -> BoolElt
- I eq J : RngOrdFracIdl, RngOrdFracIdl -> BoolElt
- L eq K : RngPad, RngPad -> BoolElt
- x eq y : RngPadResElt, RngPadResElt -> BoolElt
- s eq t : RngPowAlgElt, RngPowAlgElt -> BoolElt
- R1 eq R2 : RngPowLaz, RngPowLaz -> BoolElt
- s eq t : RngPowLazElt, RngPowLazElt -> BoolElt
- E1 eq E2 : RngSerExt, RngSerExt -> BoolElt
- I eq J : RngUPol, RngUPol -> BoolElt
- R eq S : RngUPolTwst, RngUPolTwst -> BoolElt
- R eq T : RngUPolXPad, RngUPolXPad -> BoolElt
- R eq T : RngXPad, RngXPad -> BoolElt
- R1 eq R2 : RootDtm, RootDtm -> BoolElt
- R1 eq R2 : RootSys, RootSys -> BoolElt
- A eq B : Sch,Sch -> BoolElt
- C eq D : Sch,Sch -> BoolElt
- X eq Y : Sch,Sch -> BoolElt
- G1 eq G2 : SchGrpEll, SchGrpEll -> BoolElt
- S eq T : SeqEnum, SeqEnum -> BoolElt
- R eq S : Set, Set -> BoolElt
- P eq Q : SetPt,SetPt -> BoolElt
- H1 eq H2 : SetPtEll, SetPtEll -> BoolElt
- u eq v : SgpFPElt, SgpFPElt -> BoolElt
- S eq T : SmpCpx, SmpCpx -> BoolElt
- R eq S : SnuRng, SnuRng -> BoolElt
- x eq y : SpcHydElt, SpcHydElt -> BoolElt
- x eq y : SpcHypElt, SpcHypElt -> BoolElt
- P eq Q : SrfKumPt, SrfKumPt -> BoolElt
- e eq f : SubFldLatElt, SubFldLatElt -> BoolElt
- e eq f : SubGrpLatElt, SubGrpLatElt -> SubGrpLatElt
- e eq f : SubModLatElt, SubModLatElt -> SubModLatElt
- G1 eq G2 : SymGen, SymGen -> BoolElt
- G1 eq G2 : SymGenLoc, SymGenLoc -> BoolElt
- h eq k : SymKod, SymKod -> BoolElt
- C1 eq C2 : TenCat, TenCat -> BoolElt
- S eq T : TenSpc, TenSpc -> BoolElt
- S eq T : TenSpcElt, TenSpcElt -> BoolElt
- C eq D : TorCon,TorCon -> BoolElt
- F eq G : TorFan,TorFan -> BoolElt
- L eq K : TorLat,TorLat -> BoolElt
- P eq Q : TorLatElt,TorLatElt -> BoolElt
- P eq Q : TorPol,TorPol -> BoolElt
- T eq U : Tup, Tup -> BoolElt
- SmpCpx_eq (Example H149E8)
V2.28, 13 July 2023