From 693157bbd6cf2064e1ef0d5edf987475727154e3 Mon Sep 17 00:00:00 2001
From: Colin Alstad <colin@Colins-MacBook-Air.local>
Date: Fri, 9 Feb 2024 10:21:48 -0500
Subject: [PATCH] Add documentation for getMExponent

---
 Valuations/Valuations.m2 | 30 +++++++++++++++++++++++++++++-
 1 file changed, 29 insertions(+), 1 deletion(-)

diff --git a/Valuations/Valuations.m2 b/Valuations/Valuations.m2
index 30ad0e1..9e51930 100644
--- a/Valuations/Valuations.m2
+++ b/Valuations/Valuations.m2
@@ -427,7 +427,6 @@ doc ///
          padicValuation
      ///
 
-
 doc ///
      Key
          padicValuation
@@ -637,6 +636,35 @@ doc ///
          "trivialValuation"
      ///
 
+doc ///
+     Key
+         getMExponent
+         (getMExponent, Ideal, RingElement)
+     Headline
+         Finds the smallest power of an ideal that a given ring element belongs to.
+     Usage
+         n = getMExponent(I, r)
+     Inputs
+         I:Ideal
+             An ideal of R
+         r:RingElement
+             An element of R
+     Outputs
+         n:ZZ
+             Smallest n such that r is in I^n
+     Description
+       Text
+           Returns the smallest power of the ideal $I$ that contains $r$
+       Example
+           R = QQ[x,y];
+           I = ideal(x,y);
+           getMExponent(I, 1 + x + y)
+           getMExponent(I, x^4 + x^2*y^2 + x^7 + y^3)
+           getMExponent(I, x^2 + x*y + y^2)
+     SeeAlso
+        localRingValuation
+     ///
+
 doc ///
       Key
           Valuations