How can I define a polynomial boolean ring in 'a' in which it holds
that a+a=0 both cases: (1) when 'a' is an unknown parameter  and (2)
when 'a=1'. Please see below:

sage: A.<a> = BooleanPolynomialRing(1)
sage: a
a
sage: A
Boolean PolynomialRing in a
sage: a+a
0 ------------------------------------------------> ok
sage: a*a
a-------------------------------------------------> ok
sage: a+a+a
a-------------------------------------------------> ok
sage: a*a*a
a-------------------------------------------------> ok
sage: a=1
sage: a+a
2-------------------------------------------------> NOT ok: why is
this not 0?

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to