# HG changeset patch
# User Martin Albrecht <malb@informatik.uni-bremen.de>
# Date 1204144986 0
# Node ID 0615f9b1881b1fc93e5eca9d144cab43489441f4
# Parent  a116c48e159fc4d914f1275f3376ead3c7f2b2e6
more polybori coverage

diff -r a116c48e159f -r 0615f9b1881b sage/libs/polybori/decl.pxi
--- a/sage/libs/polybori/decl.pxi	Tue Feb 26 17:52:18 2008 +0000
+++ b/sage/libs/polybori/decl.pxi	Wed Feb 27 20:43:06 2008 +0000
@@ -137,6 +137,7 @@ cdef extern from "pb_wrap.h":
         bint (* isSingleton)()
         PBMonom (* lead)()
         PBMonom (* lexLead)()
+        int (* lexLmDeg)()
         PBMonom (* usedVariables)()
         PBDD (* diagram)()
         PBSet (* set)()
diff -r a116c48e159f -r 0615f9b1881b sage/rings/polynomial/pbori.pyx
--- a/sage/rings/polynomial/pbori.pyx	Tue Feb 26 17:52:18 2008 +0000
+++ b/sage/rings/polynomial/pbori.pyx	Wed Feb 27 20:43:06 2008 +0000
@@ -1820,6 +1820,12 @@ cdef class BooleanPolynomial(MPolynomial
     def lexLead(self):
         return new_BM_from_PBMonom(self._parent._monom_monoid, 
                                                 self._pbpoly.lexLead())
+    def lexLmDeg(self):
+        """
+        Return degree of leading monomial w.r.t to lex ordering
+        """
+        return self._pbpoly.lexLmDeg()
+
     def constant(self):
         return self._pbpoly.isConstant()