Am 27.11.2014 um 20:52 schrieb Richard Fateman:
I don't know if your AC matcher is intended to be used for (say)
arithmetic expressions
or something else. But if arithmetic -- your stuff also needs to deal with
identities.
In that case if
you don't handle identities, your matcher becomes far less interesting.
What's the definition of "identity" in this context?
I'm asking because I'm wondering whether James' matcher might be useful
for building one if it doesn't cover identities yet, which hinges on
what an identity is and hence how it could be established or not.
(Identities in the true mathematical sense are undecidable, Goedel yadda
yadda; so you might be meaning something structural, is that so?)
Regards,
Jo
--
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/54779EF9.2000301%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.
