Project

General

Profile

Bug #130

Design problem in ideals

Added by John Abbott about 6 years ago. Updated almost 3 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Data Structures
Target version:
Start date:
15 Apr 2012
Due date:
% Done:

0%

Estimated time:
Spent time:

Description

Now that there is a linear system solver I tried to write a general implementation for
SparsePolyRingBase::IdealImpl::myDivMod
but encountered some (serious?) technical problems. It seems to be impossible to compute the quotient basis of the this ideal, because this is a pointer-to-constant, and the pseudo-ctor ideal wants a non-const pointer.

No idea how to solve this one. One possibility would be to pass in the original ideal and hand that to QuotientBasis.

Anyone got any good ideas?


Related issues

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

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

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

Related to CoCoALib - Design #871: Redesign idealsNew2016-04-26

History

#1 Updated by John Abbott about 4 years ago

Anna has recently encountered some other problems with the current design.

This needs thought!

#2 Updated by Anna Maria Bigatti about 4 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#3 Updated by John Abbott about 4 years ago

  • Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99999

#4 Updated by Redmine Admin almost 3 years ago

  • Category set to Data Structures

#5 Updated by John Abbott almost 2 years ago

Also available in: Atom PDF