Options
All
  • Public
  • Public/Protected
  • All
Menu

A class for groups defined using (normalizing rewriting systems)[https://en.wikipedia.org/wiki/Rewriting].

Hierarchy

  • Group<number[]>
    • RewriteGroup

Index

Constructors

constructor

Properties

dimension

dimension: number

generators

generators: number[][]

system

system: RewriteRule[]

Methods

compare

  • compare(elem1: number[], elem2: number[]): -1 | 0 | 1

enumerateElements

  • enumerateElements(): number[][]

equal

  • equal(elem1: number[], elem2: number[]): boolean

identity

  • identity(): number[]

invert

  • invert(elem: number[]): number[]
  • Inverts a group element. Assumes that every one of the generators is of order 2.

    Parameters

    • elem: number[]

      The element to invert.

    Returns number[]

    The group inverse of the element.

multiply

  • multiply(elem1: number[], elem2: number[]): number[]

replace

  • replace(elem: number[], index: number): number[]

simplifyElement

  • simplifyElement(elem: number[]): number[]

Static Private buildGenerators

  • buildGenerators(n: number): number[][]

Static Private slide

  • slide(elem: number[], index: number, slide: number): number[]
  • Slides all entries of an array, starting from a given position, by a certain number of positions.

    Parameters

    • elem: number[]

      The array to slide.

    • index: number

      The starting index for the slide.

    • slide: number

      The number of positions to slide the elements.

    Returns number[]

    The array, resized and slided. This can either be the original array modified, or a new array.

Generated using TypeDoc, the 1/31/2021 at 6:18:55 AM