Project

General

Profile

Design #849

Cleanup MinPoly code

Added by Anna Maria Bigatti about 8 years ago. Updated about 2 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Tidying
Target version:
CoCoALib-0.99880
Start date:
22 Mar 2016
Due date:
% Done:

10%

Estimated time:
Spent time:
3.30 h

Description

Implement syntax MinPolyXX(f, x) with f in R/I
(instead of current MinPolyXX(f, I, x))

Related issues

Related to CoCoALib - Feature #900: New function: MinPoly of RingElem in quotient ringClosed2016-06-27

Related to CoCoALib - Bug #1248: MinPolyQuot: guaranteed and ideal without GBasisClosed2019-03-01

Related to CoCoALib - Feature #1103: Pseudo-zero-dim idealsIn Progress2017-09-19

History

#1 Updated by Anna Maria Bigatti about 8 years ago

  • Target version changed from CoCoALib-0.99560 to CoCoALib-0.99550 spring 2017

#2 Updated by Anna Maria Bigatti almost 8 years ago

The current functions should be renamed MinPolyXXQuot(f, I, z)

#3 Updated by Anna Maria Bigatti almost 8 years ago

The function MinPoly (and MinPolyQuot) should be straight calls to MinPolyDef/MinPolyDefQuot

#4 Updated by John Abbott over 7 years ago

  • Target version changed from CoCoALib-0.99550 spring 2017 to CoCoALib-0.99560

#5 Updated by John Abbott over 6 years ago

  • Target version changed from CoCoALib-0.99560 to CoCoALib-0.99600

#6 Updated by John Abbott over 6 years ago

  • Related to Feature #900: New function: MinPoly of RingElem in quotient ring added

#7 Updated by Anna Maria Bigatti over 5 years ago

  • Tracker changed from Feature to Design
  • Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019

#8 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99700

#9 Updated by John Abbott over 4 years ago

  • Related to Bug #1248: MinPolyQuot: guaranteed and ideal without GBasis added

#10 Updated by John Abbott about 4 years ago

Better to postpone this?

#11 Updated by Anna Maria Bigatti about 4 years ago

After so much time I think "Why bother?". Mathematically it is nice and clean, practically it is next to pointless, and would also be tedious to use.

We made it clean by calling it MinPolyQuot. I think the only cleanup we could do is about renaming all internal functions with Quot, but nothing more than that.

I even made an ISSAC tutorial about it, without missing it at all.
I suggest Reject.

#12 Updated by Anna Maria Bigatti about 4 years ago

  • Target version changed from CoCoALib-0.99700 to CoCoALib-0.99800

#13 Updated by John Abbott over 2 years ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850

#14 Updated by John Abbott 2 months ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 10

In 8 years we have never really needed the proposed new API, so we may as well reject this issue (as Anna suggested 4 years ago).

HOWEVER it would be good to do some cleaning inside the file SparsePoltOps-MinpPoly.C as there seems to be some cruft there.

#15 Updated by John Abbott 2 months ago

#16 Updated by Anna Maria Bigatti about 2 months ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880

Also available in: Atom PDF