
(PUT '|FPOSET;finitePoset;LL$;1| '|SPADreplace| 'CONS) 

(SDEFUN |FPOSET;finitePoset;LL$;1|
        ((|carrier| |List| S) (|struct1| |List| (|List| (|Boolean|))) ($ $))
        (CONS |carrier| |struct1|)) 

(SDEFUN |FPOSET;finitePoset;LM$;2|
        ((|carrier| |List| S) (|pred| |Mapping| (|Boolean|) S S) ($ $))
        (SPROG
         ((|struct1| (|List| (|List| (|Boolean|)))) (#1=#:G705 NIL) (|x| NIL)
          (#2=#:G704 NIL) (#3=#:G703 NIL) (|y| NIL) (#4=#:G702 NIL))
         (SEQ
          (LETT |struct1|
                (PROGN
                 (LETT #4# NIL . #5=(|FPOSET;finitePoset;LM$;2|))
                 (SEQ (LETT |y| NIL . #5#) (LETT #3# |carrier| . #5#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |y| (CAR #3#) . #5#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #4#
                              (CONS
                               (PROGN
                                (LETT #2# NIL . #5#)
                                (SEQ (LETT |x| NIL . #5#)
                                     (LETT #1# |carrier| . #5#) G190
                                     (COND
                                      ((OR (ATOM #1#)
                                           (PROGN
                                            (LETT |x| (CAR #1#) . #5#)
                                            NIL))
                                       (GO G191)))
                                     (SEQ
                                      (EXIT
                                       (LETT #2#
                                             (CONS (SPADCALL |x| |y| |pred|)
                                                   #2#)
                                             . #5#)))
                                     (LETT #1# (CDR #1#) . #5#) (GO G190) G191
                                     (EXIT (NREVERSE #2#))))
                               #4#)
                              . #5#)))
                      (LETT #3# (CDR #3#) . #5#) (GO G190) G191
                      (EXIT (NREVERSE #4#))))
                . #5#)
          (EXIT (CONS |carrier| |struct1|))))) 

(PUT '|FPOSET;getVert;$L;3| '|SPADreplace| 'QCAR) 

(SDEFUN |FPOSET;getVert;$L;3| ((|s| $) ($ |List| S)) (QCAR |s|)) 

(PUT '|FPOSET;getArr;$L;4| '|SPADreplace| 'QCDR) 

(SDEFUN |FPOSET;getArr;$L;4| ((|s| $) ($ |List| (|List| (|Boolean|))))
        (QCDR |s|)) 

(SDEFUN |FPOSET;setVert;$LV;5| ((|s| $) (|v| |List| S) ($ |Void|))
        (SEQ (PROGN (RPLACA |s| |v|) (QCAR |s|))
             (EXIT (SPADCALL (QREFELT $ 16))))) 

(SDEFUN |FPOSET;setArr;$LV;6|
        ((|s| $) (|v| |List| (|List| (|Boolean|))) ($ |Void|))
        (SEQ (PROGN (RPLACD |s| |v|) (QCDR |s|))
             (EXIT (SPADCALL (QREFELT $ 16))))) 

(DECLAIM (NOTINLINE |FinitePoset;|)) 

(DEFUN |FinitePoset| (#1=#:G728)
  (SPROG NIL
         (PROG (#2=#:G729)
           (RETURN
            (COND
             ((LETT #2#
                    (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                               (HGET |$ConstructorCache|
                                                     '|FinitePoset|)
                                               '|domainEqualList|)
                    . #3=(|FinitePoset|))
              (|CDRwithIncrement| #2#))
             ('T
              (UNWIND-PROTECT (PROG1 (|FinitePoset;| #1#) (LETT #2# T . #3#))
                (COND
                 ((NOT #2#) (HREM |$ConstructorCache| '|FinitePoset|)))))))))) 

(DEFUN |FinitePoset;| (|#1|)
  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL))
         (PROGN
          (LETT DV$1 (|devaluate| |#1|) . #1=(|FinitePoset|))
          (LETT |dv$| (LIST '|FinitePoset| DV$1) . #1#)
          (LETT $ (GETREFV 41) . #1#)
          (QSETREFV $ 0 |dv$|)
          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
          (|haddProp| |$ConstructorCache| '|FinitePoset| (LIST DV$1)
                      (CONS 1 $))
          (|stuffDomainSlots| $)
          (QSETREFV $ 6 |#1|)
          (SETF |pv$| (QREFELT $ 3))
          (QSETREFV $ 7
                    (|Record| (|:| |set1| (|List| |#1|))
                              (|:| |struct1| (|List| (|List| (|Boolean|))))))
          $))) 

(MAKEPROP '|FinitePoset| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep| (|List| 6)
              (|List| (|List| 20)) |FPOSET;finitePoset;LL$;1|
              (|Mapping| 20 6 6) |FPOSET;finitePoset;LM$;2|
              |FPOSET;getVert;$L;3| |FPOSET;getArr;$L;4| (|Void|) (0 . |void|)
              |FPOSET;setVert;$LV;5| |FPOSET;setArr;$LV;6|
              (|IncidenceAlgebra| 24 6) (|Boolean|) (|NonNegativeInteger|)
              (|Union| 21 '"failed") (|List| 21) (|Integer|) (|String|)
              (|List| $) (|Scene| (|SCartesian| '2)) (|Matrix| 24)
              (|Matrix| 21) (|List| (|Loop|)) (|List| 32) (|Tree| 24)
              (|Record| (|:| |name| 25) (|:| |arrType| 21) (|:| |fromOb| 21)
                        (|:| |toOb| 21) (|:| |xOffset| 24) (|:| |yOffset| 24)
                        (|:| |map| 23))
              (|List| 33) (|DirectedGraph| $)
              (|Record| (|:| |value| 6) (|:| |posX| 21) (|:| |posY| 21))
              (|List| 36) (|OutputForm|) (|HashState|) (|SingleInteger|))
           '#(~= 4 |zetaMatrix| 10 |upperSet| 15 |unit| 20 |terminal| 26
              |subdiagramSvg| 31 |spanningTreeNode| 39 |spanningTreeArrow| 45
              |spanningForestNode| 51 |spanningForestArrow| 56 |setVert| 61
              |setArr| 67 |routeNodes| 73 |routeArrows| 80 |powerSetStructure|
              87 |outDegree| 92 |opposite| 98 |objectToIndex| 103 |nodeToNode|
              109 |nodeToArrow| 115 |nodeFromNode| 121 |nodeFromArrow| 127
              |moebius| 133 |min| 138 |merge| 149 |meetIfCan| 155 |max| 168
              |mapContra| 179 |map| 188 |lub| 197 |lowerSet| 203 |looseEquals|
              208 |loopsNodes| 214 |loopsAtNode| 219 |loopsArrows| 225 |le| 230
              |latex| 237 |laplacianMatrix| 242 |kgraph| 247 |joinIfCan| 253
              |isGreaterThan?| 266 |isFunctional?| 273 |isFixPoint?| 278
              |isDirected?| 284 |isDirectSuccessor?| 288 |isChain?| 295
              |isAntisymmetric?| 300 |isAntiChain?| 305 |isAcyclic?| 310
              |initial| 315 |indexToObject| 319 |incidenceMatrix| 325
              |inDegree| 330 |implies| 336 |hashUpdate!| 343 |hash| 349 |glb|
              354 |getVertices| 360 |getVertexIndex| 365 |getVert| 371
              |getArrows| 376 |getArrowIndex| 381 |getArr| 388 |flatten| 393
              |finitePoset| 398 |distanceMatrix| 410 |distance| 415
              |diagramsSvg| 422 |diagramWidth| 429 |diagramSvg| 434
              |diagramHeight| 441 |deepDiagramSvg| 446 |cycleOpen| 453
              |cycleClosed| 459 |createY| 465 |createX| 471 |createWidth| 477
              |coverMatrix| 482 |completeTransitivity| 487
              |completeReflexivity| 492 |coerce| 497 |arrowsToNode| 507
              |arrowsToArrow| 513 |arrowsFromNode| 519 |arrowsFromArrow| 525
              |arrowName| 531 |adjacencyMatrix| 538 |addObject!| 543
              |addArrow!| 555 = 593 + 599)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0))
                 (CONS
                  '#(|Poset&| NIL |FiniteGraph&| |SetCategory&| NIL
                     |BasicType&|)
                  (CONS
                   '#((|Poset| 6) (|Preorder| 6) (|FiniteGraph| 6)
                      (|SetCategory|) (|CoercibleTo| 38) (|BasicType|))
                   (|makeByteWordVec2| 40
                                       '(0 15 0 16 2 0 20 0 0 1 1 0 19 0 1 1 0
                                         0 0 1 2 0 0 8 25 1 1 0 0 6 1 4 0 15 27
                                         0 20 20 1 2 0 32 0 21 1 2 0 32 0 21 1
                                         1 0 31 0 1 1 0 31 0 1 2 0 15 0 8 17 2
                                         0 15 0 9 18 3 0 23 0 21 21 1 3 0 23 0
                                         21 21 1 1 0 0 6 1 2 0 21 0 21 1 1 0 0
                                         0 1 2 0 21 0 6 1 2 0 23 0 21 1 2 0 23
                                         0 21 1 2 0 23 0 21 1 2 0 23 0 21 1 1 0
                                         19 0 1 2 0 21 0 23 1 1 0 21 0 1 2 0 0
                                         0 0 1 2 0 22 0 23 1 3 0 22 0 21 21 1 2
                                         0 21 0 23 1 1 0 21 0 1 5 0 0 0 23 8 24
                                         24 1 5 0 0 0 23 8 24 24 1 2 0 22 0 23
                                         1 1 0 0 0 1 2 0 20 0 0 1 1 0 30 0 1 2
                                         0 30 0 21 1 1 0 30 0 1 3 0 20 0 21 21
                                         1 1 0 25 0 1 1 0 28 0 1 2 0 0 8 25 1 2
                                         0 22 0 23 1 3 0 22 0 21 21 1 3 0 20 0
                                         21 21 1 1 0 20 0 1 2 0 20 0 21 1 0 0
                                         20 1 3 0 20 0 21 21 1 1 0 20 0 1 1 0
                                         20 0 1 1 0 20 0 1 1 0 20 0 1 0 0 0 1 2
                                         0 6 0 21 1 1 0 28 0 1 2 0 21 0 21 1 3
                                         0 20 0 21 21 1 2 0 39 39 0 1 1 0 40 0
                                         1 2 0 22 0 23 1 1 0 37 0 1 2 0 21 0 6
                                         1 1 0 8 0 13 1 0 34 0 1 3 0 21 0 21 21
                                         1 1 0 9 0 14 1 0 0 35 1 2 0 0 8 9 10 2
                                         0 0 8 11 12 1 0 28 0 1 3 0 24 0 21 21
                                         1 3 0 15 25 26 20 1 1 0 21 0 1 3 0 15
                                         25 0 20 1 1 0 21 0 1 3 0 15 25 0 20 1
                                         2 0 0 8 25 1 2 0 0 8 25 1 2 0 21 21 21
                                         1 2 0 21 21 21 1 1 0 21 21 1 1 0 19 0
                                         1 1 0 0 0 1 1 0 0 0 1 1 0 38 0 1 1 0
                                         38 0 1 2 0 23 0 21 1 2 0 23 0 21 1 2 0
                                         23 0 21 1 2 0 23 0 21 1 3 0 25 0 21 21
                                         1 1 0 29 0 1 2 0 0 0 6 1 2 0 0 0 36 1
                                         3 0 0 0 21 21 1 4 0 0 0 25 6 6 1 4 0 0
                                         0 25 21 21 1 5 0 0 0 25 21 21 23 1 2 0
                                         0 0 33 1 2 0 20 0 0 1 2 0 0 0 0 1)))))
           '|lookupComplete|)) 
