Changeset 1818 for branches/f4grobner

Timestamp:

2015-06-15T13:08:54-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -406 +406 @@
   "Returns the product of polynomials P and Q.")
 
-(define-op ($poly_s_polynomial spoly (p q))
+(define-op $poly_s_polynomial (spoly :ring-and-order p q)
   "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
 
-(define-op ($poly_primitive_part poly-primitive-part (p) :env :ring)
+(define-op $poly_primitive_part (poly-primitive-part :ring p) 
   "Returns the polynomial P divided by GCD of its coefficients.")
 
-(define-op ($poly_normalize poly-normalize (p) :env :ring)
+(define-op $poly_normalize (poly-normalize :ring p)
   "Returns the polynomial P divided by the leading coefficient.")
 
-|#
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;