I've just pushed updates to my pynac patch queue that include Jean-Pierre's numerics.patch, a preliminary fix for match() and some attempts to fix the random effects of normalization of minus signs on printing. I don't expect all of these to be committed, they are work in progress.
I also uploaded a slightly changed version of Volker's doctest fix patch trac_9880-fix_doctests_symbolic.take2.patch, and a new patch trac_9880-fix_doctests-be.patch fixing many more doctests which I believe to be correct.
Running the test suite on sage/{symbolic,function} directories after these patches shows more clearly that there is still some work to be done here. We get some random output from .factor() and .numerator() calls (#12068), and a timeout on sage/calculus/calculus.py since minpoly doesn't terminate.
Here is my current sage patch queue in case you decide to apply the new patches:
trac_12068-numer_denom_ginac-fh.patch
trac_12068-denominator.patch
trac_12074-nth_root.patch
trac_9880_fix_import.patch
trac_9880_pynac_order.take2.patch
trac_9880_randomized_testing.patch
trac_9880-stable_operands.patch
trac_9880_pynac_infinities.patch
trac_9880-fix_comparison-p1.patch
trac_9880-fix_variables_ordering.patch
trac_9880-fix_doctests_symbolic.patch
trac_9880-fix_doctests-be.patch
I'll write to pynac-devel with more details of the remaining problems.
