From a1e33960ef3711db20d600e885d9ee32bd269440 Mon Sep 17 00:00:00 2001 From: Mahrud Sayrafi Date: Sun, 11 Aug 2024 00:10:54 +0200 Subject: [PATCH] fixed a couple of monomial ideal multiply methods --- M2/Macaulay2/m2/monideal.m2 | 2 +- M2/Macaulay2/packages/Macaulay2Doc/doc.m2 | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/M2/Macaulay2/m2/monideal.m2 b/M2/Macaulay2/m2/monideal.m2 index 0b42d26fb7..da47e660f6 100644 --- a/M2/Macaulay2/m2/monideal.m2 +++ b/M2/Macaulay2/m2/monideal.m2 @@ -44,7 +44,7 @@ MonomialIdeal - MonomialIdeal := MonomialIdeal => ((I, J) -> newMonomialIdeal(ri MonomialIdeal * Ring := MonomialIdeal => (I, S) -> if ring I === S then I else monomialIdeal(generators I ** S) Ring * MonomialIdeal := MonomialIdeal => (S, I) -> I ** S -RingElement * MonomialIdeal := ZZ * MonomialIdeal := MonomialIdeal => (r, I) -> monomialIdeal(r * generators I) +RingElement * MonomialIdeal := Number * MonomialIdeal := MonomialIdeal => (r, I) -> monomialIdeal(r * generators I) ----------------------------------------------------------------------------- -- Basic methods (specifically those which are distinct from Ideal) diff --git a/M2/Macaulay2/packages/Macaulay2Doc/doc.m2 b/M2/Macaulay2/packages/Macaulay2Doc/doc.m2 index 2e3fc7e8bf..5e2d948117 100644 --- a/M2/Macaulay2/packages/Macaulay2Doc/doc.m2 +++ b/M2/Macaulay2/packages/Macaulay2Doc/doc.m2 @@ -32,7 +32,7 @@ undocumented { (symbol*, ZZ, GradedModuleMap), (symbol*, InfiniteNumber, InfiniteNumber), (symbol*, ZZ, Module), - (symbol*, ZZ, MonomialIdeal), + (symbol*, Number, MonomialIdeal), (symbol*, String), (symbol*, ZZ, ChainComplexMap), } @@ -415,7 +415,7 @@ document { (symbol //, RingElement, Number), (symbol //, Number, InfiniteNumber), (symbol //, Number, Matrix), - (symbol //, ZZ, MonomialIdeal) + (symbol //, Number, MonomialIdeal) }, Headline => "a binary operator, usually used for quotient", Usage => "x // y",