Would it be a good to have both simplifying and non-simplifying
versions of oddp (and related predicates)?
What started me thinking about this: for a positive integer n, we have
limit(hermite(n,x),x,minf) = if oddp(n) then minf else inf
In this context, we need a simplifying oddp function--the
non-simplifying version makes a mess. If we had a simplifying oddp
function, limit(hermite(n,x),x,minf) could return a conditional.
It might be OK to only have a simplifying oddp function, but that
could break some code, I think.
If we choose to have both simplifying and non-simplifying versions of
some predicates, how should we name the simplifying version? The
to_poly_solver prepends % to the simplifying predicate.
Example with an experimental orthopoly extension:
(%i24) limit(hermite(n,x),x,minf);
(%o24) if %oddp(n) then minf else inf
(%i25) subst(n=9,%);
(%o25) if true then minf else inf
(%i26) ev(%,nouns);
(%o26) minf
The ev(%, nouns) isn't terrific, but that is another problem.
Barton