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 over 3 years ago
- 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 6 months ago
- Target version changed from CoCoA-5.4.2 to CoCoA-5.4.4