Computational Group Theory in Scala