
(/VERSIONCHECK 2) 

(DEFUN |LODO;coerce;$Of;1| (|l| $) (SPADCALL |l| (QREFELT $ 18) (QREFELT $ 19))) 

(DEFUN |LODO;elt;$2A;2| (|p| |a| $)
  (SPADCALL |p| (|spadConstant| $ 22) |a| (QREFELT $ 23))) 

(DEFUN |LODO;symmetricProduct;3$;3| (|a| |b| $)
  (SPADCALL |a| |b| (QREFELT $ 7) (QREFELT $ 27))) 

(DEFUN |LODO;symmetricPower;$Nni$;4| (|a| |n| $)
  (SPADCALL |a| |n| (QREFELT $ 7) (QREFELT $ 30))) 

(DEFUN |LODO;directSum;3$;5| (|a| |b| $)
  (SPADCALL |a| |b| (QREFELT $ 7) (QREFELT $ 32))) 

(DEFUN |LinearOrdinaryDifferentialOperator| (&REST #1=#:G681)
  (PROG ()
    (RETURN
     (PROG (#2=#:G682)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|LinearOrdinaryDifferentialOperator|)
                                           '|domainEqualList|)
                . #3=(|LinearOrdinaryDifferentialOperator|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (APPLY (|function| |LinearOrdinaryDifferentialOperator;|)
                         #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache|
                    '|LinearOrdinaryDifferentialOperator|))))))))))) 

(DEFUN |LinearOrdinaryDifferentialOperator;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|)
            . #1=(|LinearOrdinaryDifferentialOperator|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|LinearOrdinaryDifferentialOperator| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 46) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (|HasCategory| |#1| '(|GcdDomain|))
                                          (|HasCategory| |#1| '(|Field|))))
                      . #1#))
      (|haddProp| |$ConstructorCache| '|LinearOrdinaryDifferentialOperator|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 12
                (|SparseUnivariateSkewPolynomial| |#1| (|spadConstant| $ 11)
                                                  |#2|))
      (QSETREFV $ 18 (SPADCALL (SPADCALL "D" (QREFELT $ 15)) (QREFELT $ 17)))
      (COND
       ((|testBitVector| |pv$| 6)
        (PROGN
         (QSETREFV $ 28
                   (CONS (|dispatchFunction| |LODO;symmetricProduct;3$;3|) $))
         (QSETREFV $ 31
                   (CONS (|dispatchFunction| |LODO;symmetricPower;$Nni$;4|) $))
         (QSETREFV $ 33 (CONS (|dispatchFunction| |LODO;directSum;3$;5|) $)))))
      $)))) 

(MAKEPROP '|LinearOrdinaryDifferentialOperator| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL
              (|SparseUnivariateSkewPolynomial| 6
                                                (NRTEVAL (|spadConstant| $ 11))
                                                7)
              (|local| |#1|) (|local| |#2|) (0 . |One|) (4 . |One|)
              (|Automorphism| 6) (8 . |One|) '|Rep| (|String|) (|Symbol|)
              (12 . |coerce|) (|OutputForm|) (17 . |coerce|) '|outputD|
              (22 . |outputForm|) |LODO;coerce;$Of;1| (28 . |Zero|)
              (32 . |Zero|) (36 . |apply|) |LODO;elt;$2A;2| (|Mapping| 6 6)
              (|LinearOrdinaryDifferentialOperatorsOps| 6 $$)
              (43 . |symmetricProduct|) (50 . |symmetricProduct|)
              (|NonNegativeInteger|) (56 . |symmetricPower|)
              (63 . |symmetricPower|) (69 . |directSum|) (76 . |directSum|)
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Union| $ '"failed")
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Union| 38 '#1="failed") (|Fraction| 40) (|Union| 40 '#1#)
              (|Integer|) (|List| 6) (|Union| 6 '#1#) (|Boolean|)
              (|PositiveInteger|) (|SingleInteger|))
           '#(~= 82 |zero?| 88 |symmetricSquare| 93 |symmetricProduct| 98
              |symmetricPower| 104 |subtractIfCan| 110 |sample| 116
              |rightRemainder| 120 |rightQuotient| 126 |rightLcm| 132
              |rightGcd| 138 |rightExtendedGcd| 144 |rightExactQuotient| 150
              |rightDivide| 156 |retractIfCan| 162 |retract| 177 |reductum| 192
              |recip| 197 |primitivePart| 202 |one?| 207 |monomial| 212
              |monicRightDivide| 218 |monicLeftDivide| 224 |minimumDegree| 230
              |leftRemainder| 235 |leftQuotient| 241 |leftLcm| 247 |leftGcd|
              253 |leftExtendedGcd| 259 |leftExactQuotient| 265 |leftDivide|
              271 |leadingCoefficient| 277 |latex| 282 |hash| 287 |exquo| 292
              |elt| 298 |directSum| 304 |degree| 310 |content| 315 |coerce| 320
              |coefficients| 340 |coefficient| 345 |characteristic| 351 |apply|
              355 |adjoint| 362 ^ 367 |Zero| 379 |One| 383 D 387 = 391 - 397 +
              408 * 414)
           'NIL
           (CONS
            (|makeByteWordVec2| 3
                                '(0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                                  0 0 2 3))
            (CONS
             '#(|LinearOrdinaryDifferentialOperatorCategory&|
                |UnivariateSkewPolynomialCategory&| |Algebra&| |Module&|
                |Ring&| NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL
                |AbelianMonoid&| |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                |FullyRetractableTo&| |SetCategory&| NIL |RetractableTo&| NIL
                |BasicType&| NIL |RetractableTo&| |RetractableTo&|)
             (CONS
              '#((|LinearOrdinaryDifferentialOperatorCategory| 6)
                 (|UnivariateSkewPolynomialCategory| 6) (|Algebra| 6)
                 (|Module| 6) (|Ring|) (|BiModule| 6 6) (|Rng|)
                 (|LeftModule| 6) (|RightModule| 6) (|LeftModule| $$)
                 (|AbelianGroup|) (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|AbelianMonoid|) (|Monoid|) (|SemiRng|) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|FullyRetractableTo| 6) (|SetCategory|)
                 (|Eltable| 6 6) (|RetractableTo| 6) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 16) (|RetractableTo| 38)
                 (|RetractableTo| 40))
              (|makeByteWordVec2| 45
                                  '(0 0 0 8 0 6 0 9 0 10 0 11 1 14 0 13 15 1 14
                                    16 0 17 2 12 16 0 16 19 0 0 0 21 0 6 0 22 3
                                    0 6 0 6 6 23 3 26 2 2 2 25 27 2 0 0 0 0 28
                                    3 26 2 2 29 25 30 2 0 0 0 29 31 3 26 2 2 2
                                    25 32 2 0 0 0 0 33 2 0 43 0 0 1 1 0 43 0 1
                                    1 6 0 0 1 2 6 0 0 0 28 2 6 0 0 29 31 2 0 35
                                    0 0 1 0 0 0 1 2 6 0 0 0 1 2 6 0 0 0 1 2 6 0
                                    0 0 1 2 6 0 0 0 1 2 6 34 0 0 1 2 6 35 0 0 1
                                    2 6 36 0 0 1 1 2 37 0 1 1 3 39 0 1 1 0 42 0
                                    1 1 2 38 0 1 1 3 40 0 1 1 0 6 0 1 1 0 0 0 1
                                    1 0 35 0 1 1 5 0 0 1 1 0 43 0 1 2 0 0 6 29
                                    1 2 4 36 0 0 1 2 4 36 0 0 1 1 0 29 0 1 2 6
                                    0 0 0 1 2 6 0 0 0 1 2 6 0 0 0 1 2 6 0 0 0 1
                                    2 6 34 0 0 1 2 6 35 0 0 1 2 6 36 0 0 1 1 0
                                    6 0 1 1 0 13 0 1 1 0 45 0 1 2 4 35 0 6 1 2
                                    0 6 0 6 24 2 6 0 0 0 33 1 0 29 0 1 1 5 6 0
                                    1 1 2 0 38 1 1 0 0 6 1 1 0 0 40 1 1 0 16 0
                                    20 1 0 41 0 1 2 0 6 0 29 1 0 0 29 1 3 0 6 0
                                    6 6 23 1 0 0 0 1 2 0 0 0 29 1 2 0 0 0 44 1
                                    0 0 0 21 0 0 0 8 0 0 0 1 2 0 43 0 0 1 2 0 0
                                    0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0 6 0 1 2 0
                                    0 0 6 1 2 0 0 0 0 1 2 0 0 40 0 1 2 0 0 29 0
                                    1 2 0 0 44 0 1)))))
           '|lookupComplete|)) 
