Slug #1578
SLUG: RationalSolve slow and stupid
Description
The following system can easily be solved by hand, but CoCoA is very slow
[x*y +y^2, x^2 -z^2, y^3 -y*z^2, z^2021 -1]
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.
History
#1
Updated by John Abbott about 3 years ago
Updated by - Description updated (diff)
Some ideas:
- if there is a univariate poly, factorize it, and take just the univariate factors; use these to elim an indet.
- if there is a subset of K polys involving just K indets, and these polys define a 0-dim system, then perhaps solve that sub-problem first?
Requires revising RationalSolve.cpkg5; or maybe port everything into C++?
#2
Updated by John Abbott 3 months ago
- Target version changed from CoCoA-5.4.2 to CoCoA-5.4.4