id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
24658,Don't call Maxima with no-variable symbolic relation tests,rws,,"In the case a relation without variables is to be decided, the procedure is to use Pynac, then RIF and, if it cannot be decided, Maxima. This is fine with expressions containing variables as Maxima can do some proofs. Expressions without variables are handled poorly as the example shows:
{{{
sage: val = pi - 2286635172367940241408/1029347477390786609545*sqrt(2)
sage: bool(val>0)
True
(%i2) is (%pi-(1116521080257783321*2^(23/2))/1029347477390786609545>0);
(%o2) true
}}}
This ticket changes the procedure to no longer try the unreliable Maxima after RIF has failed in a relation without variables. It will just return False.",defect,closed,major,sage-9.2,symbolics,fixed,,SimonKing,,Ralf Stephan,"Simon King, Matthias Koeppe",N/A,,e78e84bfcd13292e30969c2be007e71337810c87,e78e84bfcd13292e30969c2be007e71337810c87,,