Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
All applications
Rule | algebra.equations.quadratic.common-factor |
Location | [0,1,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x*(x+5)+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.quadratic.common-factor |
Location | [1,0,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x*(x+5)+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.quadratic.common-factor |
Location | [1,1,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x*(x+5)+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.quadratic.nice-factors |
Location | [0,1,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x+2)*(x+3)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.quadratic.nice-factors |
Location | [1,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x+2)*(x+3)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.quadratic.nice-factors |
Location | [1,1,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x+2)*(x+3)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x^2+2*x+3*x+6)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x^2+2*x+2*x+4)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(4*x+8)/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x^2+2*x+3*x+6)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x^2+2*x+2*x+4)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x^2+5*x+6)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,1] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^3+3*x^2+5*x^2+15*x+6*x+18)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,1] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x^2+2*x+3*x+6))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [0,1,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^3+3*x^2+5*x^2+21*x+18)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^3+3*x^2+5*x^2+15*x+6*x+18)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(6*x+18)/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^3+3*x^2+5*x^2+21*x+18)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,1] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^3+3*x^2+5*x^2+15*x+6*x+18)*(x+2))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,1] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x^2+2*x+3*x+6))
ready: no
Rule | algebra.equations.linear.distr-times |
Location | [1,1,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^3+3*x^2+5*x^2+21*x+18)*(x+2))
ready: no
Rule | algebra.equations.polynomial.factor-varpower |
Location | [0,1,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x*(x+5)+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.polynomial.factor-varpower |
Location | [1,0,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x*(x+5)+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.polynomial.factor-varpower |
Location | [1,1,0,0,0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-(x^2+5*x+6)*(x+3)*6/((x*(x+5)+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.rational.cancel-div |
Location | [0] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+2)*4/(x^2+5*x+6)-(x^2+5*x+6)*(x+3)*6/((x^2+5*x+6)*(x+3)*(x+2))
ready: no
Rule | algebra.equations.rational.cancel-div |
Location | [1] |
![](http://ideas.cs.uu.nl/images/external.png)
(x+3)*(x+2)*(x+2)*4/((x^2+5*x+6)*(x+3)*(x+2))-6/(x+2)
ready: no
Rule | algebra.equations.rational.rational-plus |
Location | [] |
![](http://ideas.cs.uu.nl/images/external.png)
((x+3)*(x+2)*(x+2)*4-(x^2+5*x+6)*(x+3)*6)/((x^2+5*x+6)*(x+3)*(x+2))
ready: no