
(SDEFUN |LODO;coerce;%Of;1| ((|l| (%)) (% (|OutputForm|)))
        (SPADCALL |l| (QREFELT % 16) (QREFELT % 17))) 

(SDEFUN |LODO;elt;%2A;2| ((|p| (%)) (|a| (A)) (% (A)))
        (SPADCALL |p| (|spadConstant| % 20) |a| (QREFELT % 21))) 

(SDEFUN |LODO;symmetricProduct;3%;3| ((|a| (%)) (|b| (%)) (% (%)))
        (SPADCALL |a| |b| (QREFELT % 7) (QREFELT % 25))) 

(SDEFUN |LODO;symmetricPower;%Nni%;4|
        ((|a| (%)) (|n| (|NonNegativeInteger|)) (% (%)))
        (SPADCALL |a| |n| (QREFELT % 7) (QREFELT % 28))) 

(SDEFUN |LODO;directSum;3%;5| ((|a| (%)) (|b| (%)) (% (%)))
        (SPADCALL |a| |b| (QREFELT % 7) (QREFELT % 30))) 

(DECLAIM (NOTINLINE |LinearOrdinaryDifferentialOperator;|)) 

(DEFUN |LinearOrdinaryDifferentialOperator| (&REST #1=#:G63)
  (SPROG NIL
         (PROG (#2=#:G64)
           (RETURN
            (COND
             ((LETT #2#
                    (|lassocShiftWithFunction| (|devaluate_sig| #1# '(T NIL))
                                               (HGET |$ConstructorCache|
                                                     '|LinearOrdinaryDifferentialOperator|)
                                               '|domainEqualList|))
              (|CDRwithIncrement| #2#))
             ('T
              (UNWIND-PROTECT
                  (PROG1
                      (APPLY (|function| |LinearOrdinaryDifferentialOperator;|)
                             #1#)
                    (LETT #2# T))
                (COND
                 ((NOT #2#)
                  (HREM |$ConstructorCache|
                        '|LinearOrdinaryDifferentialOperator|)))))))))) 

(DEFUN |LinearOrdinaryDifferentialOperator;| (|#1| |#2|)
  (SPROG
   ((|pv$| NIL) (#1=#:G60 NIL) (#2=#:G62 NIL) (#3=#:G61 NIL) (% NIL)
    (|dv$| NIL) (DV$2 NIL) (DV$1 NIL))
   (PROGN
    (LETT DV$1 (|devaluate| |#1|))
    (LETT DV$2 |#2|)
    (LETT |dv$| (LIST '|LinearOrdinaryDifferentialOperator| DV$1 DV$2))
    (LETT % (GETREFV 61))
    (QSETREFV % 0 |dv$|)
    (QSETREFV % 3
              (LETT |pv$|
                    (|buildPredVector| 0 0
                                       (LIST
                                        (|HasCategory| |#1|
                                                       '(|Algebra|
                                                         (|Fraction|
                                                          (|Integer|))))
                                        (|HasCategory| |#1|
                                                       '(|CharacteristicNonZero|))
                                        (|HasCategory| |#1|
                                                       '(|CharacteristicZero|))
                                        (|HasCategory| |#1| '(|EntireRing|))
                                        (|HasCategory| |#1|
                                                       '(|CommutativeRing|))
                                        (|HasCategory| |#1|
                                                       '(|RetractableTo|
                                                         (|Fraction|
                                                          (|Integer|))))
                                        (|HasCategory| |#1|
                                                       '(|RetractableTo|
                                                         (|Integer|)))
                                        (|HasCategory| |#1|
                                                       '(|canonicalUnitNormal|))
                                        (|HasCategory| |#1| '(|Comparable|))
                                        (|HasCategory| |#1| '(|Ring|))
                                        (OR
                                         (|HasCategory| |#1|
                                                        '(|Algebra|
                                                          (|Fraction|
                                                           (|Integer|))))
                                         (|HasCategory| |#1|
                                                        '(|CharacteristicNonZero|))
                                         (|HasCategory| |#1|
                                                        '(|CharacteristicZero|))
                                         (|HasCategory| |#1|
                                                        '(|CommutativeRing|))
                                         (|HasCategory| |#1| '(|EntireRing|))
                                         (|HasCategory| |#1| '(|Ring|)))
                                        (|HasCategory| |#1| '(|AbelianGroup|))
                                        (|HasCategory| |#1| '(|SemiRing|))
                                        (|HasCategory| (|NonNegativeInteger|)
                                                       '(|Comparable|))
                                        (|HasCategory| |#1|
                                                       '(|IntegralDomain|))
                                        (OR
                                         (|HasCategory| |#1|
                                                        '(|Algebra|
                                                          (|Fraction|
                                                           (|Integer|))))
                                         (|HasCategory| |#1|
                                                        '(|RetractableTo|
                                                          (|Fraction|
                                                           (|Integer|)))))
                                        (|HasCategory| |#1| '(|GcdDomain|))
                                        (LETT #3#
                                              (|HasCategory| |#1|
                                                             '(|LinearlyExplicitOver|
                                                               (|Integer|))))
                                        (LETT #2#
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|LinearlyExplicitOver|
                                                                (|Integer|)))
                                               (|HasCategory| |#1| '(|Ring|))))
                                        (OR
                                         (AND
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          #3#)
                                         (AND #3#
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicNonZero|)))
                                         (AND #3#
                                              (|HasCategory| |#1|
                                                             '(|CharacteristicZero|)))
                                         (AND #3#
                                              (|HasCategory| |#1|
                                                             '(|CommutativeRing|)))
                                         #2#)
                                        (|HasCategory| (|Integer|)
                                                       '(|AbelianMonoid|))
                                        (|HasCategory| |#1| '(|AbelianMonoid|))
                                        (|HasCategory| (|Integer|)
                                                       '(|AbelianGroup|))
                                        (LETT #1#
                                              (|HasCategory| |#1|
                                                             '(|CancellationAbelianMonoid|)))
                                        (OR
                                         (AND
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory|
                                           (|Fraction| (|Integer|))
                                           '(|AbelianMonoid|)))
                                         (|HasCategory| |#1| '(|AbelianGroup|))
                                         (|HasCategory| |#1|
                                                        '(|AbelianMonoid|))
                                         #1#)
                                        (OR
                                         (|HasCategory| |#1| '(|AbelianGroup|))
                                         #1#)
                                        (|HasCategory| |#1| '(|Field|))))))
    (|haddProp| |$ConstructorCache| '|LinearOrdinaryDifferentialOperator|
                (LIST DV$1 DV$2) (CONS 1 %))
    (|stuffDomainSlots| %)
    (QSETREFV % 6 |#1|)
    (QSETREFV % 7 |#2|)
    (AND
     (OR
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|))))
     (|augmentPredVector| % 134217728))
    (AND (|HasCategory| % '(|CommutativeRing|))
         (|augmentPredVector| % 268435456))
    (AND
     (OR (|HasCategory| |#1| '(|EntireRing|))
         (AND (|HasCategory| |#1| '(|IntegralDomain|))
              (|HasCategory| % '(|VariablesCommuteWithCoefficients|))))
     (|augmentPredVector| % 536870912))
    (AND
     (OR (|HasCategory| |#1| '(|Algebra| (|Fraction| (|Integer|))))
         (|HasCategory| |#1| '(|CommutativeRing|))
         (AND (|HasCategory| |#1| '(|IntegralDomain|))
              (|HasCategory| % '(|VariablesCommuteWithCoefficients|))))
     (|augmentPredVector| % 1073741824))
    (AND
     (OR (|HasCategory| |#1| '(|RetractableTo| (|Integer|)))
         (AND (|HasCategory| |#1| '(|CommutativeRing|))
              (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
         (AND (|HasCategory| |#1| '(|IntegralDomain|))
              (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
         (|HasCategory| |#1| '(|Ring|)))
     (|augmentPredVector| % 2147483648))
    (AND
     (OR
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (|HasCategory| |#1| '(|SemiRing|)))
     (|augmentPredVector| % 4294967296))
    (AND
     (OR
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (|HasCategory| |#1| '(|Ring|)))
     (|augmentPredVector| % 8589934592))
    (AND
     (OR
      (AND #3# (|HasCategory| |#1| '(|Ring|))
           (|HasCategory| (|Integer|) '(|AbelianMonoid|)))
      (|HasCategory| |#1| '(|AbelianMonoid|))
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (|HasCategory| % '(|AbelianMonoid|)))
     (|augmentPredVector| % 17179869184))
    (AND
     (OR
      (AND #3# (|HasCategory| |#1| '(|Ring|))
           (|HasCategory| (|Integer|) '(|AbelianGroup|)))
      (AND (|HasCategory| |#1| '(|AbelianGroup|))
           (|HasCategory| |#1| '(|CommutativeRing|)))
      (AND (|HasCategory| |#1| '(|AbelianGroup|))
           (|HasCategory| |#1| '(|Ring|)))
      #1#
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (|HasCategory| % '(|AbelianGroup|)))
     (|augmentPredVector| % 34359738368))
    (AND
     (OR
      (AND #3# (|HasCategory| |#1| '(|Ring|))
           (|HasCategory| (|Integer|) '(|AbelianGroup|)))
      (|HasCategory| |#1| '(|AbelianGroup|))
      (AND (|HasCategory| |#1| '(|CommutativeRing|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (AND (|HasCategory| |#1| '(|IntegralDomain|))
           (|HasCategory| % '(|VariablesCommuteWithCoefficients|)))
      (|HasCategory| % '(|AbelianGroup|)))
     (|augmentPredVector| % 68719476736))
    (SETF |pv$| (QREFELT % 3))
    (QSETREFV % 12
              (|SparseUnivariateSkewPolynomial| |#1| (|spadConstant| % 11)
                                                |#2|))
    (QSETREFV % 16 (SPADCALL 'D (QREFELT % 15)))
    (COND
     ((|testBitVector| |pv$| 27)
      (PROGN
       (QSETREFV % 26
                 (CONS (|dispatchFunction| |LODO;symmetricProduct;3%;3|) %))
       (QSETREFV % 29
                 (CONS (|dispatchFunction| |LODO;symmetricPower;%Nni%;4|) %))
       (QSETREFV % 31 (CONS (|dispatchFunction| |LODO;directSum;3%;5|) %)))))
    %))) 

(MAKEPROP '|LinearOrdinaryDifferentialOperator| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL
              (|SparseUnivariateSkewPolynomial| 6
                                                (NRTEVAL (|spadConstant| % 11))
                                                (NRTEVAL (QREFELT % 7)))
              (|local| |#1|) (|local| |#2|) (0 . |One|) (4 . |One|)
              (|Automorphism| 6) (8 . |One|) '|Rep| (|OutputForm|) (|Symbol|)
              (12 . |coerce|) '|outputD| (17 . |outputForm|)
              |LODO;coerce;%Of;1| (23 . |Zero|) (27 . |Zero|) (31 . |apply|)
              |LODO;elt;%2A;2| (|Mapping| 6 6)
              (|LinearOrdinaryDifferentialOperatorsOps| 6 $$)
              (38 . |symmetricProduct|) (45 . |symmetricProduct|)
              (|NonNegativeInteger|) (51 . |symmetricPower|)
              (58 . |symmetricPower|) (64 . |directSum|) (71 . |directSum|)
              (|Boolean|) (|String|) (|PositiveInteger|)
              (|Record| (|:| |k| 27) (|:| |c| 6)) (|List| 35) (|List| %)
              (|List| 6) (|List| 27) (|Union| 6 '#1="failed") (|Mapping| 27 27)
              (|List| 43) (|SingletonAsOrderedSet|) (|Union| 43 '"failed")
              (|Matrix| 47) (|Matrix| %) (|Integer|)
              (|Record| (|:| |mat| 45) (|:| |vec| (|Vector| 47))) (|Vector| %)
              (|Union| % '"failed")
              (|Record| (|:| |unit| %) (|:| |canonical| %) (|:| |associate| %))
              (|Fraction| 47) (|Mapping| 6 27)
              (|Record| (|:| |quotient| %) (|:| |remainder| %))
              (|Record| (|:| |coef1| %) (|:| |coef2| %) (|:| |generator| %))
              (|Record| (|:| |generator| %) (|:| |coef1| %) (|:| |coef2| %)
                        (|:| |coefu| %) (|:| |coefv| %))
              (|Union| 52 '#1#) (|Union| 47 '#1#)
              (|Record| (|:| |mat| 60) (|:| |vec| (|Vector| 6))) (|Matrix| 6))
           '#(~= 77 |zero?| 83 |variables| 88 |unitNormal| 93 |unitCanonical|
              98 |unit?| 103 |totalDegreeSorted| 108 |totalDegree| 114
              |symmetricSquare| 125 |symmetricProduct| 130 |symmetricPower| 136
              |support| 142 |subtractIfCan| 147 |smaller?| 153 |sample| 159
              |right_ext_ext_GCD| 163 |rightRemainder| 169 |rightRecip| 175
              |rightQuotient| 180 |rightPower| 186 |rightLcm| 198 |rightGcd|
              204 |rightExtendedGcd| 210 |rightExactQuotient| 216 |rightDivide|
              222 |retractIfCan| 228 |retract| 243 |reductum| 258
              |reducedSystem| 263 |recip| 285 |primitivePart| 290
              |primitiveMonomials| 295 |pomopo!| 300 |plenaryPower| 308
              |opposite?| 314 |one?| 320 |numberOfMonomials| 325 |monomials|
              330 |monomial?| 335 |monomial| 340 |monicRightDivide| 360
              |monicLeftDivide| 366 |minimumDegree| 372 |mapExponents| 377
              |map| 383 |mainVariable| 389 |listOfTerms| 394 |linearExtend| 399
              |leftRemainder| 405 |leftRecip| 411 |leftQuotient| 416
              |leftPower| 422 |leftLcm| 434 |leftGcd| 440 |leftExtendedGcd| 446
              |leftExactQuotient| 452 |leftDivide| 458 |leadingTerm| 464
              |leadingSupport| 469 |leadingMonomial| 474 |leadingCoefficient|
              479 |latex| 484 |ground?| 489 |ground| 494 |fmecg| 499 |exquo|
              507 |elt| 519 |directSum| 525 |degree| 531 |content| 548
              |constructOrdered| 553 |construct| 558 |commutator| 563 |coerce|
              569 |coefficients| 594 |coefficient| 599 |charthRoot| 619
              |characteristic| 624 |binomThmExpt| 628 |associator| 635
              |associates?| 642 |apply| 648 |antiCommutator| 655 |annihilate?|
              661 |adjoint| 667 ^ 672 |Zero| 684 |One| 688 D 692 = 696 / 702 -
              708 + 719 * 725)
           'NIL
           (CONS
            (|makeByteWordVec2| 26
                                '(0 0 0 0 0 5 4 3 2 1 11 5 13 11 1 0 10 5 1 0 0
                                  10 20 10 1 0 0 0 11 20 1 1 0 0 0 0 0 12 13 13
                                  26 13 25 0 0 9 0 0 0 7 6 0 0 10 8 7 6 4 0 0 0
                                  0))
            (CONS
             '#(|LinearOrdinaryDifferentialOperatorCategory&|
                |UnivariateSkewPolynomialCategory&|
                |MaybeSkewPolynomialCategory&| |FiniteAbelianMonoidRing&|
                |AbelianMonoidRing&| |Algebra&| |EntireRing&| NIL NIL
                |Algebra&| NIL |NonAssociativeAlgebra&| NIL |Rng&|
                |NonAssociativeAlgebra&| |FreeModuleCategory&|
                |FullyLinearlyExplicitOver&| |Module&| |Module&| NIL NIL
                |NonAssociativeRing&| NIL NIL NIL NIL NIL NIL
                |NonAssociativeRng&| NIL NIL NIL NIL NIL NIL NIL NIL
                |AbelianGroup&| NIL NIL NIL |MagmaWithUnit&| |AbelianMonoid&|
                NIL |NonAssociativeSemiRng&| NIL |AbelianSemiGroup&| |Magma&|
                |FullyRetractableTo&| |RetractableTo&| |RetractableTo&|
                |SetCategory&| |RetractableTo&| NIL NIL NIL NIL NIL NIL
                |BasicType&| NIL NIL)
             (CONS
              '#((|LinearOrdinaryDifferentialOperatorCategory| 6)
                 (|UnivariateSkewPolynomialCategory| 6)
                 (|MaybeSkewPolynomialCategory| 6 27 43)
                 (|FiniteAbelianMonoidRing| 6 27) (|AbelianMonoidRing| 6 27)
                 (|Algebra| 6) (|EntireRing|) (|CharacteristicZero|)
                 (|CharacteristicNonZero|) (|Algebra| 52) (|Ring|)
                 (|NonAssociativeAlgebra| 6) (|SemiRing|) (|Rng|)
                 (|NonAssociativeAlgebra| 52) (|FreeModuleCategory| 6 27)
                 (|FullyLinearlyExplicitOver| 6) (|Module| 6) (|Module| 52)
                 (|IndexedDirectProductCategory| 6 27) (|SemiRng|)
                 (|NonAssociativeRing|) (|LinearlyExplicitOver| 47)
                 (|LinearlyExplicitOver| 6) (|BiModule| 52 52)
                 (|BiModule| $$ $$) (|BiModule| 6 6)
                 (|IndexedProductCategory| 6 27) (|NonAssociativeRng|)
                 (|RightModule| 47) (|RightModule| 52) (|LeftModule| 52)
                 (|LeftModule| $$) (|RightModule| $$) (|RightModule| 6)
                 (|LeftModule| 6) (|AbelianProductCategory| 6) (|AbelianGroup|)
                 (|Monoid|) (|NonAssociativeSemiRing|)
                 (|CancellationAbelianMonoid|) (|MagmaWithUnit|)
                 (|AbelianMonoid|) (|SemiGroup|) (|NonAssociativeSemiRng|)
                 (|Comparable|) (|AbelianSemiGroup|) (|Magma|)
                 (|FullyRetractableTo| 6) (|RetractableTo| 47)
                 (|RetractableTo| 52) (|SetCategory|) (|RetractableTo| 6)
                 (|unitsKnown|) (|canonicalUnitNormal|) (|CoercibleFrom| 47)
                 (|CoercibleFrom| 52) (|noZeroDivisors|) (|CoercibleTo| 13)
                 (|BasicType|) (|CoercibleFrom| 6) (|Eltable| 6 6))
              (|makeByteWordVec2| 60
                                  '(0 0 0 8 0 6 0 9 0 10 0 11 1 14 13 0 15 2 12
                                    13 0 13 17 0 0 0 19 0 6 0 20 3 0 6 0 6 6 21
                                    3 24 2 2 2 23 25 2 0 0 0 0 26 3 24 2 2 27
                                    23 28 2 0 0 0 27 29 3 24 2 2 2 23 30 2 0 0
                                    0 0 31 2 0 32 0 0 1 1 35 32 0 1 1 0 42 0 1
                                    1 30 51 0 1 1 30 0 0 1 1 30 32 0 1 2 0 27 0
                                    42 1 2 0 27 0 42 1 1 0 27 0 1 1 27 0 0 1 2
                                    27 0 0 0 26 2 27 0 0 27 29 1 0 39 0 1 2 36
                                    50 0 0 1 2 9 32 0 0 1 0 35 0 1 2 27 56 0 0
                                    1 2 27 0 0 0 1 1 33 50 0 1 2 27 0 0 0 1 2 0
                                    0 0 34 1 2 33 0 0 27 1 2 27 0 0 0 1 2 27 0
                                    0 0 1 2 27 55 0 0 1 2 27 50 0 0 1 2 27 54 0
                                    0 1 1 0 40 0 1 1 6 57 0 1 1 7 58 0 1 1 0 6
                                    0 1 1 6 52 0 1 1 7 47 0 1 1 14 0 0 1 1 19
                                    45 46 1 2 19 48 46 49 1 2 10 59 46 49 1 1
                                    10 60 46 1 1 33 50 0 1 1 17 0 0 1 1 13 37 0
                                    1 4 0 0 0 6 27 0 1 2 31 0 0 34 1 2 35 32 0
                                    0 1 1 33 32 0 1 1 0 27 0 1 1 0 37 0 1 1 0
                                    32 0 1 2 0 0 6 27 1 3 0 0 0 42 39 1 3 0 0 0
                                    43 27 1 2 15 54 0 0 1 2 15 54 0 0 1 1 0 27
                                    0 1 2 0 0 41 0 1 2 0 0 23 0 1 1 0 44 0 1 1
                                    0 36 0 1 2 5 6 53 0 1 2 27 0 0 0 1 1 33 50
                                    0 1 2 27 0 0 0 1 2 0 0 0 34 1 2 33 0 0 27 1
                                    2 27 0 0 0 1 2 27 0 0 0 1 2 27 55 0 0 1 2
                                    27 50 0 0 1 2 27 54 0 0 1 1 14 35 0 1 1 14
                                    27 0 1 1 14 0 0 1 1 14 6 0 1 1 0 33 0 1 1 0
                                    32 0 1 1 0 6 0 1 4 10 0 0 27 6 0 1 2 30 50
                                    0 0 1 2 4 50 0 6 1 2 0 6 0 6 22 2 27 0 0 0
                                    31 1 0 27 0 1 2 0 39 0 42 1 2 0 27 0 43 1 1
                                    17 6 0 1 1 14 0 36 1 1 0 0 36 1 2 34 0 0 0
                                    1 1 0 13 0 18 1 0 0 6 1 1 28 0 0 1 1 32 0
                                    47 1 1 16 0 52 1 1 0 38 0 1 2 0 6 0 27 1 3
                                    0 0 0 42 39 1 3 0 0 0 43 27 1 1 2 50 0 1 0
                                    34 27 1 3 29 0 0 0 27 1 3 34 0 0 0 0 1 2 30
                                    32 0 0 1 3 0 6 0 6 6 21 2 0 0 0 0 1 2 34 32
                                    0 0 1 1 0 0 0 1 2 0 0 0 34 1 2 33 0 0 27 1
                                    0 35 0 19 0 33 0 8 0 0 0 1 2 0 32 0 0 1 2
                                    27 0 0 6 1 1 37 0 0 1 2 37 0 0 0 1 2 0 0 0
                                    0 1 2 0 0 34 0 1 2 0 0 0 0 1 2 0 0 0 6 1 2
                                    0 0 6 0 1 2 19 0 0 47 1 2 37 0 47 0 1 2 35
                                    0 27 0 1 2 1 0 52 0 1 2 1 0 0 52 1)))))
           '|lookupComplete|)) 
