Items tagged with magma

Feed

Introduction

The Magma package introduced in Maple 15 includes the command Enumerate. This routine allows you to count, or list, isomorphism class representatives of magmas of a given (small) order satisfying a selection of properties that...

The Magma package in Maple 15 includes the command IsSubMagma.  This tests whether a specified subset of a magma is closed under the binary operation that defines the magma.  For example, consider the following Cayley table for a group of order four.

> with( Magma ):
> m := << 1, 2, 3, 4 |
Page 1 of 1