Short answer: I don't know. What are you trying to achieve? Long answer: I'd use the propositional calculus http://www.sagemath.org/doc/reference/sage/logic/propcalc.html to compute the truth table for the statement. Then each row is a system of equations/negated equations that you can feed into maxima.
Any better options? On Friday, December 7, 2012 2:43:37 PM UTC, Simon King wrote: > > But then: How can one combine symbolic expressions without automatic > evaluation? > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en.
