- Timestamp:
- 2015-06-15T12:42:32-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1804 r1805 399 399 400 400 ;;Simple operators 401 (define-binop $poly_add poly-add401 (define-binop ($poly_add poly-add) 402 402 "Adds two polynomials P and Q") 403 403 404 (define-binop $poly_subtract poly-sub404 (define-binop ($poly_subtract poly-sub) 405 405 "Subtracts a polynomial Q from P.") 406 406 407 (define-binop $poly_multiply poly-mul407 (define-binop ($poly_multiply poly-mul) 408 408 "Returns the product of polynomials P and Q.") 409 409 410 (define-binop $poly_s_polynomial spoly410 (define-binop ($poly_s_polynomial spoly) 411 411 "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.") 412 412 413 (define-unop $poly_primitive_part poly-primitive-part413 (define-unop ($poly_primitive_part poly-primitive-part) 414 414 "Returns the polynomial P divided by GCD of its coefficients.") 415 415 416 (define-unop $poly_normalize poly-normalize416 (define-unop ($poly_normalize poly-normalize) 417 417 "Returns the polynomial P divided by the leading coefficient.") 418 418
Note:
See TracChangeset
for help on using the changeset viewer.