1 | initial version |

I have two question in one : 1) I have this $z=\frac{αx^{α−1}y^βy^{−β−1}}{βx^α}$. There are obvious simplification since this is equal to $\frac{α}{β}\frac{y}{x}$.

It isn't:

```
sage: foo=a*x^(a-1)*y^b*y^-(b+1)/(b*x^a);foo
a*x^(a - 1)*y^b*y^(-b - 1)/(b*x^a)
sage: foo.canonicalize_radical()
a/(b*x*y)
```

2) how to take the result and consider it as an implicit function to obtain the derivative de y. as a function of x

```
sage: foo.canonicalize_radical().diff(y)
-a/(b*x*y^2)
```

which should be obvious given the (correct) result of your simplification...

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.