Bill, just an early thought: I think the setProperty/property from BasicOperator can be useful in such situation, e.g. attach a 'positive' property to a constant (nullary operator) 'x', then for example 'x>0' can return ture (well, there's no '>' in EXPR), or 'sin(x*%pi)' can return 0. But this approach will require deep changes from all over the place. Maybe doing so in a new Domain over EXPR is cleaner. Just an early thought.
-- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
