Merge branch 'master' into rtoy-generate-command-line-texi-table

[maxima.git] / archive / share / trash / recur.lisp

;;; -*- Mode: LISP; Package: Macsyma; -*- Saved by ELLEN
(SETQ SAVENO 2970.) 
(MDEFPROP $POLYP ((LAMBDA) ((MLIST) $G $N) ((MPROG) ((MLIST) $D $F $C) ((MSETQ) $G (($RATEXPAND) $G)) ((MCOND) (($FREEOF) $N $G) ((MRETURN) T) T $FALSE) ((MSETQ) $D (($HIPOW) $G $N)) ((MSETQ) $F T) ((MDO) $I $D ((MMINUS) 1.) NIL 0. NIL ((MPROGN) ((MSETQ) $C (($COEFF) $G $N $I)) ((MCOND) ((MNOT) (($FREEOF) $N $C)) ((MSETQ) $F NIL) T $FALSE) ((MSETQ) $G (($RATEXPAND) ((MPLUS) $G ((MMINUS) ((MTIMES) $C ((MEXPT) $N $I)))))))) ((MRETURN) (($IS) ((MAND) ((MEQUAL) $G 0.) $F))))) MEXPR) 
(ARGS (QUOTE $POLYP) (QUOTE (NIL . 2.))) 
(MDEFPROP $POLYINN ((LAMBDA) ((MLIST) $X $N) ((MPROG) ((MLIST) $B $E) ((MCOND) ((MEQUAL) (($INPART) $X 0.) &*) ((MRETURN) ((MAND) (($POLYINN) (($INPART) $G 1.) $N) (($POLYINN) (($INPART) $G 2.) $N))) T $FALSE) ((MCOND) ((MNOTEQUAL) (($INPART) $X 0.) &**) ((MRETURN) NIL) T $FALSE) ((MSETQ) $B (($INPART) $X 1.)) ((MSETQ) $E (($INPART) $X 2.)) ((MCOND) ((MNOT) (($FREEOF) $N $B)) ((MRETURN) NIL) T $FALSE) ((MRETURN) (($POLYP) $E $N)))) MEXPR) 
(ARGS (QUOTE $POLYINN) (QUOTE (NIL . 2.))) 
(MDEFPROP $CHAR ((LAMBDA) ((MLIST) $E $G $U $N $K $IV) ((MPROG) ((MLIST) $GENSOL $HOMSOL $PARSOL $LOS $MULTIPLICITIES $H $V $L $SS $DISPFLAG) (($LOCAL) $A $AA $B $R $M) ((MSETQ) $DISPFLAG NIL) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) (($AA ARRAY) $I) (($COEFF) $E (($U) ((MPLUS) $N $K ((MMINUS) $I)))))) ((MSETQ) $H 0.) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) $H ((MPLUS) $H ((MTIMES) (($AA ARRAY) $I) (($U) ((MPLUS) $N $K ((MMINUS) $I))))))) ((MCOND) ((MNOTEQUAL) $H $E) ((MRETURN) |&ERRONEOUS INPUT|) T $FALSE) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) $H (($SUBSTITUTE) ((MEXPT) $U ((MPLUS) $K ((MMINUS) $I))) (($U) ((MPLUS) $N $K ((MMINUS) $I))) $H))) ((MSETQ) $MULTIPLICITIES T) ((MSETQ) $LOS (($SOLVE) $H $U)) ((MDO) $I 1. NIL NIL (($LENGTH) $LOS) NIL ((MPROGN) ((MSETQ) (($R ARRAY) $I) (($LOS ARRAY) $I)) ((MSETQ) (($R ARRAY) $I) (($RHS) (($EV) (($R ARRAY) $I)))) ((MSETQ) (($M ARRAY) $I) (($MULTIPLICITIES ARRAY) $I)))) ((MSETQ) $HOMSOL (($SUM) ((MTIMES) (($SUM) ((MTIMES) (($A ARRAY) $I $J) ((MEXPT) $N ((MPLUS) (($M ARRAY) $I) ((MMINUS) $J)))) $J 1. (($M ARRAY) $I)) ((MEXPT) (($R ARRAY) $I) $N)) $I 1. (($LENGTH) $LOS))) ((MCOND) ((MEQUAL) $G 0.) ((MPROGN) ((MSETQ) $V ((MLIST))) ((MDO) $I 1. NIL NIL (($LENGTH) $LOS) NIL ((MDO) $J 1. NIL NIL (($M ARRAY) $I) NIL ((MSETQ) $V (($CONS) (($A ARRAY) $I $J) $V)))) ((MSETQ) $L ((MLIST))) ((MDO) $Q 0. NIL NIL ((MPLUS) $K ((MMINUS) 1.)) NIL ((MSETQ) $L (($CONS) ((MEQUAL) (($SUBSTITUTE) $Q $N $HOMSOL) (($U) $Q)) $L))) ((MSETQ) $SS (($EV) (($SOLVE) $L $V) $IV)) ((MRETURN) ((MEQUAL) (($U) $N) (($EV) $HOMSOL $SS)))) T ((MCOND) ((MEQUAL) (($POLYP) $G $N) T) ((MPROGN) ((MSETQ) $G (($RATEXPAND) $G)) ((MSETQ) $PARSOL (($SUM) ((MTIMES) (($B ARRAY) $J) ((MEXPT) $N $J)) $J 0. (($HIPOW) $G $N))) ((MDO) $J 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L 0.) ((MSETQ) $V $E) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L (($RATEXPAND) (($SUBSTITUTE) ((MPLUS) $N $K ((MMINUS) $I)) $N ((MTIMES) (($B ARRAY) $J) ((MEXPT) $N $J))))) ((MSETQ) $V (($RATEXPAND) (($SUBSTITUTE) $L (($U) ((MPLUS) $N $K ((MMINUS) $I))) $V))))) ((MSETQ) $V (($RATSIMP) $V)) ((MCOND) ((MNOTEQUAL) $V 0.) ((MRETURN) $V) T ((MSETQ) $PARSOL ((MTIMES) $N $PARSOL))))) ((MSETQ) $V $E) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L (($RATEXPAND) (($SUBSTITUTE) ((MPLUS) $N $K ((MMINUS) $I)) $N $PARSOL))) ((MSETQ) $V (($RATEXPAND) (($SUBSTITUTE) $L (($U) ((MPLUS) $N $K ((MMINUS) $I))) $V))))) ((MSETQ) $L ((MLIST))) ((MDO) $I 0. NIL NIL (($HIPOW) $PARSOL $N) NIL ((MSETQ) $L (($CONS) (($COEFF) ((MEQUAL) $V $G) $N $I) $L))) ((MSETQ) $V ((MLIST))) ((MDO) $J 0. NIL NIL (($HIPOW) $PARSOL $N) NIL ((MSETQ) $V (($CONS) (($B ARRAY) $J) $V))) ((MSETQ) $SS (($SOLVE) $L $V)) ((MSETQ) $PARSOL (($EV) $PARSOL $SS))) T ((MCOND) ((MEQUAL) (($POLYINN) $G $N) T) ((MPROGN) ((MSETQ) $PARSOL ((MTIMES) $B1 $G)) ((MDO) $J 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L 0.) ((MSETQ) $V $E) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L (($SUBSTITUTE) ((MPLUS) $N $K ((MMINUS) $I)) $N $PARSOL)) ((MSETQ) $V (($SUBSTITUTE) $L (($U) ((MPLUS) $N $K ((MMINUS) $I))) $V)))) ((MSETQ) $V (($RATSIMP) $V)) ((MCOND) ((MNOTEQUAL) $V 0.) ((MRETURN) $V) T ((MSETQ) $PARSOL ((MTIMES) $N $PARSOL))))) ((MSETQ) $SS (($SOLVE) ((MEQUAL) $V $G) $B1)) ((MSETQ) $PARSOL (($EV) $PARSOL $SS))) T ((MCOND) ((MOR) ((MEQUAL) (($INPART) $G 0.) %SIN) ((MEQUAL) (($INPART) $G 0.) %COS)) ((MPROGN) ((MSETQ) $PARSOL ((MPLUS) ((MTIMES) (($B ARRAY) 1.) ((%SIN) (($INPART) $G 1.))) ((MTIMES) (($B ARRAY) 2.) ((%COS) (($INPART) $G 1.))))) ((MDO) $J 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L 0.) ((MSETQ) $V $E) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L (($EXPAND) (($SUBSTITUTE) ((MPLUS) $N $K ((MMINUS) $I)) $N $PARSOL))) ((MSETQ) $V (($EXPAND) (($SUBSTITUTE) $L (($U) ((MPLUS) $N $K ((MMINUS) $I))) $V))))) ((MSETQ) $V (($TRIGEXPAND) $V)) ((MCOND) ((MNOTEQUAL) $V 0.) ((MRETURN) $V) T ((MSETQ) $PARSOL ((MTIMES) $N $PARSOL))))) ((MSETQ) $V $E) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) $L (($EXPAND) (($SUBSTITUTE) ((MPLUS) $N $K ((MMINUS) $I)) $N $PARSOL))) ((MSETQ) $V (($EXPAND) (($SUBSTITUTE) $L (($U) ((MPLUS) $N $K ((MMINUS) $I))) $V))))) ((MSETQ) $V (($TRIGEXPAND) $V)) ((MSETQ) $L ((MLIST))) ((MSETQ) $LT ((MLIST) ((%SIN) (($INPART) $G 1.)) ((%COS) (($INPART) $G 1.)))) ((MDO) $JJ 1. NIL NIL 2. NIL ((MSETQ) $L (($CONS) (($COEFF) ((MEQUAL) $V $G) (($LT ARRAY) $JJ)) $L))) ((MSETQ) $V ((MLIST))) ((MDO) $J 1. NIL NIL 2. NIL ((MSETQ) $V (($CONS) (($B ARRAY) $J) $V))) ((MSETQ) $SS (($SOLVE) $L $V)) ((MSETQ) $PARSOL (($EV) $PARSOL $SS))) T ((MRETURN) |&CAN'T BE SOLVED IN CLOSED FORM BY PROGRAM|))))) ((MSETQ) $GENSOL ((MPLUS) $HOMSOL $PARSOL)) ((MSETQ) $V ((MLIST))) ((MDO) $I 1. NIL NIL (($LENGTH) $LOS) NIL ((MDO) $J 1. NIL NIL (($M ARRAY) $I) NIL ((MSETQ) $V (($CONS) (($A ARRAY) $I $J) $V)))) ((MSETQ) $L ((MLIST))) ((MDO) $Q 0. NIL NIL ((MPLUS) $K ((MMINUS) 1.)) NIL ((MSETQ) $L (($CONS) ((MEQUAL) (($SUBSTITUTE) $Q $N $GENSOL) (($U) $Q)) $L))) ((MSETQ) $SS (($EV) (($SOLVE) $L $V) $IV)) ((MRETURN) ((MEQUAL) (($U) $N) (($EV) $GENSOL $SS))))) MEXPR) 
(ARGS (QUOTE $CHAR) (QUOTE (NIL . 6.))) 
(MDEFPROP $GENF ((LAMBDA) ((MLIST) $E $G $U $N $K $IV) ((MPROG) ((MLIST) $MULTIPLICITIES $L $V $SS $VV $LOS $NR $F $SOL $P $DISPFLAG) (($LOCAL) $A $AA $B) ((MSETQ) $DISPFLAG NIL) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) (($AA ARRAY) $I) (($COEFF) $E (($U) ((MPLUS) $N $K ((MMINUS) $I)))))) ((MSETQ) $H 0.) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) $H ((MPLUS) $H ((MTIMES) (($AA ARRAY) $I) (($U) ((MPLUS) $N $K ((MMINUS) $I))))))) ((MCOND) ((MNOTEQUAL) $H $E) ((MRETURN) |&ERRONEOUS INPUT|) T $FALSE) ((MSETQ) $L $E) ((MDO) $I 0. NIL NIL $K NIL ((MSETQ) $L (($SUBSTITUTE) ((MTIMES) ((MPLUS) $F ((MMINUS) (($SUM) ((MTIMES) (($U) $J) ((MEXPT) $X $J)) $J 0. ((MPLUS) $K ((MMINUS) $I) ((MMINUS) 1.))))) ((MEXPT) $X $I)) (($U) ((MPLUS) $N $K ((MMINUS) $I))) $L))) ((MCOND) ((MEQUAL) $G 0.) ((MPROGN) ((MSETQ) $S (($SOLVE) $L $F)) ((MSETQ) $F (($EV) $F $S))) T ((MCOND) ((MEQUAL) (($POLYP) $G $N) T) ((MPROGN) ((MSETQ) $G (($RATEXPAND) $G)) ((MSETQ) $V (($SUBSTITUTE) ((MTIMES) ((MQUOTIENT) ((MEXPT) $X $K) ((MPLUS) 1. ((MMINUS) $X))) (($COEFF) $G $N 0.)) (($COEFF) $G $N 0.) $G)) ((MSETQ) $VV (($RATSIMP) (($DIFF) ((MQUOTIENT) 1. ((MPLUS) 1. ((MMINUS) $X))) $X))) ((MDO) $I 1. NIL NIL (($HIPOW) $G $N) NIL ((MPROGN) ((MSETQ) $V (($SUBSTITUTE) ((MTIMES) ((MEXPT) $X $K) $X $VV (($COEFF) $G $N $I)) ((MTIMES) (($COEFF) $G $N $I) ((MEXPT) $N $I)) $V)) ((MSETQ) $VV (($RATSIMP) (($DIFF) ((MTIMES) $X $VV) $X))))) ((MSETQ) $V (($RATSIMP) $V)) ((MSETQ) $SS (($SOLVE) ((MEQUAL) $L $V) $F)) ((MSETQ) $F (($EV) $F $SS))) T ((MCOND) ((MAND) ((MEQUAL) (($POLYINN) $G $N) T) ((MLESSP) (($HIPOW) (($INPART) $G 2.) $N) 2.)) ((MPROGN) ((MSETQ) $G1 ((MTIMES) ((MEXPT) $X $K) ((MEXPT) (($INPART) $G 1.) (($COEFF) (($INPART) $G 2.) $N 0.)))) ((MSETQ) $G2 ((MPLUS) 1. ((MMINUS) ((MTIMES) $X ((MEXPT) (($INPART) $G 1.) (($COEFF) (($INPART) $G 2.) $N 1.)))))) ((MSETQ) $V (($RATSIMP) ((MQUOTIENT) $G1 $G2))) ((MSETQ) $SS (($SOLVE) ((MEQUAL) $L $V) $F)) ((MSETQ) $F (($EV) $F $SS))) T ((MRETURN) |&CAN'T BE SOLVED IN CLOSED FORM BY PROGRAM|)))) ((MSETQ) $MULTIPLICITIES T) ((MSETQ) $LOS (($SOLVE) (($NEWRAT) $F) $X)) ((MDO) $I 1. NIL NIL (($LENGTH) $LOS) NIL ((MPROGN) ((MSETQ) (($R ARRAY) $I) (($LOS ARRAY) $I)) ((MSETQ) (($R ARRAY) $I) (($RHS) (($EV) (($R ARRAY) $I)))) ((MSETQ) (($M ARRAY) $I) (($MULTIPLICITIES ARRAY) $I)))) ((MSETQ) $V ((MLIST))) ((MSETQ) $B (($PRODUCT) ((MEXPT) ((MPLUS) 1. ((MMINUS) ((MTIMES) (($R ARRAY) $I) $X))) (($M ARRAY) $I)) $I 1. (($LENGTH) $LOS))) ((MDO) $I 1. NIL NIL (($LENGTH) $LOS) NIL ((MDO) $J 1. NIL NIL (($M ARRAY) $I) NIL ((MPROGN) ((MSETQ) (($P ARRAY) $I $J) ((MQUOTIENT) ((MTIMES) $B (($A ARRAY) $I $J)) ((MEXPT) ((MPLUS) 1. ((MMINUS) ((MTIMES) (($R ARRAY) $I) $X))) $J))) ((MSETQ) $V (($CONS) (($A ARRAY) $I $J) $V))))) ((MSETQ) $P (($SUM) (($SUM) (($P ARRAY) $I $J) $J 1. (($M ARRAY) $I)) $I 1. (($LENGTH) $LOS))) ((MSETQ) $L ((MLIST))) ((MSETQ) $NF (($RATEXPAND) ((MQUOTIENT) (($NUM) $F) ((MABS) (($COEFF) (($DENOM) $F) $X 0.))))) ((MSETQ) $P (($RATEXPAND) $P)) ((MDO) $I 0. NIL NIL ((MPLUS) (($HIPOW) (($RATEXPAND) $B) $X) ((MMINUS) 1.)) NIL ((MSETQ) $L (($CONS) (($COEFF) ((MEQUAL) $NF $P) $X $I) $L))) ((MSETQ) $SSS (($EV) (($SOLVE) $L $V) $IV)) ((MSETQ) $SOL (($SUM) (($SUM) ((MTIMES) ((MQUOTIENT) ((MTIMES) (($A ARRAY) $I $J) (($COEFF) (($DENOM) $F) $X 0.)) ((MABS) (($COEFF) (($DENOM) $F) $X 0.))) ((%BINOMIAL) ((MPLUS) $J $N ((MMINUS) 1.)) $N) ((MEXPT) (($R ARRAY) $I) $N)) $J 1. (($M ARRAY) $I)) $I 1. (($LENGTH) $LOS))) ((MRETURN) ((MEQUAL) (($U) $N) (($EV) $SOL $SSS))))) MEXPR) 
(ARGS (QUOTE $GENF) (QUOTE (NIL . 6.))) 
(MDEFPROP $NEWRAT ((LAMBDA) ((MLIST) $F) ((MPROG) ((MLIST) $HD $CP $DP) ((MSETQ) $HD (($HIPOW) (($DENOM) $F) $X)) ((MSETQ) $CP (($COEFF) (($DENOM) $F) $X $HD)) ((MSETQ) $DP (($SUM) ((MTIMES) ((MQUOTIENT) (($COEFF) (($DENOM) $F) $X $I) $CP) ((MEXPT) $X $I)) $I 0. $HD)) ((MRETURN) (($SUM) ((MTIMES) (($COEFF) $DP $X ((MPLUS) $HD ((MMINUS) $I))) ((MEXPT) $X $I)) $I 0. $HD)))) MEXPR) 
(ARGS (QUOTE $NEWRAT) (QUOTE (NIL . 1.))) 
(MDEFPROP $VARC1 ((LAMBDA) ((MLIST) $E $G $U $N $K $IV) ((MPROG) ((MLIST) $V $VV $EQ $Y $CAUCHYSUM $SUMEXPAND $FINSOL $SERSOL $DISPFLAG) (($LOCAL) $A $B) ((MSETQ) $DISPFLAG NIL) ((MSETQ) $SUMEXPAND NIL) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) (($A ARRAY) $I) (($COEFF) $E (($U) ((MPLUS) $N $I)))) ((MSETQ) (($A ARRAY) $I) (($RATEXPAND) (($A ARRAY) $I))) ((MCOND) ((MEQUAL) (($POLYP) (($A ARRAY) $I) $N) NIL) ((MRETURN) |&CAN'T DO IT|) T $FALSE))) ((MCOND) ((MAND) ((MEQUAL) $K 2.) ((MSETQ) $B ((MNOTEQUAL) (($BESSELCHECK) $E $K) NIL))) ((MRETURN) $B) T $FALSE) ((MSETQ) $V (($RATEXPAND) $E)) ((MDO) $I $K ((MMINUS) 1.) NIL 0. NIL ((MDO) $J (($HIPOW) (($A ARRAY) $I) $N) ((MMINUS) 1.) NIL 0. NIL ((MPROGN) ((MSETQ) $V (($RATSUBST) ((MTIMES) ((MEXPT) $X $J) ((%DERIVATIVE) $Y $X ((MPLUS) $I $J))) ((MTIMES) ((MEXPT) $N $J) (($U) ((MPLUS) $N $I))) $V)) ((MSETQ) $V (($RATEXPAND) $V))))) ((MSETQ) $V (($RATSUBST) $Y ((%DERIVATIVE) $Y $X 0.) $V)) ((MSETQ) $V (($RATEXPAND) $V)) ((MCOND) ((MEQUAL) (($POLYP) $G $N) T) ((MPROGN) ((MSETQ) $G (($RATEXPAND) $G)) ((MSETQ) $VV $G) ((MDO) $I 0. NIL NIL (($HIPOW) $G $N) NIL ((MSETQ) $VV (($SUBSTITUTE) ((MEXPT) $X $I) ((MEXPT) $N $I) $VV))) ((MSETQ) $VV ((MTIMES) ((MEXPT) $%E $X) $VV))) T ((MRETURN) |&CAN'T DO IT|)) ((MSETQ) $EQ ((MPLUS) $V ((MMINUS) $VV))) (($DEPENDENCIES) (($Y) $X)) ((MSETQ) $SOL (($ODE2) ((MEQUAL) $EQ 0.) $Y $X)) ((MCOND) ((MEQUAL) $K 1.) ((MSETQ) $FINSOL (($IC1) $SOL ((MEQUAL) $X 0.) ((MEQUAL) $Y (($EV) (($U) 0.) $IV)))) T ((MCOND) ((MEQUAL) $K 2.) ((MSETQ) $FINSOL (($IC2) $SOL ((MEQUAL) $X 0.) ((MEQUAL) $Y (($EV) (($U) 0.) $IV)) ((MEQUAL) ((%DERIVATIVE) $Y $X) (($EV) (($U) 1.) $IV)))) T ((MRETURN) |&O.D.E. CAN'T BE SOLVED AT PRESENT BY MACSYMA|))) ((MSETQ) $CAUCHYSUM T) ((MSETQ) $SUMEXPAND T) ((MSETQ) $SERSOL (($POWERSERIES) (($RHS) $FINSOL) $X 0.)) ((MSETQ) $SERSOL (($EXPAND) $SERSOL)) ((MSETQ) $B (($INPART) $SERSOL 1.)) ((MSETQ) $B (($EV) $B ((MEQUAL) $X 1.))) ((MCOND) ((MEQUAL) (($ATOM) $B) NIL) ((MSETQ) $B (($SUBSTPART) $N $B 4.)) T $FALSE) ((MRETURN) ((MEQUAL) (($U) $N) ((MTIMES) ((MFACTORIAL) $N) $B))))) MEXPR) 
(ARGS (QUOTE $VARC1) (QUOTE (NIL . 6.))) 
(MDEFPROP $BESSELCHECK ((LAMBDA) ((MLIST) $E $K) ((MPROG) ((MLIST) $A $ANS) (($LOCAL) $A) ((MDO) $I 0. NIL NIL $K NIL ((MPROGN) ((MSETQ) (($A ARRAY) $I) (($COEFF) $E (($U) ((MPLUS) $N $I)))) ((MSETQ) (($A ARRAY) $I) (($RATEXPAND) (($A ARRAY) $I))))) ((MCOND) ((MNOT) (($INTEGERP) (($A ARRAY) 0.))) ((MRETURN) NIL) T $FALSE) ((MCOND) ((MNOT) (($INTEGERP) (($EV) (($A ARRAY) 1.) ((MEQUAL) $N 0.)))) ((MRETURN) NIL) T $FALSE) ((MCOND) ((MNOT) ((MEQUAL) (($HIPOW) (($A ARRAY) 1.) $N) 1.)) ((MRETURN) NIL) T $FALSE) ((MCOND) ((MNOT) (($INTEGERP) (($COEFF) (($A ARRAY) 1.) $N 1.))) ((MRETURN) NIL) T $FALSE) ((MCOND) ((MNOT) ((MEQUAL) (($A ARRAY) 2.) 1.)) ((MRETURN) NIL) T $FALSE) ((MSETQ) $ANS |&A LINEAR COMBINATION OF BESSEL FUNCTIONS|) ((MRETURN) $ANS))) MEXPR) 
(ARGS (QUOTE $BESSELCHECK) (QUOTE (NIL . 2.))) 
(MDEFPROP $VARC2 ((LAMBDA) ((MLIST) $E $G $U $N $K $IV) ((MPROG) ((MLIST) $H $P $V $C $SOL) (($LOCAL) $AP $P) ((MSETQ) $P ((MQUOTIENT) ((MTIMES) ((MMINUS) 1.) (($COEFF) $E (($U) $N))) (($COEFF) $E (($U) ((MPLUS) $N 1.))))) ((MSETQ) $V ((MQUOTIENT) $G (($COEFF) $E (($U) ((MPLUS) $N 1.))))) ((MSETQ) (($S ARRAY) $J) (($SUBSTITUTE) $J $N $P)) ((MSETQ) (($S ARRAY) $I) (($SUBSTITUTE) $I $N $P)) ((MSETQ) (($P ARRAY) $N) (($PRODUCT) (($S ARRAY) $I) $I 1. ((MPLUS) $N ((MMINUS) 1.)))) ((MSETQ) (($H ARRAY) $I) ((MQUOTIENT) (($SUBSTITUTE) $I $N $V) (($PRODUCT) (($S ARRAY) $J) $J 1. ((MPLUS) $I ((MMINUS) 1.))))) ((MSETQ) $V1 (($SUM) (($H ARRAY) $I) $I 0. $N)) ((MSETQ) $AP (($EV) ((MPLUS) (($U) 0.) ((MMINUS) (($SUBSTITUTE) 0. $N $V))) $IV)) ((MRETURN) ((MEQUAL) (($U) $N) ((MPLUS) ((MTIMES) $AP (($P ARRAY) $N)) ((MTIMES) (($P ARRAY) $N) $V1)))))) MEXPR) 
(ARGS (QUOTE $VARC2) (QUOTE (NIL . 6.)))