Magma - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Magma : Magma/SubMagmaCayleyTable

Magma

  

SubMagmaCayleyTable

  

compute the Cayley table of a submagma

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

SubMagmaCayleyTable( s, m )

Parameters

s

-

subset of {1,2,...,n}

m

-

Array representing the Cayley table of a finite magma of order n

Description

• 

The SubMagmaCayleyTable( s, m ) command returns a Cayley table for the submagma s of the magma represented by the Cayley table m.  The elements of s are renumbered to fall within the range 1..k, where k is the number of elements of s.

• 

If the subset s of {1,2,...,n} is not a submagma of m, then an exception is raised.

Examples

with( Magma ):

m := << 3, 5, 3, 4, 3 ;
       2, 5, 2, 3, 3 ;
       4, 3, 1, 4, 2 ;
       3, 2, 1, 1, 1 ;
       5, 2, 4, 5, 4 >>;

m3534325233431423211152454

(1)

IsSubMagma( { 1, 3, 4 }, m );

true

(2)

SubMagmaCayleyTable( { 1, 3, 4 }, m );

223313211

(3)

Compatibility

• 

The Magma[SubMagmaCayleyTable] command was introduced in Maple 17.

• 

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

See Also

IsSubMagma