On Thu, 23 Dec 2021 at 08:33, emanuel.c...@gmail.com <emanuel.charpent...@gmail.com> wrote: > > Le mardi 21 décembre 2021 à 16:41:06 UTC+1, smi...@gmail.com a écrit : >> >> e1 is quadratic only if f and e2 is linear in g and quadratic in f...it is a >> pretty simple system but there are lots of extraneous symbols. Even paring >> down the symbols to the system `(F1*(F2 + F3*f + f**2), G3*(G4 + G6*f**2 + >> G7*g + f*(G1 + G5*g - g))` takes a long time to solve and simplify. > > > That’s my point… BTW : with check=False, solving with Sympy’s solver is about > as fast as with Maxima’s solver ; checking is slower, simplifying is > extremely slow :
I think that the way solve checks solutions is misguided. In a simple example like this there is no need to check the solutions. There are cases where it is needed to avoid spurious solutions (e.g. after unrad) but for a simple polynomial system like this the checking is unnecessary. -- Oscar -- 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 sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAHVvXxT23BOHVPZ36%2BQ%2BHOZ2_btU6JW4LouQKNyZOQj5T2UEZA%40mail.gmail.com.