
(/VERSIONCHECK 2) 

(DEFPARAMETER |GcdDomain;AL| 'NIL) 

(DEFUN |GcdDomain| ()
  (LET (#:G3071)
    (COND (|GcdDomain;AL|) (T (SETQ |GcdDomain;AL| (|GcdDomain;|)))))) 

(DEFUN |GcdDomain;| ()
  (PROG (#1=#:G3069)
    (RETURN
     (PROG1
         (LETT #1#
               (|Join| (|IntegralDomain|)
                       (|mkCategory| '|domain|
                                     '(((|gcd| ($ $ $)) T)
                                       ((|gcd| ($ (|List| $))) T)
                                       ((|lcm| ($ $ $)) T)
                                       ((|lcm| ($ (|List| $))) T)
                                       ((|gcdPolynomial|
                                         ((|SparseUnivariatePolynomial| $)
                                          (|SparseUnivariatePolynomial| $)
                                          (|SparseUnivariatePolynomial| $)))
                                        T))
                                     NIL
                                     '((|SparseUnivariatePolynomial| $)
                                       (|List| $))
                                     NIL))
               |GcdDomain|)
       (SETELT #1# 0 '(|GcdDomain|)))))) 

(MAKEPROP '|GcdDomain| 'NILADIC T) 
