From 59ee32d3d8a37cad83662c9ea509acb3886d144c Mon Sep 17 00:00:00 2001
From: Mahrud Sayrafi <mahrud@berkeley.edu>
Date: Thu, 7 Dec 2023 01:32:09 -0600
Subject: [PATCH] added elimination methods for LeftIdeals

---
 M2/Macaulay2/packages/Elimination.m2 | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/M2/Macaulay2/packages/Elimination.m2 b/M2/Macaulay2/packages/Elimination.m2
index 69c09b8c842..9fdb64d2253 100644
--- a/M2/Macaulay2/packages/Elimination.m2
+++ b/M2/Macaulay2/packages/Elimination.m2
@@ -81,6 +81,7 @@ eliminate1 = (elimindices,I) -> (
      ideal mingens ideal toR selectInSubring(1,generators gb J)
      )
 
+eliminate(List, LeftIdeal) :=
 eliminate (List, Ideal) := (v,I) -> (     
      R := ring I;
      -- if R is a quotient ring, then give error
@@ -92,8 +93,11 @@ eliminate (List, Ideal) := (v,I) -> (
      eliminate1(varlist, I)
      )
 
+eliminate(LeftIdeal, RingElement) :=
 eliminate (Ideal, RingElement) := (I,v) -> eliminate({v},I)
+eliminate(LeftIdeal, List) :=
 eliminate (Ideal, List) := (I,v) -> eliminate(v,I)
+eliminate(RingElement, LeftIdeal) :=
 eliminate(RingElement, Ideal) := (v,I) -> eliminate({v},I)
 
 -----------------------------------------------
@@ -175,6 +179,10 @@ document {
 
 
 undocumented {
+	  (eliminate, RingElement, LeftIdeal),
+	  (eliminate, LeftIdeal, RingElement),
+	  (eliminate, List, LeftIdeal),
+	  (eliminate, LeftIdeal, List),
 	  (eliminate, Ideal, RingElement), 
 	  (eliminate, Ideal, List)
      }