How to save and load assumptions?
I use save_session() and load_session() to transfer data between worksheets, but I noticed that among other things, assumptions are not saved. So what I tried to do is save all assumptions in a separate list beforehand:
list_assumptions = assumptions() save_session('temp/worksheet')
In the receiving worksheet, I tried:
load_session('temp/worksheet.sobj') assumption1 = list_assumptions print assumption1 assumption1.assume()
but I get the following error:
a_s is real TypeError: ECL says: Error executing code in Maxima: activate: no such context _SAGE_VAR_contextsage52
Interestingly, it works if I declare the assumption in the same way explicitly:
decl = sage.symbolic.assumptions.GenericDeclaration(a_s, 'real') decl.assume()
And, by the way:
assumption1 == decl True
Is this a bug, or am I doing something wrong? Thanks for your help!