bug: standardPairs

[antonleykin]

The monomial cones in the decomposition come out not disjoint:

i1 : QQ[x,y,z]; standardPairs monomialIdeal(x*y^3*z, x*y^2*z^2)
                                                            2
o2 = {{1, {y, z}}, {1, {x, z}}, {y, {x, z}}, {1, {x, y}}, {y z, {x}}}

Here 1 is in three sets.

[DanGrayson]

It would be nice if someone would volunteer to fix this.

[antonleykin]

Perhaps the only thing that needs to be changed is the documentation for standardPairs: if condition 3 in the doc is changed to the condition 3 on page 84 of the M2 book then all could be fine. I am copying Greg, who may be the author of standardPairs.

I was initially confused because some people may say "standard pairs" to mean something else: for that condition 3 in the doc would hold, but condition 1 would not.

On Wed, Jun 3, 2015 at 7:52 PM, Daniel R. Grayson [email protected] wrote:

It would be nice if someone would volunteer to fix this.

— Reply to this email directly or view it on GitHub https://github.com/Macaulay2/M2/issues/114#issuecomment-108573451.