Project

General

Profile

Slug #1141

IsInRadical: for monomial ideals

Added by John Abbott over 6 years ago. Updated almost 4 years ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
enhancing/improving
Target version:
Start date:
15 Dec 2017
Due date:
% Done:

0%

Estimated time:

Description

Make a faster impl for monomial ideals.

Here is a contrived example of a slug:

Ihomogxy := ideal(x^400,y^400);
f := x*((x^4-1)/(x-1))*y*((y^4-1)/(y-1));
S := support(f);
[MinPowerInIdeal(t, Ihomogxy) | t in S]; --> less than 1 s
MinPowerInIdeal(f, Ihomogxy); --> about 100s
Ihomogxy2 := ideal(x^400+y^401,y^400);
MinPowerInIdeal(f, Ihomogxy2);  --> about 140s


Related issues

Related to CoCoA-5 - Bug #1032: IsInRadical: fragile codeClosed2017-03-17

History

#1 Updated by John Abbott over 6 years ago

  • Related to Bug #1032: IsInRadical: fragile code added

#2 Updated by Anna Maria Bigatti almost 4 years ago

  • Target version changed from CoCoA-5.?.? to CoCoA-5.4.2

Also available in: Atom PDF