Great. I came to the same conclusion when working on that issue.
Regarding the last commit, "Don't allow classes to set assumptions,
except for Symbol." does that mean that Function should not be allowed
to set assumptions. I noticed that Function("f", real=True) does not
actually work, either in master or your branch? But it should, right?
Regarding the rest, I have no idea what happens in the logic code, so
I can't say much about that.
Aaron Meurer
On Mon, Mar 12, 2012 at 11:34 AM, Ronan Lamy <[email protected]> wrote:
> I've been working on a refactoring of the old assumptions. The first
> part was to replace the ._assumptions dict with a dedicated class
> (subclassing dict). This brings interesting conceptual clarifications
> and code simplifications.
>
> In particular, it's now clear to me that "assumptions" are used in two
> rather different ways. For Symbols, assumptions do actually represent
> assumptions that are part of the object's definition. For all other
> objects, "assumptions" are a smart property cache, that allows some
> properties to be computed lazily and efficiently, and these
> "assumptions" should therefore never be explicitly set, not even in the
> constructors.
>
> I guess that the next steps are to make the split more explicit and to
> stop pickling property caches (which would solve
> http://code.google.com/p/sympy/issues/detail?id=2587 ). My branch is
> here: https://github.com/rlamy/sympy/tree/new-core and I'd be happy to
> have some feedback.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To post to this group, send email to [email protected].
> To unsubscribe from this group, send email to
> [email protected].
> 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 [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
