Revision history [back]
 | 1 | initial version |  |
Reduction is performed via rewriting system - like:
R = D4.rewriting_system()
R.reduce(s^2)| | 2 | No.2 Revision |
Reduction is here can be performed via rewriting system - like:
R = D4.rewriting_system()
R.reduce(s^2)