## 225 Reputation

22 years, 279 days
Maplesoft

I began working at Maplesoft after receiving my Ph.D. in Pure Mathematics from the University of Waterloo in 1995. My research then focused on combinatorial group theory (particularly, on finiteness properties of infinite discrete groups). I have been working in the Math Group since January 1997, where I have been involved in many diverse projects over the years.

## Working with Finitely Presented Groups i...

The GroupTheory package in Maple includes facilities for working with finitely presented groups - groups defined by finitely many generators and defining relations.  We now have a video tutorial that covers the basics of this aspect of the package.  As always, we appreciate feedback and suggestions regarding this feature, or new features that you would like to see in the GroupTheory package.

## Enumerating Small Magmas...

Maple 15

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...

## Checking for subquandles using Magma:-Is...

Maple 15

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
﻿