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.
Regards,
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
