Revision history [back]
 | 1 | initial version |
You can try:
sage: bool(expr(s0=True, s1=True))
True
You can also fix only some variables:
sage: expr(s0=True)
s1 + 1
| | 1 | initial version |
You can try:
sage: bool(expr(s0=True, s1=True))
True
You can also fix only some variables:
sage: expr(s0=True)
s1 + 1
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.