Project

General

Profile

Feature #515

Fn to "flatten" muliple polynomial extns

Added by John Abbott about 10 years ago. Updated almost 10 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
Start date:
02 Apr 2014
Due date:
% Done:

0%

Estimated time:
Spent time:

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

Related to CoCoALib - Feature #47: Squarefree factorization - multivariate polynomialsClosed2011-11-30

Related to CoCoALib - Feature #516: Make squarefreefactor work in multiple polynomial extnsNew2014-04-02

History

#1 Updated by John Abbott about 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

Also available in: Atom PDF