Project

General

Profile

Design #1802

Tidying ideal generators (for non-polynomial ideals)

Added by John Abbott about 1 month ago. Updated about 1 month ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Improving
Target version:
CoCoALib-0.99900
Start date:
25 Mar 2024
Due date:
% Done:

0%

Estimated time:
Spent time:
0.20 h

Description

Generalize the ideas of issue #1647 to other types of ideal (and modules?)

Related issues

Related to CoCoALib - Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?Closed2022-01-20

Related to CoCoALib - Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?New2024-03-18

History

#1 Updated by John Abbott about 1 month ago

  • Related to Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators? added

#2 Updated by John Abbott about 1 month ago

  • Subject changed from Tidying ideal geneators (for non-polynomial ideals) to Tidying ideal generators (for non-polynomial ideals)

#3 Updated by John Abbott about 1 month ago

First steps:
  • remove 0 generators
  • if any generator is 1 (or invertible) then the ideal is 1
  • for integer ideal, maybe compute (non-negative) gcd and use that as single generator.

Is there a sane generalization to modules?

#4 Updated by John Abbott about 1 month ago

  • Related to Feature #1797: Add a function CleanupGens making some easy cleaning on the generators? added

Also available in: Atom PDF