Writing A GAP Package For Local Action Diagrams

Local action diagrams are a recent development which can be used to classify group actions on a tree that are “(P)-closed”. Properties of local action diagrams are reflected in the group acting on the tree. If a tree is locally finite and a (P)-closed group acting on it has a finite number of orbits then the local action diagram associated with the group is finite, which means a computer can use them to check for properties of the group. This project aims to implement local action diagrams in the GAP computer algebra system, implement functions that check for certain properties in them (and thus the group acting on the tree), and also list representatives for all isomorphic local actions diagrams for a tree with a given number of orbits.

Marcus Chijoff

The University of Newcastle

Marcus Chijoff is a student at The University of Newcastle studying Mathematics and Computer Science with majors in Pure Mathematics and Data Science. He plans to commence honors in Mathematics in 2023. He is most interested in using programming to help understand Mathematics.
Professionally, he has worked as a research assistant since 2020. During this time, he’s worked to develop a program to systematically search for novel examples of graphs satisfying certain properties. He has also been awarded two summer scholarships at The University of Newcastle. One studied linear error-correcting codes and the other studied the use of quaternionic wavelet transforms for colour image processing.

You may be interested in

Hannah Perry

Hannah Perry

Optimising the Image Mosaicing of Visual Representations of Functions
Jamie Keegan-Treloar

Jamie Keegan-Treloar

Cellular Automata Traffic Analysis of Simple Road Networks
Susanna Grigson

Susanna Grigson

Hierarchical Classification of Protein Sequences
Jonathan Skelton

Jonathan Skelton

The 3-Body Problem in 4 Dimensions
Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Not readable? Change text.