next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
MonomialIntegerPrograms :: IgnorePrimes

IgnorePrimes -- Ignores certain primes when computing top minimal primes.

Description

The option IgnorePrimes should be a list of prime ideals. If a IgnorePrimes is provided, topMinimalPrimesIP will not include any primes containing those ideals in the computation and will find the minimal primes with maximal dimension other than the ignored ones.

i1 : R = QQ[x,y,z,w,v];
i2 : I = monomialIdeal(y^12, x*y^3, z*w^3, z*v*y^10, z*x^10, v*z^10, w*v^10, y*v*x*z*w);

o2 : MonomialIdeal of R
i3 : ScipPrintLevel = 0;
i4 : L1 = topMinimalPrimesIP I

o4 = {monomialIdeal (y, z, w), monomialIdeal (y, z, v)}

o4 : List
i5 : L2 = topMinimalPrimesIP(I, IgnorePrimes=>L1)

o5 = {monomialIdeal (x, y, w, v)}

o5 : List
i6 : minimalPrimes I
../../../../../Macaulay2/m2/option.m2:17:19:(1):[39]: error: encountered an unknown key or option: Generic
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[38]: --back trace--
../../../../../Macaulay2/m2/option.m2:40:8:(1):[37]: --back trace--
../../../../../Macaulay2/packages/MinimalPrimes.m2:231:36:(2):[36]: --back trace--
../../../../../Macaulay2/m2/option.m2:17:8:(1):[35]: --back trace--
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[34]: --back trace--
../../../../../Macaulay2/m2/option.m2:40:8:(1):[33]: --back trace--
../../../../../Macaulay2/m2/classes.m2:72:52:(1):[31]: --back trace--
../../../../../Macaulay2/packages/MinimalPrimes.m2:244:32:(2):[30]: --back trace--
../../../../../Macaulay2/packages/MinimalPrimes.m2:193:45:(2):[29]: --back trace--
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[28]: --back trace--
currentString:6:1:(3):[26]: --back trace--

Caveat

This may not be faster than simply using minimalPrimes and counting generators.

Functions with optional argument named IgnorePrimes :

For the programmer

The object IgnorePrimes is a symbol.