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 3653


Ignore:
Timestamp:
2015-09-05T21:19:16-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3652 r3653  
    393393      :termlist (apply #'nconc (mapcar #'poly-termlist plist))))))
    394394
     395(defgeneric universal-ezgcd (x y)
     396  (:documentation "Solves the diophantine system: X=C*X1, Y=C*X2,
     397C=GCD(X,Y).  It returns C, X1 and Y1. The result may be obtained by
     398the Euclidean algorithm.")
     399  (:method ((x integer) (y integer)
     400            &aux (c (gcd x y)))
     401    (values c (/ x c) (/ y c)))
     402  )
     403
     404
     405
    395406(defgeneric spoly (object1 object2)
    396407  (:documentation "Yields the S-polynomial of OBJECT1 and OBJECT2.")
Note: See TracChangeset for help on using the changeset viewer.