|
(small graph rewrites systems) (research subjects)
|
|
|
|
|
|
| System X v1 |
|
|
|
|
|
|
there are problems with slide equivalence and this system proposes an alternative
|
|
|
|
A crossing is decomposed like this
|
|
|
|
|
|
|
| Rewrites |
|
|
|
|
Rewrite RD2 (related to Reidemeister 2)
|
|
|
|
|
|
|
Rewrite GL ("glue", related to Reidemeister 1)
|
|
|
|
|
|
|
Rewrite SH1 ("shuffle", related to the shuffle move)
|
|
|
|
|
|
|
Rewrite SH2 ("shuffle", related to the shuffle move)
|
|
|
|
|
|
|
Rewrite DIST
|
|
|
|
|
|
| Derived rewrites |
|
|
|
| The reversed GL, which is also a RM, or a reversed Reidemeister 1 |
|
|
|
|
|
|
| A Reidemeister 3 rewrite |
|
|
|
|
|
|
|
|
|
|
content licensed (CC BY 4.0)
unless otherwise specified |
|
|