Hello !
I would like understand how or works in sage.
I tried following .
var('y'); (y == 5 or y == 15)
and sage displays.
y
y == 15
While I tried the same in mathematica and it just displays : (y == 5 or y
== 15)
In sage or works perfect for boolean values, true and false.
But why sage
or is just the normal Python boolean operation.
When you evaluate y == 5 or y == 15, the Python interpreter first checks if
the first statement is true:
sage: bool(y==5)
False
Since the first operand is false, the result of or is the second operand.
sage: y == 5 or 'second operand'
'second
Hi Volker,
On 2012-12-07, Volker Braun vbraun.n...@gmail.com wrote:
--=_Part_251_18870492.1354891149790
Content-Type: text/plain; charset=ISO-8859-1
or is just the normal Python boolean operation.
But then: How can one combine symbolic expressions without automatic
evaluation?
Best
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
On Friday, December 7, 2012 6:43:37 AM UTC-8, Simon King wrote:
But then: How can one combine symbolic expressions without automatic
evaluation?
by implementing symbolic 'and' and 'or' functions. You can already do the
formal stuff:
sage: function('symbolic_or')
sage:
Dear all,
I have a system of non linear equations over GF(2). How to solve
them in Sage?
--
You received this message because you are subscribed to the Google Groups
sage-support group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send