Project

General

Profile

Feature #1818

Implement FGLM

Added by Anna Maria Bigatti about 1 month ago. Updated about 1 month ago.

Status:
In Progress
Priority:
Normal
Category:
New Function
Target version:
Start date:
24 May 2024
Due date:
% Done:

50%

Estimated time:
Spent time:

Description

Implement FGLM algorithm for 0-dim ideals

History

#1 Updated by Anna Maria Bigatti about 1 month ago

  • Category set to New Function
  • Status changed from New to In Progress
  • Assignee set to Anna Maria Bigatti
  • Target version set to CoCoALib-0.99850
  • % Done changed from 0 to 50

Done, together with Evelina Lanteri.
We used LinDepMill and QBGenerator: worked very well.
Still to decide: user interface. Optimize characteristic 0.

There is also an older version called ShapeLemma, which completes the GB (if in normal position) at the end of the computation of MinPoly (if it has maximum degree). Effectively free, after Minpoly computation.
Still to decide: user interface. Check characteristic 0.

Also available in: Atom PDF