Packages

object FreeGroups

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FreeGroups
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Presentation(rels: Vector[Word], rank: Int) extends Product with Serializable

    Finite presentation of a group

    Finite presentation of a group

    rels

    relations

    rank

    number of generators.

  2. final case class Word(ls: Vector[Int]) extends AnyVal with Product with Serializable

    A word in a free group.

    A word in a free group.

    ls

    letters of the words represented as integers; 1 represents a, -1 represents a^{-1}

Value Members

  1. def letterString(n: Int): String

    String for a letter, e.g.

    String for a letter, e.g. a, a! (for a inverse)

  2. def letterUnic(n: Int): String

    unicode string for a letter, e.g.

    unicode string for a letter, e.g. "a" or "\bar{a}"

  3. val nullpres: Presentation
  4. def presentationWeight(pres: Presentation, presCntn: Double, wrdCntn: Double): Double
  5. implicit def readPres: ReadString[Presentation]
  6. implicit def readWord: ReadString[Word]
  7. def wordWeight(w: Word, wrdCntn: Double, rank: Double): Double

    weight of a word, for a generation process where we extend with some probability, picking letters at random.

  8. implicit def writePres: WriteString[Presentation]
  9. implicit def writeWord: WriteString[Word]
  10. object Presentation extends Serializable
  11. object Word extends Serializable