
(/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 #0=#:G1835)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1836)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|LinearOrdinaryDifferentialOperator|)
                       '|domainEqualList|)
                   . #2=(|LinearOrdinaryDifferentialOperator|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function|
                                 |LinearOrdinaryDifferentialOperator;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|LinearOrdinaryDifferentialOperator|))))))))))) 

(DEFUN |LinearOrdinaryDifferentialOperator;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|LinearOrdinaryDifferentialOperator|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$|
              (LIST '|LinearOrdinaryDifferentialOperator| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 46) . #0#)
        (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|)))) . #0#))
        (|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| $))
             (|Fraction| 39) (|Union| 37 '"failed") (|Integer|)
             (|Union| 39 '"failed") (|List| 6) (|Union| 6 '"failed")
             (|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 * 426)
          '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| 37)
                               (|RetractableTo| 39))
                            (|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 38 0 1
                                  1 3 40 0 1 1 0 42 0 1 1 2 37 0 1 1 3
                                  39 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 37 1
                                  1 0 0 6 1 1 0 0 39 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 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0
                                  1 2 0 0 0 29 1 2 0 0 0 44 1 2 0 0 0 6
                                  1 2 0 0 6 0 1 2 0 0 39 0 1 2 0 0 0 0
                                  1 2 0 0 29 0 1 2 0 0 44 0 1)))))
          '|lookupComplete|)) 
