The Category of Rewrite Monoids
The Construction of a Rewrite Monoid
Construction of a Rewrite Monoid
RWSMonoid(Q: parameters) : MonFP -> MonRWS
SetVerbose("KBMAG", v) : MonStgElt, RngIntElt ->
Example MonRWS_RWSMonoid (H78E1)
Example MonRWS_RWSMonoid-2 (H78E2)
Example MonRWS_RWSMonoid-4 (H78E3)
Example MonRWS_RWSMonoid-5 (H78E4)
Accessing Monoid Information
M . i : MonRWS, RngIntElt -> MonRWSElt
Generators(M) : MonRWS -> [ MonRWSElt]
NumberOfGenerators(M) : MonRWS -> RngIntElt
Relations(M) : MonRWS -> [MonFPRel]
NumberOfRelations(M) : MonRWS -> RngIntElt
Ordering(M) : MonRWS -> String
Parent(w) : MonRWSElt -> MonRWS
Example MonRWS_BasicAccess (H78E5)
Properties of a Rewrite Monoid
IsConfluent(M) : MonRWS -> BoolElt
IsFinite(M) : MonRWS -> BoolElt, RngIntElt
Order(M) : MonRWS -> RngIntElt
Example MonRWS_order-finite (H78E6)
Example MonRWS_order-infinite (H78E7)
Example MonRWS_order (H78E8)
Construction of a Word
Identity(M) : MonRWS -> MonRWSElt
M ! [ i1, ..., is ] : MonRWS, [ RngIntElt ] -> MonRWSElt
Example MonRWS_Words (H78E9)
Arithmetic with Words
u * v : MonRWSElt, MonRWSElt -> MonRWSElt
u ^ n : MonRWSElt, RngIntElt -> MonRWSElt
u eq v : MonRWSElt, MonRWSElt -> BoolElt
u ne v : MonRWSElt, MonRWSElt -> BoolElt
IsId(w) : MonRWSElt -> BoolElt
# u : MonRWSElt -> RngIntElt
ElementToSequence(u) : MonRWSElt -> [ RngIntElt ]
Example MonRWS_Arithmetic (H78E10)
Construction of Homomorphisms
hom< M -> N | S > : Struct , Struct -> Map
Set Operations
Random(M, n) : MonRWS, RngIntElt -> MonRWSElt
Random(M) : MonRWS -> MonRWSElt
Representative(M) : MonRWS -> MonRWSElt
Set(M, a, b) : MonRWS, RngIntElt, RngIntElt -> SetEnum
Set(M) : MonRWS -> SetEnum
Seq(M, a, b) : MonRWS, RngIntElt, RngIntElt -> SeqEnum
Seq(M) : MonRWS -> SeqEnum
Example MonRWS_Set (H78E11)
Conversion to a Finitely Presented Monoid
Example MonRWS_Conversion (H78E12)
Bibliography
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012