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.

Changeset 3676


Ignore:
Timestamp:
2015-09-06T05:27:46-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3673 r3676  
    436436         (multiply g (change-class mg 'term :coeff cf)))))))
    437437
     438(defgeneric poly-content (object)
     439  (:documentation "Greatest common divisor of the coefficients of the polynomial object OBJECT.")
     440  (reduce #'universal-gcd (mapcar #'term-coeff (rest (poly-termlist p))) :initial-value (leading-coefficient p)))
     441
    438442#|
    439443
    … …  
    442446  (declare (type ring ring))
    443447  (polysaturation-extension ring f (list p)))
    444 
    445 
    446 
    447 
    448 
    449448
    450449(defun poly-primitive-part (ring p)
    … …  
    464463                c))))
    465464
    466 (defun poly-content (ring p)
    467   "Greatest common divisor of the coefficients of the polynomial P. Use the RING structure
    468 to compute the greatest common divisor."
    469   (declare (type ring ring) (type poly p))
    470   (reduce (ring-gcd ring) (mapcar #'term-coeff (rest (poly-termlist p))) :initial-value (poly-lc p)))
    471465
    472466|#
Note: See TracChangeset for help on using the changeset viewer.