ValueError: Assumption is redundant

43 views

Skip to first unread message

Ralf Stephan

unread,

Sep 10, 2013, 2:38:11 AM9/10/13

to sage-s...@googlegroups.com

Hello,
Google gave me only links to the source for this, so here goes.
This is in the sage cloud.

var ('a0')
assume(a0,'integer')
a0
Error in lines 3-3
Traceback (most recent call last):
File "/mnt/home/ri4IvCKJ/.sagemathcloud/sage_server.py", line 527, in execute
exec compile(block+'\n', '', 'single') in namespace, locals
File "", line 1, in <module>
File "/usr/local/sage/sage-5.11/local/lib/python2.7/site-packages/sage/symbolic/assumptions.py", line 412, in assume
x.assume()
File "expression.pyx", line 1503, in sage.symbolic.expression.Expression.assume (sage/symbolic/expression.cpp:9326)
ValueError: Assumption is redundant

This may not be a bug in your opinion since you also allow similar error
messages for unknown variables. However in this case if this is not a bug
I think it better to simply ignore the redundant assumption instead of
throwing up.