Bob Haffner bobhaffner
jayhutfles
/ gist:ac60fd87e686dd8f82a3
Last active
January 1, 2024 22:08
Scala implementation of a finite permutation group
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.language.implicitConversions | |
| import scala.language.postfixOps | |
| sealed trait Permutation[+A] | |
| case object Id extends Permutation[Nothing] | |
| case class Mapping[A](mappings: Map[A, A]) extends Permutation[A] | |
| object Permutation { | |
| def id = Id |