Skip to content

Latest commit

 

History

History
23 lines (17 loc) · 872 Bytes

README.md

File metadata and controls

23 lines (17 loc) · 872 Bytes

Classes and methods for math groups with C(3)-T(6) conditions


C(3) and T(6) conditions.

Please see the chapter Non-metric small cancellation conditions at https://en.wikipedia.org/wiki/Small_cancellation_theory

The following functionality has been implemented:

  • an alphabet and constitutive relations of the C3-T6 group are supported
  • when you create a C3-T6 group, all constitutive relations will be generated
  • checking C(3) conditions was added
  • checking T(6) conditions was added

I plan to develop:

  • to add a way to create words from the alphabet;
  • to add a way to raise words to a power;
  • to add a way to mix words after raised to a power;
  • to add a way to provide R-cuttings.

This theory is described in articles by Nikolai Bezverhnii (https://www.researchgate.net/scientific-contributions/Nikolai-Bezverhnii-2067824458).