Project

General

Profile

Feature #588

Resume code for "gin" (generic initial ideal)

Added by Anna Maria Bigatti almost 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Category:
CoCoA-4 function to be added
Target version:
Start date:
15 Jul 2014
Due date:
% Done:

100%

Estimated time:
2.00 h
Spent time:

Description

Resurrect code for "gin", and implement it in cocoalib


Related issues

Related to CoCoALib - Feature #589: Implement gin (generic initial ideal) in cocoalib New2014-07-15

Related to CoCoA-5 - Feature #883: gin: return/print a suitable change of variablesClosed2016-05-10

History

#1 Updated by Anna Maria Bigatti almost 10 years ago

  • Status changed from In Progress to Feedback
  • % Done changed from 10 to 90
  • Estimated time set to 2.00 h

Done in package.
Implemented only using twin-floats with range [-10^6, 10^6].
No point in offering more flexibility than this!

#2 Updated by Anna Maria Bigatti over 9 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

#3 Updated by John Abbott over 9 years ago

I notice that the current definition will sometimes (almost never?) print out a message about trying again. This is not good programming style :-(

I think that gin should just calculate the answer; maybe you could have a second function which returns a record containing the GIN and another field containing information about how hard it worked to get the answer (e.g. how many iterations it had to perform). The function gin would then just call the second function, and simply return the value of field containing the answer (discarding the other information).

#4 Updated by Anna Maria Bigatti over 9 years ago

John Abbott wrote:

I notice that the current definition will sometimes (almost never?) print out a message about trying again. This is not good programming style :-(

ok, I modified it adding an optional "verbose" flag

/**/  gin(ideal(y^7-x^4*z^3, x^5*z-y*z^5), "verbose");
-- trying with FloatPrecision 64
-- trying with FloatPrecision 64
ideal(x^6, x^5*y^2, x^4*y^4, x^3*y^6, x^2*y^8, x*y^10, y^12)

#5 Updated by Anna Maria Bigatti over 9 years ago

  • Subject changed from Resurrect code for "gin" (generic initial ideal) to Resume code for "gin" (generic initial ideal)

#6 Updated by Anna Maria Bigatti about 7 years ago

  • Related to Feature #883: gin: return/print a suitable change of variables added

Also available in: Atom PDF