Exercise arithmetic.fractions.liberal
Description
simplify fractions liberally
Test report
Tests
Exercise arithmetic.fractions.liberal (tests: 39, errors: 0, warnings: 0, 0.002813s)
Examples (tests: 36, errors: 0, warnings: 0, 0.002211s)
![](http://ideas.cs.uu.nl/images/ok.png)
start term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
start term is not ready
![](http://ideas.cs.uu.nl/images/ok.png)
final term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
final term is ready
![](http://ideas.cs.uu.nl/images/ok.png)
parser/pretty-printer
![](http://ideas.cs.uu.nl/images/ok.png)
equivalences
![](http://ideas.cs.uu.nl/images/ok.png)
no similar steps
![](http://ideas.cs.uu.nl/images/ok.png)
self similarity
![](http://ideas.cs.uu.nl/images/ok.png)
parameters
![](http://ideas.cs.uu.nl/images/ok.png)
start term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
start term is not ready
![](http://ideas.cs.uu.nl/images/ok.png)
final term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
final term is ready
![](http://ideas.cs.uu.nl/images/ok.png)
parser/pretty-printer
![](http://ideas.cs.uu.nl/images/ok.png)
equivalences
![](http://ideas.cs.uu.nl/images/ok.png)
no similar steps
![](http://ideas.cs.uu.nl/images/ok.png)
self similarity
![](http://ideas.cs.uu.nl/images/ok.png)
parameters
![](http://ideas.cs.uu.nl/images/ok.png)
start term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
start term is not ready
![](http://ideas.cs.uu.nl/images/ok.png)
final term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
final term is ready
![](http://ideas.cs.uu.nl/images/ok.png)
parser/pretty-printer
![](http://ideas.cs.uu.nl/images/ok.png)
equivalences
![](http://ideas.cs.uu.nl/images/ok.png)
no similar steps
![](http://ideas.cs.uu.nl/images/ok.png)
self similarity
![](http://ideas.cs.uu.nl/images/ok.png)
parameters
![](http://ideas.cs.uu.nl/images/ok.png)
start term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
start term is not ready
![](http://ideas.cs.uu.nl/images/ok.png)
final term is suitable
![](http://ideas.cs.uu.nl/images/ok.png)
final term is ready
![](http://ideas.cs.uu.nl/images/ok.png)
parser/pretty-printer
![](http://ideas.cs.uu.nl/images/ok.png)
equivalences
![](http://ideas.cs.uu.nl/images/ok.png)
no similar steps
![](http://ideas.cs.uu.nl/images/ok.png)
self similarity
![](http://ideas.cs.uu.nl/images/ok.png)
parameters
![](http://ideas.cs.uu.nl/images/ok.png)
exercise terms defined
![](http://ideas.cs.uu.nl/images/ok.png)
equivalence implemented
![](http://ideas.cs.uu.nl/images/ok.png)
similarity implemented