
(/VERSIONCHECK 2) 

(DEFUN |LINDEP;aNonZeroSolution| (|m| $)
  (PROG (|ns|)
    (RETURN
      (COND
        ((NULL (LETT |ns| (SPADCALL |m| (QREFELT $ 10))
                     |LINDEP;aNonZeroSolution|))
         (CONS 1 "failed"))
        ('T (CONS 0 (|SPADfirst| |ns|))))))) 

(DEFUN |LINDEP;linearlyDependent?;VB;2| (|v| $)
  (PROG (|n|)
    (RETURN
      (COND
        ((ZEROP (LETT |n| (QVSIZE |v|)
                      |LINDEP;linearlyDependent?;VB;2|))
         'T)
        ((EQL |n| 1)
         (SPADCALL
             (SPADCALL |v| (SPADCALL |v| (QREFELT $ 15))
                 (QREFELT $ 16))
             (QREFELT $ 18)))
        ('T
         (SPADCALL
             (SPADCALL
                 (SPADCALL (SPADCALL |v| (QREFELT $ 20))
                     (QREFELT $ 22))
                 (QREFELT $ 24))
             (QREFELT $ 25))))))) 

(DEFUN |LINDEP;linearDependence;VU;3| (|v| $)
  (PROG (|n|)
    (RETURN
      (COND
        ((ZEROP (LETT |n| (QVSIZE |v|) |LINDEP;linearDependence;VU;3|))
         (CONS 0 (GETREFV 0)))
        ((EQL |n| 1)
         (COND
           ((SPADCALL
                (SPADCALL |v| (SPADCALL |v| (QREFELT $ 15))
                    (QREFELT $ 16))
                (QREFELT $ 18))
            (CONS 0 (SPADCALL 1 (|spadConstant| $ 11) (QREFELT $ 28))))
           ('T (CONS 1 "failed"))))
        ('T
         (|LINDEP;aNonZeroSolution|
             (SPADCALL (SPADCALL |v| (QREFELT $ 20)) (QREFELT $ 22)) $)))))) 

(DEFUN |LINDEP;solveLinear;VRU;4| (|v| |c| $)
  (PROG (|sys|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |c| (QREFELT $ 18))
              (CONS 0
                    (SPADCALL (QVSIZE |v|) (|spadConstant| $ 31)
                        (QREFELT $ 28))))
             ((SPADCALL |v| (QREFELT $ 32)) (CONS 1 "failed"))
             ('T
              (SEQ (LETT |sys|
                         (SPADCALL (SPADCALL |v| (QREFELT $ 20))
                             (SPADCALL 1 |c| (QREFELT $ 33))
                             (QREFELT $ 36))
                         |LINDEP;solveLinear;VRU;4|)
                   (EXIT (SPADCALL (QCAR |sys|) (QCDR |sys|)
                             (QREFELT $ 38)))))))))) 

(DEFUN |LINDEP;solveLinear;VRU;5| (|v| |c| $)
  (PROG (|sys|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |c| (QREFELT $ 18))
              (CONS 0
                    (SPADCALL (QVSIZE |v|) (|spadConstant| $ 41)
                        (QREFELT $ 43))))
             ((SPADCALL |v| (QREFELT $ 32)) (CONS 1 "failed"))
             ('T
              (SEQ (LETT |sys|
                         (SPADCALL (SPADCALL |v| (QREFELT $ 20))
                             (SPADCALL 1 |c| (QREFELT $ 33))
                             (QREFELT $ 36))
                         |LINDEP;solveLinear;VRU;5|)
                   (EXIT (SPADCALL
                             (SPADCALL
                                 (CONS #'|LINDEP;solveLinear;VRU;5!0|
                                       $)
                                 (QCAR |sys|) (QREFELT $ 48))
                             (SPADCALL
                                 (CONS #'|LINDEP;solveLinear;VRU;5!1|
                                       $)
                                 (QCDR |sys|) (QREFELT $ 50))
                             (QREFELT $ 53)))))))))) 

(DEFUN |LINDEP;solveLinear;VRU;5!1| (|#1| $)
  (SPADCALL |#1| (QREFELT $ 44))) 

(DEFUN |LINDEP;solveLinear;VRU;5!0| (|#1| $)
  (SPADCALL |#1| (QREFELT $ 44))) 

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

(DEFUN |LinearDependence;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ #0=#:G1861 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #1=(|LinearDependence|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT |dv$| (LIST '|LinearDependence| DV$1 DV$2) . #1#)
        (LETT $ (GETREFV 55) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (LETT #0#
                                  (|HasCategory| |#1| '(|Field|)) . #1#)
                            (|not| #0#))) . #1#))
        (|haddProp| |$ConstructorCache| '|LinearDependence|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (COND
          ((|testBitVector| |pv$| 1)
           (QSETREFV $ 39
               (CONS (|dispatchFunction| |LINDEP;solveLinear;VRU;4|) $)))
          ('T
           (QSETREFV $ 54
               (CONS (|dispatchFunction| |LINDEP;solveLinear;VRU;5|) $))))
        $)))) 

(MAKEPROP '|LinearDependence| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|List| 27) (|Matrix| 6) (0 . |nullSpace|) (5 . |One|)
             (9 . |One|) (|Integer|) (|Vector| 7) (13 . |minIndex|)
             (18 . |elt|) (|Boolean|) (24 . |zero?|) (|Matrix| 7)
             (29 . |transpose|) (|Matrix| $) (34 . |reducedSystem|)
             (|NonNegativeInteger|) (39 . |nullity|) (44 . |positive?|)
             |LINDEP;linearlyDependent?;VB;2| (|Vector| 6) (49 . |new|)
             (|Union| 27 '"failed") |LINDEP;linearDependence;VU;3|
             (55 . |Zero|) (59 . |empty?|) (64 . |new|)
             (|Record| (|:| |mat| 9) (|:| |vec| 27)) (|Vector| $)
             (70 . |reducedSystem|)
             (|LinearSystemMatrixPackage| 6 27 27 9)
             (76 . |particularSolution|) (82 . |solveLinear|)
             (|Fraction| 6) (88 . |Zero|) (|Vector| 40) (92 . |new|)
             (98 . |coerce|) (|Matrix| 40) (|Mapping| 40 6)
             (|MatrixCategoryFunctions2| 6 27 27 9 40 42 42 45)
             (103 . |map|) (|VectorFunctions2| 6 40) (109 . |map|)
             (|Union| 42 '"failed")
             (|LinearSystemMatrixPackage| 40 42 42 45)
             (115 . |particularSolution|) (121 . |solveLinear|))
          '#(|solveLinear| 127 |linearlyDependent?| 139
             |linearDependence| 144)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 54
                                '(1 9 8 0 10 0 6 0 11 0 7 0 12 1 14 13
                                  0 15 2 14 7 0 13 16 1 7 17 0 18 1 19
                                  0 14 20 1 7 9 21 22 1 9 23 0 24 1 13
                                  17 0 25 2 27 0 23 6 28 0 6 0 31 1 14
                                  17 0 32 2 14 0 23 7 33 2 7 34 21 35
                                  36 2 37 29 9 27 38 2 0 29 14 7 39 0
                                  40 0 41 2 42 0 23 40 43 1 40 0 6 44 2
                                  47 45 46 9 48 2 49 42 46 27 50 2 52
                                  51 45 42 53 2 0 51 14 7 54 2 1 29 14
                                  7 39 2 2 51 14 7 54 1 0 17 14 26 1 0
                                  29 14 30)))))
          '|lookupComplete|)) 
