Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Test report
| Tests | 615 |
| Errors | 1 |
| Warnings | 0 |
| Time | 3.956158s |
| Rating |  |
Suites
- Exercise algebra.manipulation.rational.simplify (tests: 615, errors: 1, warnings: 0, 3.956148s)
Errors
equivalence implemented: assertion failedTests
Exercise algebra.manipulation.rational.simplify (tests: 615, errors: 1, warnings: 0, 3.956148s)
Examples (tests: 612, errors: 0, warnings: 0, 2.58257s)
start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters exercise terms defined equivalence implemented: assertion failed similarity implemented