ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Tue, 26 Nov 2013 03:20:18 +0100Truth value of an expression (Boolean Polynomials)https://ask.sagemath.org/question/10775/truth-value-of-an-expression-boolean-polynomials/I need to find the truth value of an expression. Consider this:
sage: R = BooleanPolynomialRing( 2, \
['s%d'%(i) for i in range (2)])
sage: expr = R('s0') + R('s0')*R('s1')
Now I need `expr` is to be evaluated; given, say, both `s0` and `s1` are `True`. How can we do that?
ppTue, 26 Nov 2013 03:20:18 +0100https://ask.sagemath.org/question/10775/