Changeset 3528

Timestamp:

2015-09-05T15:13:02-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -148 +148 @@
   (:documentation "The leading coefficient of a polynomial. It signals error for a zero polynomial."))
 
-;; Second coefficient
+;; Leading monomial
+(defgeneric poly-leading-monomial (object)
+  (:method ((self poly))
+    (car (poly-leading-term self)))
+  (:documentation "The leading monomial of a polynomial. It signals error for a zero polynomial."))
+
+;; Second leading coefficient
 (defgeneric second-leading-coefficient (object)
   (:method ((self poly)) 
     (cdr (poly-second-leading-term self)))
   (:documentation "The second leading coefficient of a polynomial. It
+  signals error for a polynomial with at most one term."))
+
+;; Second leading coefficient
+(defgeneric second-leading-monomial (object)
+  (:method ((self poly)) 
+    (car (poly-second-leading-term self)))
+  (:documentation "The second leading monomial of a polynomial. It
   signals error for a polynomial with at most one term."))