
(/VERSIONCHECK 2) 

(DEFUN |ZLINDEP;linearlyDependentOverZ?;VB;1| (|v| $)
  (SPADCALL |v| (QREFELT $ 10))) 

(DEFUN |ZLINDEP;linearDependenceOverZ;VU;2| (|v| $)
  (SPADCALL |v| (QREFELT $ 13))) 

(DEFUN |ZLINDEP;solveLinearlyOverQ;VRU;3| (|v| |c| $)
  (SPADCALL |v| |c| (QREFELT $ 16))) 

(DEFUN |IntegerLinearDependence| (#0=#:G1831)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1832)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache|
                             '|IntegerLinearDependence|)
                       '|domainEqualList|)
                   . #2=(|IntegerLinearDependence|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|IntegerLinearDependence;| #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache| '|IntegerLinearDependence|))))))))))) 

(DEFUN |IntegerLinearDependence;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|IntegerLinearDependence|))
        (LETT |dv$| (LIST '|IntegerLinearDependence| DV$1) . #0#)
        (LETT $ (GETREFV 18) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|IntegerLinearDependence|
            (LIST DV$1) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|IntegerLinearDependence| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|)
             (|Vector| 6) (|LinearDependence| (|Integer|) 6)
             (0 . |linearlyDependent?|)
             |ZLINDEP;linearlyDependentOverZ?;VB;1|
             (|Union| (|Vector| (|Integer|)) '"failed")
             (5 . |linearDependence|)
             |ZLINDEP;linearDependenceOverZ;VU;2|
             (|Union| (|Vector| (|Fraction| (|Integer|))) '"failed")
             (10 . |solveLinear|) |ZLINDEP;solveLinearlyOverQ;VRU;3|)
          '#(|solveLinearlyOverQ| 16 |linearlyDependentOverZ?| 22
             |linearDependenceOverZ| 27)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 17
                                '(1 9 7 8 10 1 9 12 8 13 2 9 15 8 6 16
                                  2 0 15 8 6 17 1 0 7 8 11 1 0 12 8 14)))))
          '|lookupComplete|)) 
