Project

General

Profile

Design #871

Redesign ideals

Added by John Abbott about 2 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
26 Apr 2016
Due date:
% Done:

0%

Estimated time:

Description

Review the design of ideals.

Some points to bear in mind:
  • an ideal should probably be immutable -- any operation which would "change" the ideal should actually produce a new ideal
  • while the main ideals are those in poly rings, I'd like teh design to work also for ideals in ZZ (at least).

Related issues

Related to CoCoALib - Bug #130: Design problem in idealsNew2012-04-15

Related to CoCoA-5 - Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()Closed2016-04-26

Related to CoCoALib - Feature #665: Integrate Janet/Pommaret basis codeIn Progress2015-02-11

Related to CoCoALib - Design #550: add myResolution member field to ideal and (sub)moduleNew2014-05-09

Related to CoCoALib - Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)Closed2014-04-04

Related to CoCoALib - Design #513: Quick/correct flag for bool3 fnsIn Progress2014-04-02

Related to CoCoALib - Design #455: Which sets of generators in an ideal?New2014-03-03

Related to CoCoALib - Feature #400: add myJBMill member field to idealNew2013-08-02

Related to CoCoALib - Feature #399: add myHilbertSeries member field to ideal and (sub)moduleNew2013-08-02

Related to CoCoALib - Design #316: submodule constructor different from idealIn Progress2013-02-20

Related to CoCoALib - Design #297: Modules design: brainstormingIn Progress2013-01-25

Related to CoCoALib - Slug #120: LT over QQ: surprisingly slowNew2012-04-03

Related to CoCoALib - Bug #114: Ideals of polynomialsIn Progress2012-03-26

History

#1 Updated by John Abbott about 2 years ago

  • Related to Bug #130: Design problem in ideals added

#2 Updated by John Abbott about 2 years ago

  • Related to Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset() added

#3 Updated by John Abbott about 2 years ago

  • Related to Feature #665: Integrate Janet/Pommaret basis code added

#4 Updated by John Abbott about 2 years ago

  • Related to Design #550: add myResolution member field to ideal and (sub)module added

#5 Updated by John Abbott about 2 years ago

  • Related to Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn) added

#6 Updated by John Abbott about 2 years ago

  • Related to Design #513: Quick/correct flag for bool3 fns added

#7 Updated by John Abbott about 2 years ago

  • Related to Design #455: Which sets of generators in an ideal? added

#8 Updated by John Abbott about 2 years ago

  • Related to Feature #400: add myJBMill member field to ideal added

#9 Updated by John Abbott about 2 years ago

  • Related to Feature #399: add myHilbertSeries member field to ideal and (sub)module added

#10 Updated by John Abbott about 2 years ago

  • Related to Design #316: submodule constructor different from ideal added

#11 Updated by John Abbott about 2 years ago

  • Related to Design #297: Modules design: brainstorming added

#12 Updated by John Abbott about 2 years ago

  • Related to Slug #120: LT over QQ: surprisingly slow added

#13 Updated by John Abbott about 2 years ago

  • Related to Bug #114: Ideals of polynomials added

#14 Updated by Anna Maria Bigatti about 1 year ago

  • Target version set to CoCoALib-0.99999

Also available in: Atom PDF