fixed a couple of monomial ideal multiply methods

Macaulay2 · Aug 10, 2024 · a1e3396 · a1e3396
1 parent 50995b7
commit a1e3396
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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",