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 4256


Ignore:
Timestamp:
2016-06-04T20:31:11-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r4219 r4256  
    2222
    2323(defpackage "POLYNOMIAL"
    24   (:use :cl :utils :monom :copy)
     24  (:use :cl :utils :monom :copy :ring)
    2525  (:export "POLY"
    2626           "POLY-DIMENSION"
    … …  
    533533      :termlist (apply #'nconc (mapcar #'poly-termlist plist))))))
    534534
    535 (defgeneric universal-ezgcd (x y)
    536   (:documentation "Solves the diophantine system: X=C*X1, Y=C*X2,
    537 C=GCD(X,Y).  It returns C, X1 and Y1. The result may be obtained by
    538 the Euclidean algorithm.")
    539   (:method ((x integer) (y integer)
    540             &aux (c (gcd x y)))
    541     (values c (/ x c) (/ y c)))
    542   )
    543 
    544535(defgeneric s-polynomial (object1 object2)
    545536  (:documentation "Yields the S-polynomial of OBJECT1 and OBJECT2.")
Note: See TracChangeset for help on using the changeset viewer.