Comment #36 on issue 1047 by [email protected]: Suggested new assumption
system
http://code.google.com/p/sympy/issues/detail?id=1047
Thanks for those patches, Ondrej, They are both in, but you are right, some
doctests
are wrong (notably query(2, 'integer') should work_, I'll take a look at
those, they
seem easy to fix.
On the implementation details of refine, I've thought quite a lot about
that, and I
believe the best design would be very similar to that of query(): a
function in a
module (sympy.refine), with a bunch of handlers so that refine() calls the
appropriate handlers. benefits:
- this get's out of the core. It will inevitably make use of
sympy.query, so it
would not make much sense to put this in the core after getting queries out
of the core.
- refine is potentially a HUGE function, we really don't want to code
this into
core classes (->long parsing, bad performance)
- Extensibility in the sense of query (It isn't documented, but with
query you
can define your own handlers and make custom queries)
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy-issues" 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-issues?hl=en
-~----------~----~----~----~------~----~------~--~---
