On Sat, Jan 24, 2009 at 11:56 PM, Ondrej Certik <ond...@certik.cz> wrote:
>
> >>
> >> Also I don't like that the assumptions are assigned to the symbols
> >> directly. See also the issue #1047 for some arguments against it.
> >
> > yeah, I too think now that assumptions should not be assigned to symbols.
> >
> > taken from test_assumptions.py:
> >
> > x = Symbol('x',real=True, integer=True)
> > assert x.is_real == True
> >
> > How could this be translated into your assumption system?
> >
> > x = Symbol('x')
> > assert IsElement(x, Real, assumptions=Element(x, Real))
>
> Good question. I created:
>
> http://wiki.sympy.org/wiki/Assumptions
Cool. So far I prefer your approach, I just wonder how our tests would look
like on this assumption system. I pulled from your repo, and I am willing to
help once we have clear the api that we want
>
>
> So far I added your suggested solution to it. How would you write the
> following in your system:
>
> e = abs(x)
> print e.refine(Assumptions(x>0))
> print e.refine(Assumptions(x<0))
>
> (feel free to edit the wiki)
>
> Ondrej
>
> >
>
--
Fabian, http://fseoane.net/blog/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sympy@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
-~----------~----~----~----~------~----~------~--~---
