Project

General

Profile

Feature #39

Squarefree factorization

Added by John Abbott over 12 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
New Function
Target version:
CoCoALib-0.99532
Start date:
30 Nov 2011
Due date:
% Done:

100%

Estimated time:
(Total: 100.00 h)
Spent time:
0.25 h (Total: 129.60 h)

Description

Implement squarefree factorization (most especially for polynomial rings).

This is just a parent task; it has many subtasks representing the various steps needed to reach the goal.

This mostly managed by John Abbott; some of the work is delegated to Alessio d'Ali`.

Subtasks

Feature #40: Squarefree factorization - Alessio d'Ali`ClosedJohn Abbott

Feature #41: Squarefree factorization - overheadClosedJohn Abbott

Feature #42: Squarefree factorization - generic caseClosedJohn Abbott

Feature #43: Squarefree factorization - for polynomialsClosedJohn Abbott

Feature #44: Squarefree factorization - univariate polynomialsClosedJohn Abbott

Feature #45: Squarefree factorization - univariate polynomials, char 0ClosedJohn Abbott

Feature #46: Squarefree factorization - univariate polynomials, char p > 0ClosedJohn Abbott

Feature #69: p-th rootClosedJohn Abbott

Feature #47: Squarefree factorization - multivariate polynomialsClosedJohn Abbott

Feature #48: Squarefree factorization - multivariate polynomials, char 0ClosedJohn Abbott

Feature #49: Squarefree factorization - multivariate polynomials, char p > 0ClosedJohn Abbott

Related issues

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

Related to CoCoALib - Feature #796: CoCoALib function for radical (or SqFree) of a polynomialClosed2015-11-05

History

#1 Updated by John Abbott over 10 years ago

  • Status changed from New to Feedback
  • Assignee set to John Abbott

The issue has been resolved by implementing Bernardin's algm (which seems to work quite well in practice).

The code has been ported into CoCoALib (with doc & tests, of course).
It seems to work fine in "normal" rings, but may not work some "unusual" rings (see #47 for more details).

Putting this issue into feedback: the code will be released publicly in a few days!

PS it looks as though I created far too many subtasks; initially it seemed that each subtask would require separate handling, but in the end just 2 impls did everything reasonably well.

#2 Updated by Anna Maria Bigatti over 10 years ago

  • Target version set to CoCoALib-0.99532

#3 Updated by John Abbott about 10 years ago

  • Status changed from Feedback to Closed

Also available in: Atom PDF