[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: predicates-booleans-diff-op-rings .. presentations
Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)
Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)
Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)
Predicates and Booleans (DIFFERENTIAL RINGS, FIELDS AND OPERATORS)
Basic Attributes (SUBGROUPS OF PSL_2(R))
Basic Functions (SUBGROUPS OF PSL_2(R))
Predicates on Elements (ALGEBRAS)
Predicates on Ideals (ORDERS OF ASSOCIATIVE ALGEBRAS)
Predicates on Orders (ORDERS OF ASSOCIATIVE ALGEBRAS)
PREFACE
PREFACE
AssignNamePrefix(A, S) : FldAC, MonStgElt ->
HasPreimage(x, f) : Any, Map -> BoolElt, Any
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt
IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
PreimageIdeal(I) : AlgFP -> AlgFr
PreimageIdeal(I) : RngMPolRes -> RngMPol
PreimageRing(A) : AlgFP -> AlgFr
PreimageRing(Q) : RngMPolRes -> RngMPol
PreimageRing(Q) : RngUPolRes -> RngUPol
Images and Preimages (MAPPINGS)
PreimageIdeal(I) : AlgFP -> AlgFr
PreimageIdeal(I) : RngMPolRes -> RngMPol
PreimageRing(A) : AlgFP -> AlgFr
PreimageRing(Q) : RngMPolRes -> RngMPol
PreimageRing(Q) : RngUPolRes -> RngUPol
PreparataCode(m): RngIntElt, RngUPolElt -> Code
PreparataCode(m): RngIntElt, RngUPolElt -> Code
Preprune(C) : ModCpx -> ModCpx
Preprune(C,n) : ModCpx, RngIntElt -> ModCpx
CompactPresentation(G) : GrpPC -> [RngIntElt]
CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
GetPresentation(B) : GrpBrd -> MonStgElt
IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
NilpotentPresentation(G) : GrpGPC -> GrpGPC, Map
Presentation(A) : AlgMat -> AlgFr, AlgFr, Map
PresentationIsSmall(G) : GrpGPC -> BoolElt
PresentationLength(G) : GrpFP -> RngIntElt
PresentationLength(P) : Process(Tietze) -> RngIntElt
PresentationOfSimpleGroup("Sz", q) : RngIntElt -> GrpFP, HomGrp
SL2Presentation(q : parameters) : RngIntElt -> GrpFP
SatisfiesSL2Presentation(G, q : parameters) : GrpMat, RngIntElt -> BoolElt
SatisfiesSzPresentation(G) : GrpMat -> BoolElt
SetPresentation(~B, s) : GrpBrd, MonStgElt ->
Simplify(~P : parameters) : Process(Tietze) ->
SpecialPresentation(G) : GrpPC -> GrpPC
StandardPresentation(G): GrpPC -> GrpPC, Map
StandardPresentation(G, str : parameters) : Grp, MonStgElt -> BoolElt, SeqEnum, SeqEnum
AlgMat_Presentation (Example H70E12)
CompactPresentation (FINITE SOLUBLE GROUPS)
Conditioned Presentations (FINITE SOLUBLE GROUPS)
Constructing a Presentation for a Subgroup (FINITELY PRESENTED GROUPS)
Isomorphism Testing and Standard Presentations (FINITE p-GROUPS)
Presentation of Submodules (FREE MODULES)
Presentations (MATRIX GROUPS OVER GENERAL RINGS)
Properties of a Polycyclic Presentation (POLYCYCLIC GROUPS)
Special Presentations (FINITE SOLUBLE GROUPS)
Specification of a Presentation (FINITELY PRESENTED ABELIAN GROUPS)
Specification of a Presentation (FINITELY PRESENTED SEMIGROUPS)
Structuring Presentations (FINITELY PRESENTED ALGEBRAS)
The Presentation of Submodules (INTRODUCTION TO MODULES [MODULES AND ALGEBRAS])
Properties of a Polycyclic Presentation (POLYCYCLIC GROUPS)
PresentationIsSmall(G) : GrpGPC -> BoolElt
PresentationLength(G) : GrpFP -> RngIntElt
PresentationLength(P) : Process(Tietze) -> RngIntElt
PresentationOfSimpleGroup("Sz", q) : RngIntElt -> GrpFP, HomGrp
Generators and Presentations (MATRIX ALGEBRAS)
Modifying Presentations (FINITELY PRESENTED GROUPS: ADVANCED)
More About Presentations (FINITE SOLUBLE GROUPS)
Power-Conjugate Presentations (FINITE SOLUBLE GROUPS)
Presentations (PERMUTATION GROUPS)
Presentations for Matrix Algebras (MATRIX ALGEBRAS)
[____] [____] [_____] [____] [__] [Index] [Root]