But before that happens this has to happen in classes:
if not isinstance(g, GFP) or f.mod != g.mod:
raise UnificationFailed("can't unify %s with %s" % (f, g))
sym = max(f.sym, g.sym)
if f.dom == g.dom:
- check an instance and maybe do a bool test
- get the max of two quantities (a multi-step process?)
- check the domain
...that instead of just a bool test to avoid those three steps like
"if unified". Like the subject says, perhaps those 3 steps are very
fast but are there reasons not to just do that single test and get to
doing the mul?
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sy...@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
