Feature #515
Fn to "flatten" muliple polynomial extns
Description
In C5 a user can easily create a ring like QQ[x][y]
which is obviously isomorphic to QQ[x,y]
. CoCoA can do many operations on elements of the second ring, but would be stuck given the first ring (e.g. factorization, sqfrfactor, gcd)
To make impl simpler have a fn which given a ring like QQ[x][y]
produces a single-level poly extn together with two isomorphisms to move values back and forth.
We'd also need fn to tell whether a ring is a multiple poly extn.
Related issues
History
#1 Updated by John Abbott over 10 years ago
Once this has been impl'ed (if), we should go back and finish those issues which needed the capability. See the related issues list!
#2 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0