Updates:
Summary: User-defined assumptions
Comment #6 on issue 348 by asmeu...@gmail.com: User-defined assumptions
http://code.google.com/p/sympy/issues/detail?id=348
Let's not worry about the old assumptions any more. The real question is,
how should things work in the new assumptions. Right now, only assumptions
that are registered in the system are allowed. I think this is good. But
we should make it relatively easy to register new assumptions, and it
should obviously be doable without modifying library code. Things to think
about:
- What is the best API here? Do we require people to set up some class, or
can it be simpler than that?
- How will this work with the generation of facts? If facts are
precomputed, then we will need to allow them to be recomputed with new
facts (obviously new assumptions will also have implications in them.
Otherwise they will be useless).
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy-issues+unsubscr...@googlegroups.com.
To post to this group, send email to sympy-issues@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
