close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Ignore:
Timestamp:
2015-06-15T13:08:54-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1817 r1818  
    406406  "Returns the product of polynomials P and Q.")
    407407
    408 (define-op ($poly_s_polynomial spoly (p q))
     408(define-op $poly_s_polynomial (spoly :ring-and-order p q)
    409409  "Returns the syzygy polynomial (S-polynomial) of two polynomials P and Q.")
    410410
    411 (define-op ($poly_primitive_part poly-primitive-part (p) :env :ring)
     411(define-op $poly_primitive_part (poly-primitive-part :ring p)
    412412  "Returns the polynomial P divided by GCD of its coefficients.")
    413413
    414 (define-op ($poly_normalize poly-normalize (p) :env :ring)
     414(define-op $poly_normalize (poly-normalize :ring p)
    415415  "Returns the polynomial P divided by the leading coefficient.")
    416416
    417 |#
    418417
    419418;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note: See TracChangeset for help on using the changeset viewer.