Changeset 1818
- Timestamp:
- 2015-06-15T13:08:54-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1817 r1818 406 406 "Returns the product of polynomials P and Q.") 407 407 408 (define-op ($poly_s_polynomial spoly (p q))408 (define-op $poly_s_polynomial (spoly :ring-and-order p q) 409 409 "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.") 410 410 411 (define-op ($poly_primitive_part poly-primitive-part (p) :env :ring)411 (define-op $poly_primitive_part (poly-primitive-part :ring p) 412 412 "Returns the polynomial P divided by GCD of its coefficients.") 413 413 414 (define-op ($poly_normalize poly-normalize (p) :env :ring)414 (define-op $poly_normalize (poly-normalize :ring p) 415 415 "Returns the polynomial P divided by the leading coefficient.") 416 416 417 |#418 417 419 418 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note:
See TracChangeset
for help on using the changeset viewer.