I'm finding that simplify isn't working well with ratios of monomials.
I think this is probably due to it not even being able to simplify a/(b/c) - it just returns the same thing.
This is most obvious when you give it a/(a/c). Instead of giving c it just gives you back a/(a/c).
To work around this, I'm currently trying to use a patchwork of simplify and rationalize calls.
eg I use rationalize for
a/(a/c) -> a*c/a
then use simplify for
a*c/a -> c
For more complex examples, I loop through rationalize then simplify several times. This approach is obviously very ugly and unpredictable, and anyhow can't be used for a lot of monomials since rationalize crashes on them due to #1724.
I'm finding that
simplifyisn't working well with ratios of monomials.I think this is probably due to it not even being able to simplify
a/(b/c)- it just returns the same thing.This is most obvious when you give it
a/(a/c). Instead of givingcit just gives you backa/(a/c).To work around this, I'm currently trying to use a patchwork of
simplifyandrationalizecalls.eg I use
rationalizefora/(a/c) -> a*c/athen use
simplifyfora*c/a -> cFor more complex examples, I loop through
rationalizethensimplifyseveral times. This approach is obviously very ugly and unpredictable, and anyhow can't be used for a lot of monomials sincerationalizecrashes on them due to #1724.