Exercise algebra.inequalities.linear
Description
solve a linear inequation
Test report
| Tests | 120 |
| Errors | 0 |
| Warnings | 0 |
| Time | 2.879e-2s |
| Rating |  |
Suites
- Exercise algebra.inequalities.linear (tests: 120, errors: 0, warnings: 0, 0.028781s)
Tests
Exercise algebra.inequalities.linear (tests: 120, errors: 0, warnings: 0, 0.028781s)
Examples (tests: 117, errors: 0, warnings: 0, 0.023001s)
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 similarity implemented