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 ma
Hi,
On Mon, Apr 19, 2010 at 09:39:49AM -0700, smichr wrote:
> In polytools when two polys are multiplied, the two polys are unified
> first:
>
> def mul(f, g):
> """Multiply two polynomials `f` and `g`. """
> _, per, F, G = f.unify(g) <=== there
>
>