The first algorithm in the paper where ratsimpmodprime was taken from should probably do quite well - as far as I can tell it shoud be about as fast as polynomial=True (maybe two or three times slower, or something of that order - not 100 times), and work quite well (it minimizes the maximum of the degrees of numerator and denominator). Will take a bit of work to implement, though (although it will nicely show of my commutative algebra module :D).
I implemented this in agca8 (no pull request, yet). It works, but I think its probably not very fast since my algorithms are not particularly optimized. When we push the trigsimp PR I will see how it goes with the other algorithm.
-- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.