[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: enum-comb .. eq
ENUMERATIVE COMBINATORICS
Lattice Enumeration Utilities (LATTICES)
Enumerate(O, A, B) : AlgAssVOrd[RngOrd], RngElt, RngElt -> [AlgAssVOrdElt]
Enumerate(O, A, B) : AlgQuatOrd[RngInt], RngIntElt, RngIntElt -> [AlgQuatOrdElt]
Enumeration of Tableaux (PARTITIONS, WORDS AND YOUNG TABLEAUX)
Enumerated Sequences (SEQUENCES)
Enumerated Sets (SETS)
The Enumerated Sequence Constructor (SEQUENCES)
The Enumerated Set Constructor (SETS)
CanContinueEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
CanRedoEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
ContinueEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
CosetEnumerationProcess(G, H: parameters) : GrpFP, GrpFP -> GrpFPCosetEnumProc
EnumerationCost(L) : Lat -> FldReElt
EnumerationCostArray(L) : Lat -> ModTupFldElt
RedoEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
ResumeEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
StartEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
Enumeration of Places (CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS)
Interactive Coset Enumeration (FINITELY PRESENTED GROUPS: ADVANCED)
Minima and Element Enumeration (LATTICES)
Searching For Points (HYPERELLIPTIC CURVES)
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
Vector Enumeration (FINITELY PRESENTED ALGEBRAS)
RationalPoints(J) : JacHyp -> SetIndx
Searching For Points (HYPERELLIPTIC CURVES)
RationalPoints(J) : JacHyp -> SetIndx
Enumeration of Points (HYPERELLIPTIC CURVES)
EnumerationCost(L) : Lat -> FldReElt
Lat_EnumerationCost (Example H30E16)
EnumerationCostArray(L) : Lat -> ModTupFldElt
CompleteWeightEnumerator(C): Code -> RngMPolElt
CompleteWeightEnumerator(C): Code -> RngMPolElt
CompleteWeightEnumerator(C, u): Code, ModTupFldElt -> RngMPolElt
CompleteWeightEnumerator(C, u): Code, ModTupFldElt -> RngMPolElt
CompleteWeightEnumerator(C): CodeAdd -> RngMPolElt
EuclideanWeightEnumerator(C): Code -> RngMPolElt
LeeWeightEnumerator(C): Code -> RngMPolElt
SymmetricWeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C): Code -> RngMPolElt
WeightEnumerator(C, u): Code, ModTupFldElt -> RngMPolElt
WeightEnumerator(C): CodeAdd -> RngMPolElt
The Weight Enumerator (ADDITIVE CODES)
The Weight Enumerator (LINEAR CODES OVER FINITE FIELDS)
Weight Enumerators (LINEAR CODES OVER FINITE RINGS)
GetEnv(s) : MonStgElt -> MonStgElt
GetEnvironmentValue(s) : MonStgElt -> MonStgElt
IntegralUEAlgebra(L) : AlgLie -> AlgIUE
IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
IntegralUEA(L) : AlgLie -> AlgIUE
QuantizedUEA(R) : RootDtm -> AlgQUE
UniversalEnvelopingAlgebra(L) : AlgLie -> AlgUE
GetEnv(s) : MonStgElt -> MonStgElt
GetEnvironmentValue(s) : MonStgElt -> MonStgElt
ReconstructionEnvironment(p, k) : RngOrdIdl, RngIntElt -> RngOrdRecoEnv
ENVIRONMENT AND OPTIONS
Environment Variables (ENVIRONMENT AND OPTIONS)
ENVIRONMENT AND OPTIONS
Environment Variables (ENVIRONMENT AND OPTIONS)
IsEof(S) : MonStgElt -> BoolElt
SimpleEpimorphisms(P) : Rec -> SeqEnum, Tup
Equality and Membership (ALGEBRAIC FUNCTION FIELDS)
Equality and Membership (p-ADIC RINGS AND THEIR EXTENSIONS)
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
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
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
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
L eq M : Lat, Lat -> BoolElt
v eq w : LatElt, LatElt -> BoolElt
e eq f : LatLatElt, LatLatElt -> BoolElt
D eq E : LieRepDec, LieRepDec -> BoolElt
L eq K : LinearSys,LinearSys -> BoolElt
I eq J : Map, Map -> BoolElt
f eq g : MapIsoSch, MapIsoSch -> 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
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
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
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
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 H140E8)
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Wed Apr 24 15:09:57 EST 2013