
(/VERSIONCHECK 2) 

(DEFPARAMETER |XFreeAlgebra;CAT| 'NIL) 

(DEFPARAMETER |XFreeAlgebra;AL| 'NIL) 

(DEFUN |XFreeAlgebra| (&REST #1=#:G14501)
  (LET (#2=#:G14502)
    (COND
     ((SETQ #2# (|assoc| #3=(|devaluateList| #1#) |XFreeAlgebra;AL|))
      (CDR #2#))
     (T
      (SETQ |XFreeAlgebra;AL|
              (|cons5| (CONS #3# (SETQ #2# (APPLY #'|XFreeAlgebra;| #1#)))
                       |XFreeAlgebra;AL|))
      #2#)))) 

(DEFUN |XFreeAlgebra;| (|t#1| |t#2|)
  (PROG (#1=#:G14500)
    (RETURN
     (PROG1
         (LETT #1#
               (|sublisV|
                (PAIR '(|t#1| |t#2|)
                      (LIST (|devaluate| |t#1|) (|devaluate| |t#2|)))
                (|sublisV|
                 (PAIR '(#2=#:G14499) (LIST '(|OrderedFreeMonoid| |t#1|)))
                 (COND (|XFreeAlgebra;CAT|)
                       ('T
                        (LETT |XFreeAlgebra;CAT|
                              (|Join| (|Ring|) (|XAlgebra| '|t#2|)
                                      (|RetractableTo| '#2#)
                                      (|mkCategory| '|domain|
                                                    '(((* ($ |t#1| $)) T)
                                                      ((* ($ $ |t#2|)) T)
                                                      ((|mindeg|
                                                        ((|OrderedFreeMonoid|
                                                          |t#1|)
                                                         $))
                                                       T)
                                                      ((|mindegTerm|
                                                        ((|Record|
                                                          (|:| |k|
                                                               (|OrderedFreeMonoid|
                                                                |t#1|))
                                                          (|:| |c| |t#2|))
                                                         $))
                                                       T)
                                                      ((|coef|
                                                        (|t#2| $
                                                         (|OrderedFreeMonoid|
                                                          |t#1|)))
                                                       T)
                                                      ((|coef| (|t#2| $ $)) T)
                                                      ((|lquo| ($ $ |t#1|)) T)
                                                      ((|lquo|
                                                        ($ $
                                                         (|OrderedFreeMonoid|
                                                          |t#1|)))
                                                       T)
                                                      ((|lquo| ($ $ $)) T)
                                                      ((|rquo| ($ $ |t#1|)) T)
                                                      ((|rquo|
                                                        ($ $
                                                         (|OrderedFreeMonoid|
                                                          |t#1|)))
                                                       T)
                                                      ((|rquo| ($ $ $)) T)
                                                      ((|monom|
                                                        ($
                                                         (|OrderedFreeMonoid|
                                                          |t#1|)
                                                         |t#2|))
                                                       T)
                                                      ((|monomial?|
                                                        ((|Boolean|) $))
                                                       T)
                                                      ((|mirror| ($ $)) T)
                                                      ((|coerce| ($ |t#1|)) T)
                                                      ((|constant?|
                                                        ((|Boolean|) $))
                                                       T)
                                                      ((|constant| (|t#2| $))
                                                       T)
                                                      ((|quasiRegular?|
                                                        ((|Boolean|) $))
                                                       T)
                                                      ((|quasiRegular| ($ $))
                                                       T)
                                                      ((|sh| ($ $ $))
                                                       (|has| |t#2|
                                                              (|CommutativeRing|)))
                                                      ((|sh|
                                                        ($ $
                                                         (|NonNegativeInteger|)))
                                                       (|has| |t#2|
                                                              (|CommutativeRing|)))
                                                      ((|map|
                                                        ($
                                                         (|Mapping| |t#2|
                                                                    |t#2|)
                                                         $))
                                                       T)
                                                      ((|varList|
                                                        ((|List| |t#1|) $))
                                                       T))
                                                    '(((|noZeroDivisors|)
                                                       (|has| |t#2|
                                                              (|noZeroDivisors|))))
                                                    '((|List| |t#1|)
                                                      (|NonNegativeInteger|)
                                                      (|Boolean|)
                                                      (|OrderedFreeMonoid|
                                                       |t#1|))
                                                    NIL))
                              . #3=(|XFreeAlgebra|))))))
               . #3#)
       (SETELT #1# 0
               (LIST '|XFreeAlgebra| (|devaluate| |t#1|)
                     (|devaluate| |t#2|))))))) 
