Planned changes
For g=2 there also exists a normal form y^2=polynomial in x. The algorithm
for computing this form is not yet implemented.
Applying these algorithms to the integration of algebraic functions
is one of my other goals (I'm currently not working on this though).