Changeset 3656

Timestamp:

2015-09-05T21:26:21-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (1 diff)

branches/f4grobner/polynomial.lisp

@@ -143 +143 @@
   (:documentation "The second leading term of a polynomial, or NIL for a polynomial with at most one term."))
 
+(defgeneric leading-monomial (object)
+  (:method ((self poly)) 
+    (change-class (copy-instance (leading-term self)) 'monom))
+  (:documentation "The leading monomial of a polynomial, or NIL for zero polynomial."))
+
+(defgeneric second-leading-monomial (object)
+  (:method ((self poly)) 
+    (change-class (copy-instance (second-leading-term self)) 'monom))
+  (:documentation "The leading monomial of a polynomial, or NIL for zero polynomial."))
+
+
+
 (defgeneric leading-coefficient (object)
   (:method ((self poly))
     (term-coeff (leading-term self)))
   (:documentation "The leading coefficient of a polynomial. It signals error for a zero polynomial."))
-
 
 (defgeneric second-leading-coefficient (object)