; (SETQ SAVENO 2550) 
(DEFPROP $\| %\| VERB) 
(DEFPROP $\| &\| OP) 
(DEFPROP &\| $\| OPR) 
(ADD2LNC (QUOTE &\|) $PROPS) 
(DEFPROP $\| DIMENSION-infix DIMENSION) 
(DEFPROP $\| (32 124 32) DISSYM) 
(DEFPROP $\| 120 LBP) 
(DEFPROP $\| 180 RBP) 
(DEFPROP $\| PARSE-INFIX LED) 
(DEFPROP $\| MSIZE-INFIX GRIND) 
(DEFPROP %\| DIMENSION-infix DIMENSION) 
(DEFPROP %\|  (32 124 32) DISSYM) 
(MDEFPROP $\| ((LAMBDA) ((MLIST) $V $F) ((MPROG SIMP) ((MLIST SIMP)
 $I $J $EXT101 $EXT102 $EXT103 $EXT104) ((MSETQ SIMP) $EXT103 
(($EXPAND SIMP) $F)) ((MSETQ SIMP) $EXT102 ((MTIMES SIMP) 
(($V SIMP ARRAY) 1) (($COEFF SIMP) $EXT103 (($BASIS SIMP ARRAY) 1)))) 
((MDO SIMP) $I 2 NIL NIL $DIM NIL ((MPROGN SIMP) ((MSETQ SIMP) 
$EXT101 (($COEFF SIMP) $EXT103 (($BASIS SIMP ARRAY) $I))) 
((MCOND SIMP) ((MNOTEQUAL SIMP) $EXT101 0) ((MSETQ SIMP) $EXT101
 (($SUBSTITUTE SIMP) (($EXTSUB SIMP ARRAY) $I) $EXT101)) T $FALSE)
 ((MSETQ SIMP) $EXT102 ((MPLUS SIMP) $EXT102 ((MTIMES SIMP) $EXT101
 (($V SIMP ARRAY) $I)))))) ((MRETURN SIMP) (($EXPAND SIMP) $EXT102))))
 MEXPR) 
(ADD2LNC (QUOTE (($\|) $V $F)) $FUNCTIONS) 
(DEFPROP %\| $\| NOUN) 
(DEFPROP $~ %~ VERB) 
(DEFPROP $~ &~ OP) 
(DEFPROP &~ $~ OPR) 
(ADD2LNC (QUOTE &~) $PROPS) 
(DEFPROP $~ DIMENSION-infix DIMENSION) 
(DEFPROP $~ (32 38 32) DISSYM) 
(DEFPROP $~ 140 LBP) 
(DEFPROP $~ 180 RBP) 
(DEFPROP $~ PARSE-INFIX LED) 
(DEFPROP $~ MSIZE-INFIX GRIND) 
(DEFPROP %~ DIMENSION-infix DIMENSION) 
(DEFPROP %~ (32 38 32) DISSYM) 
(MDEFPROP $~ ((LAMBDA) ((MLIST) $F $G) ((MPROG SIMP) ((MLIST SIMP) $I $J $EXT101 $EXT102 $EXT103 $EXT104 $EXT105) ((MSETQ SIMP) $EXT101 0) ((MSETQ SIMP) $EXT102 $TRUE) ((MSETQ SIMP) $EXT103 (($EXPAND SIMP) $F)) ((MDO SIMP) $I $DIM -1 NIL 1 NIL ((MPROGN SIMP) ((MSETQ SIMP) $EXT104 (($EXPAND SIMP) (($BOTHCOEF SIMP) $EXT103 (($BASIS SIMP ARRAY) $I)))) ((MSETQ SIMP) $EXT105 (($FIRST SIMP) $EXT104)) ((MCOND SIMP) ((MNOTEQUAL SIMP) $EXT105 0) ((MPROGN SIMP) ((MSETQ SIMP) $EXT103 (($LAST SIMP) $EXT104)) ((MSETQ SIMP) $DIM ((MPLUS SIMP) -1 $I)) ((MSETQ SIMP) $EXT101 ((MPLUS SIMP) $EXT101 (($~ SIMP) $EXT105 ((MTIMES SIMP) (($BASIS SIMP ARRAY) $I) (($SUBSTITUTE SIMP) (($EXTSUBB SIMP ARRAY) $I) $G))))) ((MSETQ SIMP) $DIM $EXTDIM) ((MSETQ SIMP) $EXT102 $FALSE)) T $FALSE))) ((MCOND SIMP) $EXT102 ((MRETURN SIMP) (($EXPAND SIMP) ((MTIMES SIMP) $F $G))) T ((MRETURN SIMP) (($EXPAND SIMP) $EXT101))))) MEXPR) 
(ADD2LNC (QUOTE (($~) $F $G)) $FUNCTIONS) 
(DEFPROP %~ $~ NOUN) 
(MDEFPROP $D ((LAMBDA) ((MLIST) $F) (($SUM SIMP) (($~ SIMP) 
(($BASIS SIMP ARRAY) $I) (($DIFF SIMP) $F (($COORDS SIMP ARRAY) $I)))
 $I 1 $DIM)) MEXPR) 
(ADD2LNC (QUOTE (($D) $F)) $FUNCTIONS) 
(MDEFPROP $LF ((LAMBDA) ((MLIST) $V $F) ((MPLUS SIMP) (($\| SIMP) $V 
(($D SIMP) $F)) (($D SIMP) (($\| SIMP) $V $F)))) MEXPR) 
(ADD2LNC (QUOTE (($LF) $V $F)) $FUNCTIONS) 
(MDEFPROP $LV ((LAMBDA) ((MLIST) $V $W) ((MPROG SIMP) ((MLIST SIMP) 
$I $J $EXT101) ((MSETQ SIMP) $EXT101 ((MLIST SIMP))) ((MDO SIMP) 
$I 1 NIL NIL $DIM NIL ((MSETQ SIMP) $EXT101 (($ENDCONS SIMP) 
(($SUM SIMP) ((MPLUS SIMP) ((MTIMES SIMP) (($DIFF SIMP)
 (($W SIMP ARRAY) $I) (($COORDS SIMP ARRAY) $J)) (($V SIMP ARRAY) $J))
 ((MTIMES SIMP) -1 (($DIFF SIMP) (($V SIMP ARRAY) $I) 
(($COORDS SIMP ARRAY) $J)) (($W SIMP ARRAY) $J))) $J 1 $DIM) $EXT101)))
 ((MRETURN SIMP) (($EXPAND SIMP) $EXT101)))) MEXPR) 
(ADD2LNC (QUOTE (($LV) $V $W)) $FUNCTIONS) 
(MDEFPROP $EDIT ((LAMBDA) ((MLIST) $F) ((MPROG SIMP) ((MLIST SIMP) $I
 $EXT101 $EXT102 $EXT103 $EXT104 $EXT105) ((MSETQ SIMP) $EXT101 0)
 ((MSETQ SIMP) $EXT102 (($EXPAND SIMP) $F)) ((MDO SIMP) $I $DIM -1 
NIL 1 NIL ((MPROGN SIMP) ((MSETQ SIMP) $EXT103 (($EXPAND SIMP) 
(($BOTHCOEF SIMP) $EXT102 (($BASIS SIMP ARRAY) $I)))) ((MSETQ SIMP)
 $EXT104 (($FIRST SIMP) $EXT103)) ((MCOND SIMP) ((MNOTEQUAL SIMP)
 $EXT104 0) ((MPROGN SIMP) ((MSETQ SIMP) $EXT102 (($LAST SIMP) $EXT103))
 ((MSETQ SIMP) $DIM ((MPLUS SIMP) -1 $I)) ((MSETQ SIMP) $EXT105
 (($EDIT SIMP) $EXT104)) ((MSETQ SIMP) $DIM $EXTDIM) ((MCOND SIMP) 
((MEQUAL SIMP) $EXT105 0) ((MSETQ SIMP) $EXT101 ((MPLUS SIMP) $EXT101
 ((MTIMES SIMP) $EXT104 (($BASIS SIMP ARRAY) $I)))) T ((MCOND SIMP)
 ((MEQUAL SIMP) (($INPART SIMP) $EXT105 0) &+) ((MSETQ SIMP) $EXT101
 ((MPLUS SIMP) $EXT101 (($MULTTHRU SIMP) ((MTIMES SIMP) $EXT105
 (($BASIS SIMP ARRAY) $I))))) T ((MSETQ SIMP) $EXT101 ((MPLUS SIMP)
 $EXT101 ((MTIMES SIMP) $EXT105 (($BASIS SIMP ARRAY) $I))))))) 
T $FALSE))) ((MRETURN SIMP) $EXT101))) MEXPR) 
(ADD2LNC (QUOTE (($EDIT) $F)) $FUNCTIONS) 
(MDEFPROP $BASUB ((LAMBDA) ((MLIST) $F $G $H) ((MPROG SIMP) 
((MLIST SIMP) $I $EXT101 $EXT102 $EXT103 $EXT104) ((MSETQ SIMP)
 $EXT101 (($EXPAND SIMP) $H)) ((MSETQ SIMP) $EXT102 (($EXPAND SIMP)
 (($BOTHCOEF SIMP) $EXT101 $G))) ((MSETQ SIMP) $EXT103 (($FIRST SIMP)
 $EXT102)) ((MCOND SIMP) ((MEQUAL SIMP) $EXT103 0) ((MRETURN SIMP) $H)
 T $FALSE) ((MCOND SIMP) ((MEQUAL SIMP) $G (($BASIS SIMP ARRAY) 1))
 ((MRETURN SIMP) ((MPLUS SIMP) (($LAST SIMP) $EXT102) (($~ SIMP) $F
 $EXT103))) T $FALSE) ((MDO SIMP) $I 2 NIL NIL $DIM NIL ((MCOND SIMP)
 ((MEQUAL SIMP) $G (($BASIS SIMP ARRAY) $I)) ((MRETURN SIMP) 
((MSETQ SIMP) $EXT104 ((MPLUS SIMP) (($LAST SIMP) $EXT102) (($~ SIMP)
 $F (($SUBSTITUTE SIMP) (($EXTSUB SIMP ARRAY) $I) $EXT103))))) 
T $FALSE)) ((MRETURN SIMP) $EXT104))) MEXPR) 
(ADD2LNC (QUOTE (($BASUB) $F $G $H)) $FUNCTIONS)