Changeset 1810
- Timestamp:
- 2015-06-15T12:53:27-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1809 r1810 405 405 406 406 ;;Simple operators 407 (define-binop ($poly_add poly-add )407 (define-binop ($poly_add poly-add (p q)) 408 408 "Adds two polynomials P and Q") 409 409 410 (define-binop ($poly_subtract poly-sub )410 (define-binop ($poly_subtract poly-sub (p q)) 411 411 "Subtracts a polynomial Q from P.") 412 412 413 (define-binop ($poly_multiply poly-mul )413 (define-binop ($poly_multiply poly-mul (p q)) 414 414 "Returns the product of polynomials P and Q.") 415 415 416 (define-binop ($poly_s_polynomial spoly )416 (define-binop ($poly_s_polynomial spoly (p q)) 417 417 "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.") 418 418 419 (define-unop ($poly_primitive_part poly-primitive-part :env :ring)419 (define-unop ($poly_primitive_part poly-primitive-part (p) :env :ring) 420 420 "Returns the polynomial P divided by GCD of its coefficients.") 421 421 422 (define-unop ($poly_normalize poly-normalize :env :ring)422 (define-unop ($poly_normalize poly-normalize (p) :env :ring) 423 423 "Returns the polynomial P divided by the leading coefficient.") 424 424
Note:
See TracChangeset
for help on using the changeset viewer.