Am 24.04.2014 17:19, schrieb Matthew Rocklin:
SymPy
really doesn't need a full logic programming system.
That would be far too horrible performance-wise.
> We only need things
like multi-pattern unification and AC unification.
I do not know what exactly these are.
I read that AC unification can be polynomial, which sounds like a
potential performance bottleneck; do we really need it?
Note that there are mature efficient projects that do this (and lots of
other things) already. Elan and Stratego/XT come to mind. They're heavy
dependencies though.
I'm not sure what the consensus on dependencies is, but I myself think
that a dependency is okay if we can either make sure that a specific,
tested version is used, or if we expect the APIs to be stable and the
need to fork for bug fixes or extensions is nonexistent.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/5359449B.1090500%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.
