> sage: a=1
> sage: a+a
> 2-------------------------------------------------> NOT ok: why is
> this not 0?

because you just set a to the integer 1. Python and Sage are not strongly 
typed, so you can assign any type to any variable and you just overwrote the 
previous definition of a which was in the boolean polynomial ring. Try A(1) 
for the constant 1 in A for which A(1) + A(1) holds.

Martin


-- 
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_www: http://www.informatik.uni-bremen.de/~malb
_jab: [EMAIL PROTECTED]


--~--~---------~--~----~------------~-------~--~----~
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