GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/PresentationComplexity

GroupTheory

  

PresentationComplexity

  

return a measure of the complexity of a presentation of a finitely presented group

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

PresentationComplexity( G )

Parameters

G

-

a finitely presented group

Description

• 

The PresentationComplexity( G ) command returns a triple of the form (m, n, k), where m is the number of generators currently defined for G, n is the number of relators currently defined for G, and k is the total length of the relators.

Examples

withGroupTheory:

Ga,b|a2,b3,a·b5=1

Ga,ba2,b3,ababababab

(1)

PresentationComplexityG

2,3,15

(2)

Compatibility

• 

The GroupTheory[PresentationComplexity] command was introduced in Maple 18.

• 

For more information on Maple 18 changes, see Updates in Maple 18.

See Also

GroupTheory

GroupTheory[Generators]