[Next][Prev] [_____] [Left] [Up] [Index] [Root]

MONOIDS GIVEN BY REWRITE SYSTEMS

 
Acknowledgements
 
Introduction
      Terminology
      The Category of Rewrite Monoids
      The Construction of a Rewrite Monoid
 
Construction of a Rewrite Monoid
 
Basic Operations
      Accessing Monoid Information
      Properties of a Rewrite Monoid
      Construction of a Word
      Arithmetic with Words
 
Homomorphisms
      General Remarks
      Construction of Homomorphisms
 
Set Operations
 
Conversion to a Finitely Presented Monoid
 
Bibliography







DETAILS

 
Introduction

      Terminology

      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)

 
Basic Operations

      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)

 
Homomorphisms

      General Remarks

      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