I'm curious why you say that the code would be simpler in magma or gap? The post doesn't actually implement any group theory, it just applies it, which is exactly what you'd have to do anywhere.

Of course, it's possible that the internal code of the library would be simpler, but I'm a little skeptical.