Slug #1578
Updated by John Abbott about 3 years ago
The following system sysem can easily easyily be solved by hand, but CoCoA is very slow
<pre>
[x*y +y^2, x^2 -z^2, y^3 -y*z^2, z^2021 -1]
</pre>
The problem seems to be computing the minpoly of @x@, but it would better to start with @z@ since we already have a univariate poly in @z@.
<pre>
[x*y +y^2, x^2 -z^2, y^3 -y*z^2, z^2021 -1]
</pre>
The problem seems to be computing the minpoly of @x@, but it would better to start with @z@ since we already have a univariate poly in @z@.