Slug #1141
IsInRadical: for monomial ideals
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
History
#1 Updated by John Abbott over 6 years ago
- Related to Bug #1032: IsInRadical: fragile code added
#2 Updated by Anna Maria Bigatti about 4 years ago
- Target version changed from CoCoA-5.?.? to CoCoA-5.4.2