Project

General

Profile

Feature #1780

radical for ideals in SparsePolyRing: code in C++

Added by Anna Maria Bigatti 3 months ago. Updated about 1 month ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
New Function
Target version:
CoCoALib-0.99850
Start date:
06 Feb 2024
Due date:
% Done:

100%

Estimated time:
Spent time:
2.70 h

Description

Port the code from the CoCoa-5 package radical.cpkg5 into CoCoALib

Related issues

Related to CoCoALib - Bug #1779: Radical error with lex (again)Closed2024-02-05

Related to CoCoA-5 - Bug #1567: Radical in non-zero charClosed2021-01-21

Related to CoCoA-5 - Bug #1577: radical: lex order, ERROR: Ring is not standard gradedClosed2021-02-15

Related to CoCoALib - Slug #1646: radical: could be more cleverClosed2022-01-17

Related to CoCoALib - Feature #1417: RadicalZeroDim with extra parameter for GBasis timeoutIn Progress2020-02-14

Related to CoCoA-5 - Slug #1390: CoCoA-5 test: radical too slowClosed2020-01-09

Related to CoCoALib - Support #1782: Make CoCoALib test file for radicalNew2024-02-23

Related to CoCoALib - Design #1378: Create two separate radical fns (for 0-dim ideals)New2019-12-20

History

#1 Updated by Anna Maria Bigatti 3 months ago

  • Related to Bug #1779: Radical error with lex (again) added

#2 Updated by Anna Maria Bigatti 3 months ago

  • Related to Bug #1567: Radical in non-zero char added

#3 Updated by Anna Maria Bigatti 3 months ago

  • Related to Bug #1577: radical: lex order, ERROR: Ring is not standard graded added

#4 Updated by Anna Maria Bigatti 3 months ago

  • Related to Slug #1646: radical: could be more clever added

#5 Updated by Anna Maria Bigatti 3 months ago

  • Related to Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout added

#6 Updated by Anna Maria Bigatti 3 months ago

  • % Done changed from 0 to 50

The package was first translated by Alice Moallemy, then fixed by Nicolas Jagersma (2023).
Now it's been officially included in CoCoALib by me (2024), but it needs polishing.

Apart from the few bugs reappearing, there is the question of the IamRadical3Flag which I need to think about. It should all go through myTestIsRadical, ... and now it isn't (I had forced the function radical, instead)

#7 Updated by Anna Maria Bigatti 3 months ago

Anna Maria Bigatti wrote:

It should all go through myTestIsRadical, ... and now it isn't (I had forced the function radical, instead)

I messed things up. What I actually was thinking is that the radical is, well, radical! So it should have the flag set, AS IN myTestIsRadical.

#8 Updated by Anna Maria Bigatti 3 months ago

  • Related to Slug #1390: CoCoA-5 test: radical too slow added

#9 Updated by Anna Maria Bigatti 3 months ago

Now the test from #1390 is fast (in C++), so I re-activated it.

#10 Updated by Anna Maria Bigatti 2 months ago

  • Related to Support #1782: Make CoCoALib test file for radical added

#11 Updated by John Abbott about 1 month ago

  • Related to Design #1378: Create two separate radical fns (for 0-dim ideals) added

#12 Updated by Anna Maria Bigatti about 1 month ago

  • Status changed from New to Closed
  • % Done changed from 50 to 100

The old CoCoA-5 radical code is currently still available as function radical_COCOALANGUAGE in the radical.cpkg5 package

Also available in: Atom PDF