Changeset 1810 for branches/f4grobner

Timestamp:

2015-06-15T12:53:27-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -405 +405 @@
 
 ;;Simple operators
-(define-binop ($poly_add poly-add)
+(define-binop ($poly_add poly-add (p q))
   "Adds two polynomials P and Q")
 
-(define-binop ($poly_subtract poly-sub)
+(define-binop ($poly_subtract poly-sub (p q))
   "Subtracts a polynomial Q from P.")
 
-(define-binop ($poly_multiply poly-mul)
+(define-binop ($poly_multiply poly-mul (p q))
   "Returns the product of polynomials P and Q.")
 
-(define-binop ($poly_s_polynomial spoly)
+(define-binop ($poly_s_polynomial spoly (p q))
   "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
 
-(define-unop ($poly_primitive_part poly-primitive-part :env :ring)
+(define-unop ($poly_primitive_part poly-primitive-part (p) :env :ring)
   "Returns the polynomial P divided by GCD of its coefficients.")
 
-(define-unop ($poly_normalize poly-normalize :env :ring)
+(define-unop ($poly_normalize poly-normalize (p) :env :ring)
   "Returns the polynomial P divided by the leading coefficient.")