When the old assumption system is replaced, you can add new assumptions to the global context:
global_assumptions.add(Assume(x, Q.positive)) global_assumptions.remove(Assume(x, Q.positive)) You can do that now if you want to use the ask / refine / etc part of the new assumptions system. The speed may be poor, however, until my branch gets in. Once it does, I'm going to focus on having the old assumptions pulled out via one of the many attempts floating around already. Cheers On Wed, Aug 25, 2010 at 4:59 PM, smichr <smi...@gmail.com> wrote: > Is there a way to make a symbol take on a new attribute (like > positive) after it has been created? > > Is there a way to find out what attributes a symbol has...like a way > to show all its assumptions (positive, commutative, etc..)? > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to sy...@googlegroups.com. > To unsubscribe from this group, send email to > sympy+unsubscr...@googlegroups.com <sympy%2bunsubscr...@googlegroups.com>. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
