grelgroup - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : grelgroup

grelgroup

represent a group by generators and relations

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

grelgroup(gens, rels)

Parameters

gens

-

set of names taken to be the generators of the group

rels

-

set of relations among the generators which define the group

Description

• 

The function grelgroup is used as a procedure and an unevaluated procedure call. As a procedure, grelgroup checks its arguments and then either exits with an error or returns the unevaluated grelgroup call.

• 

The first argument is a set of Maple names which stand for the generators of the group. The second argument is a set of ``words'' in the generators. A ``word'' is a list of generators and/or inverses of generators representing a product.  The inverse of a generator g is represented by 1g. An empty list represents the identity element.  The words w1, w2, ..., wn in rels are such that the relations w1=w2=...=wn=1 define the group.

Examples

grelgroupa,b,a,a,a,b,b,a,b,1a,1b

grelgroupa,b,b,b,a,a,a,a,b,1a,1b

(1)

the following will give an error:

grelgroupa,b,a,1c,a,b,a

Error, (in grelgroup) relator [a, 1/c, a] contains something (1/c) not a generator or its inverse

See Also

permgroup

subgrel

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam