Project

General

Profile

Feature #1513

Better test for univariate-ness (and better conversion)

Added by John Abbott over 3 years ago. Updated about 1 month ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Improving
Target version:
CoCoALib-0.99880
Start date:
19 Oct 2020
Due date:
% Done:

0%

Estimated time:
Spent time:
0.30 h

Description

Issue #1118 exhibits a slug due to "stupid" conversion from a sparse multivariate poly to a dense univariate poly.

Make a better test for univariate-ness, and a better conversion.
The idea is that if a poly is of the form f(x,y,z) = x^e * g(x^d)
then the univariate-ness test produces also the exponents d and e (and then conversion to DUP can take these values to make a more compact DUP image).

This should solve #1118, and perhaps also make cyclotomic faster(?)

Related issues

Related to CoCoALib - Slug #1118: SLUG: factorization of x^9999In Progress2017-11-08

History

#1 Updated by John Abbott over 3 years ago

  • Related to Slug #1118: SLUG: factorization of x^9999 added

#2 Updated by John Abbott 2 months ago

Assuming we do implement this, what should its UI be?
Do we already have a function which converts from SparsePolyRing elem to DenseUPolyRing elem?
Do we also do simultaneous conversion of coefficients? e.g. from QQ to ZZ (assuming all denoms are 1)?

#3 Updated by John Abbott about 1 month ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880

Also available in: Atom PDF