00000010 OPEN (COMPILE SYSFILE INPUT) RESTORE (COMPILE) CLOSE (COMPILE) 00000020 00000030 00000040 DEFLIST (((COMMENT (LAMBDA (U A) NIL))) FEXPR) 00000050 00000051 COMMENT (***** DATE OF LAST SYSTEM UPDATE *****) 00000052 00000053 DEFLIST (((DATE* ( 00000054 00000055 $$$15-SEP-72$ 00000056 00000057 ))) SPECIAL) 00000058 00000059 COMMENT (THE FOLLOWING COMMANDS ARE USED BY THE COMPILER) 00000060 00000061 OPTIMIZE (T) BPSUSED (T) 00000062 00000063 COMMENT((R E D U C E P R E P R O C E S S O R F O R L I S P /360))00000090 00000100 OVOFF NIL 00000110 00000120 COMMENT ((REDUCE CONVERTOR)) 00000130 00000140 REMPROP (DEFINE SUBR) 00000150 00000160 SPECIAL ((NOCMP*)) 00000170 00000180 (LAMBDA (U) (COMPILE (DEFLIST U (QUOTE EXPR)))) (( 00000190 00000200 (DEFINE (LAMBDA (U) 00000210 (DEF1 U (QUOTE EXPR)))) 00000220 00000230 (DEF1 (LAMBDA (U V) 00000240 (PROG (X Y) 00000250 A (COND ((NULL U) (RETURN Y)) 00000260 ((FLAGP (SETQ X (CAAR U)) (QUOTE LOSE)) (GO B)) 00000270 ((GETD (SETQ X (TRANS X NIL))) 00000280 (PRINT (LIST (QUOTE *****) X (QUOTE REDEFINED))))) 00000290 (SETQ Y (NCONC Y (LIST X))) 00000300 (COND (NOCMP* (DEFLIST (LIST (TRANS (CAR U) T)) V)) 00000310 ((EQ V (QUOTE EXPR)) 00000320 (COM1 X (TRANS (CADAR U) NIL) NIL)) 00000330 (T (COM1 X NIL (TRANS (CADAR U) NIL)))) 00000340 B (SETQ U (CDR U)) (GO A)))) 00000350 00000360 (TRANS (LAMBDA (U V) 00000370 (COND ((NULL U) NIL) 00000380 ((ATOM U) (COND ((NUMBERP U) U) 00000390 (T 00000400 ((LAMBDA(X) 00000410 (COND (X 00000420 (LIST 00000430 (QUOTE QUOTE) 00000440 X)) 00000450 (T ((LAMBDA (Y) 00000460 (COND (Y Y) 00000470 ((AND NOCMP* (GET U (QUOTE SPECIAL))) 00000480 (LIST (QUOTE GTS) (LIST (QUOTE QUOTE) U))) 00000490 (T U))) 00000500 (GET U (QUOTE NEWNAM)))))) 00000510 (GET U (QUOTE CONSTANT)))))) 00000520 ((ATOM (CAR U)) 00000530 (COND ((EQ (CAR U) (QUOTE QUOTE)) U) 00000540 ((NUMBERP (CAR U)) 00000550 (CONS (CAR U) (MAPTR (CDR U)))) 00000560 ((AND NOCMP* (EQ (CAR U) (QUOTE SETQ)) 00000570 (GET (CADR U) (QUOTE SPECIAL))) 00000580 (LIST (QUOTE PTS) (LIST (QUOTE QUOTE) (CADR U)) (TRANS 00000590 (CADDR U) V))) 00000600 (T 00000610 ((LAMBDA(X) 00000620 (COND (X 00000630 (SUBLIS 00000640 (PAIR (CADR X) (MAPTR (CDR U) V)) 00000650 (CADDR X))) 00000660 (T (CONS ((LAMBDA (Y) 00000670 (COND (Y Y) 00000680 (T ((LAMBDA (Z) 00000690 (COND (Z(LIST (QUOTE QUOTE)00000700 Z)) 00000710 (T (TRANS (CAR U) V)))) 00000720 (GET(CAR U) (QUOTE CONSTANT))))))00000730 (GET (CAR U) (QUOTE NEWNAM))) 00000740 (MAPTR (CDR U) V))))) 00000750 (GET (CAR U) (QUOTE NEWFORM)))))) 00000760 (T (MAPTR U V))))) 00000770 00000780 (MAPTR (LAMBDA (U V) 00000790 (COND ((ATOM U) (TRANS U V)) 00000800 (T (CONS (TRANS (CAR U) V) (MAPTR (CDR U) V)))))) 00000810 00000820 (GETD(LAMBDA(U) 00000830 (OR (GET U (QUOTE EXPR)) 00000840 (GET U (QUOTE FEXPR)) 00000850 (GET U (QUOTE SUBR)) 00000860 (GET U (QUOTE FSUBR)) 00000870 (GET U (QUOTE MACRO))))) 00000880 00000890 )) 00000900 00000910 (LAMBDA NIL (PROG NIL (DEFLIST (LIST (LIST (QUOTE CONVRT) 00000912 (GET (QUOTE TRANS) (QUOTE SUBR)))) (QUOTE SUBR)))) NIL 00000914 00000916 (LAMBDA (U) (DEFLIST U (QUOTE EXPR))) (( 00000920 00000930 (CONSTANT (LAMBDA (U) 00000940 (DEFLIST U (QUOTE CONSTANT)))) 00000950 00000960 (LOSE (LAMBDA (U) 00000970 (FLAG U (QUOTE LOSE)))) 00000980 00000990 (NEWFORM (LAMBDA (U) 00001000 (DEFLIST U (QUOTE NEWFORM)))) 00001010 00001020 (NEWNAM (LAMBDA (U) 00001030 (DEFLIST U (QUOTE NEWNAM)))) 00001040 00001050 )) 00001060 00001070 00001080 (LAMBDA (U) (COMPILE (DEFLIST U (QUOTE EXPR)))) (( 00001090 00001100 (SUBLIS (LAMBDA (U V) (COND 00001110 ((NULL U) V) 00001120 (T ((LAMBDA (X) (COND 00001130 (X (CDR X)) 00001140 ((ATOM V) V) 00001150 (T (CONS (SUBLIS U (CAR V)) (SUBLIS U (CDR V)))))) 00001160 (SASSOC V U (FUNCTION (LAMBDA NIL NIL)))))))) 00001170 )) 00001180 00001190 CONSTANT (( 00001200 (**BLANK $$$ $) 00001210 (**COMMA $$$,$) 00001220 (**DOLLAR $$/$/) 00001230 (**ESC ESC) 00001240 (**LPAR $$$($) 00001250 (**MILLION 1000000) 00001260 (**DASH $$$-$) 00001270 (**DOT $$$.$) 00001280 (**RPAR $$$)$) 00001290 (**SEMICOL $$$;$) 00001300 (**STAR $$$*$) 00001310 (**EMARK $$/$/) 00001320 (**FMARK $$$&$) 00001330 (**QMARK $$$'$) 00001340 (**SMARK $$$"$) 00001350 (**XMARK $$$!$) 00001360 (**EOF EOF) 00001370 (**PLUSS $$$+$) 00001380 (**ENDMSG $$$LEAVING REDUCE ...$) 00001390 )) 00001400 00001410 NEWNAM (( 00001420 (DIGIT DIGP) 00001430 (EVENP *EVENP) 00001440 (EXPLODE *EXPLODE) 00001450 (LITER LETP) 00001460 (OPEN *OPEN) 00001470 (PAIR PAIRX) 00001471 (PAUSE TERPRI) 00001472 (PRINC PRIN1) 00001480 (RDS *RDS) 00001500 (SPACES XTAB) 00001510 (WRS *WRS) 00001520 )) 00001530 00001540 00001550 NEWFORM (( 00001560 (*APPLY (LAMBDA (U V) (APPLY U V ALIST))) 00001570 (CAAAAR (LAMBDA (U) (CAAR (CAAR U)))) 00001580 (CAAADR (LAMBDA (U) (CAAR (CADR U)))) 00001590 (CAADAR (LAMBDA (U) (CAAR (CDAR U)))) 00001600 (CAADDR (LAMBDA (U) (CAAR (CDDR U)))) 00001610 (CADAAR (LAMBDA (U) (CADR (CAAR U)))) 00001620 (CADADR (LAMBDA (U) (CADR (CADR U)))) 00001630 (CADDAR (LAMBDA (U) (CADR (CDAR U)))) 00001640 (CADDDR (LAMBDA (U) (CADR (CDDR U)))) 00001650 (CDAAAR (LAMBDA (U) (CDAR (CAAR U)))) 00001660 (CDAADR (LAMBDA (U) (CDAR (CADR U)))) 00001670 (CDADAR (LAMBDA (U) (CDAR (CDAR U)))) 00001680 (CDDAAR (LAMBDA (U) (CDDR (CAAR U)))) 00001690 (CDDADR (LAMBDA (U) (CDDR (CADR U)))) 00001700 (CDDDAR (LAMBDA (U) (CDDR (CDAR U)))) 00001710 (CDDDDR (LAMBDA (U) (CDDR (CDDR U)))) 00001720 (DIVIDE (LAMBDA (U V) (CONS (QUOTIENT U V) (REMAINDER U V)))) 00001730 (ERRORSET (LAMBDA (U V) (LIST (*EVAL U)))) 00001740 (GENSYM (LAMBDA NIL (GENSYM1 (QUOTE $$$ G$)))) 00001750 (ONEP (LAMBDA (N) (EQUAL N 1))) 00001760 (READCH (LAMBDA NIL (READCH NIL))) 00001770 )) 00001780 00001790 00001800 00001810 COMMENT ((DECLARATION OF SPECIAL AND GLOBAL VARIABLES)) 00001820 00001830 COMMENT ((THE FOLLOWING ARE EXTENDED SPECIAL VARIABLES)) 00001840 00001850 SPECIAL ((*S* *S1*)) 00001860 00001870 COMMENT ((THE FOLLOWING VARIABLES ARE GLOBAL TO ALL FUNCTIONS)) 00001880 00001890 SPECIAL(( 00001900 IFL* OFL* IPL* OPL* PRI* CRCHAR* SV* MCOND* 00001910 *FORT *ECHO *INT PRECLIS* ORIG* POSN* *NAT YCOORD* 00001920 YMIN* YMAX* *LIST COUNT* *CARDNO ECHO* FORTVAR* 00001930 LLENGTH* PLINE* CURSYM* *MODE MATP* DEFN* 00001940 SEMIC* SYMFG* VARS* TMODE* *SQVAR* PROGRAM* PROGRAML* 00001950 *GCD *EXP *MCD *FLOAT MATCH* *DIV *RAT *SUPER *MSG 00001960 *ALLFAC *NCMP SUBFG* FRLIS1* FRLIS* GAMIDEN* SUB2* 00001970 RPLIS* SUBL* DSUBL* FACTORS* FRASC* VREP* INDICES* 00001980 WTP* SNO* *RAT *OUTP DIAG* 00001990 MCHFG* SYMFG* *ANS *RESUBS *NERO EXLIST* ORDN* 00002000 NAT** 00002001 )) 00002010 00002020 COMMENT ((THE FOLLOWING VARIABLE IS USED AS A FUNCTIONAL ARGUMENT)) 00002030 00002040 COMMON ((*PI*)) 00002050 00002060 REMPROP (F APVAL) 00002070 00002080 00002090 COMMENT ((REDUCE FUNCTIONS WITH SYSTEM DEPENDENT PROPERTIES)) 00002100 00002110 DEFLIST (( 00002120 00002130 (INIT (LAMBDA NIL (PROG NIL 00002140 (PTS (QUOTE NOCMP*) T) 00002150 (RECLAIM) 00002160 (OPEN (QUOTE REDUCE) (QUOTE SYSFILE) (QUOTE OUTPUT)) 00002170 (REMPROP (QUOTE INIT) (QUOTE EXPR)) 00002200 (RETURN (QUOTE ***))))) 00002210 00002220 ) EXPR) 00002230 00002240 (LAMBDA (U) (COMPILE (DEFLIST U (QUOTE EXPR)))) (( 00002250 00002260 (MKSTRING (LAMBDA (U) 00002270 (LIST (QUOTE QUOTE)(COMPRESS (DELETE (QUOTE $$$"$) (CDR U)))))) 00002280 00002281 (PRINTTY (LAMBDA (U) 00002282 (AND *NAT (PRINT U)))) 00002283 00002290 (READCH* (LAMBDA NIL 00002300 (SETQ CRCHAR* (READCH NIL)))) 00002310 00002320 )) 00002330 00002340 (LAMBDA (U) (COMPILE (DEFLIST U (QUOTE EXPR)))) (( 00002390 00002400 (BEGIN (LAMBDA NIL (PROG NIL 00002410 (OVOFF) 00002420 (SETQ NOCMP* T) 00002430 (SETQ *INT NIL) 00002440 (SETQ *ECHO T) 00002450 (SETQ ORIG* 0) 00002460 (SETP) 00002470 (SETQ *MODE (QUOTE ALGEBRAIC)) 00002480 (COND ((NULL DATE*) (GO A0))) 00002490 (VERBOS NIL) 00002500 (EXCISE T) 00002510 (EXITERR T) 00002520 (EJECT) 00002521 (PRIN1 (QUOTE $$$REDUCE2($)) 00002522 (PRIN1 DATE*) 00002523 (PRIN1 (QUOTE $$$) ...$)) 00002524 (TERPRI) (SETQ DATE* NIL) 00002525 A0 (SETQ IFL* NIL) 00002540 (SETQ OFL* NIL) 00002550 (RETURN (BEGIN1))))) 00002570 00002580 )) 00002590 00002600 00002610 COMMENT ((REDUCE FUNCTIONS DEFINED IN TERMS OF SYSTEM FUNCTIONS 00002620 OF THE SAME NAME)) 00002630 00002640 COMMENT ((THE FOLLOWING LIST IS USED BY EXPLODN1 DEFINED BELOW)) 00002650 00002660 DEFLIST (((NASL* (((0 . $$$0$) (1 . $$$1$) (2 . $$$2$) (3 . $$$3$) 00002670 (4 . $$$4$) (5 . $$$5$) (6 . $$$6$) (7 . $$$7$) 00002680 (8 . $$$8$) (9 . $$$9$))))) SPECIAL) 00002690 00002700 DEFLIST (((BLKSIZE* (80))) SPECIAL) 00002701 00002702 (LAMBDA (U) (COMPILE (DEFLIST U (QUOTE EXPR)))) (( 00002710 00002720 (*EXPLODE (LAMBDA (U) (COND 00002730 ((NUMBERP U) (EXPLODN U)) 00002740 (T (EXPLODE U))))) 00002750 00002760 (EXPLODN (LAMBDA (U) (COND 00002770 ((ZEROP U) (LIST (QUOTE $$$0$))) 00002780 ((MINUSP U) (CONS (QUOTE $$$-$) (EXPLODN (MINUS U)))) 00002790 ((NOT (FIXP U)) (LIST 1 2 3 4 5 6 7 8 9 0 1 2)) 00002800 (T (EXPLODN1 U))))) 00002810 00002820 (EXPLODN1 (LAMBDA (U) (PROG (Z) 00002830 A (COND ((ZEROP U) (RETURN Z))) 00002840 (SETQ Z (CONS (CDR (ASSOC* (REMAINDER U 10) NASL*)) Z)) 00002850 (SETQ U (QUOTIENT U 10)) 00002860 (GO A)))) 00002870 00002880 (ASSOC* (LAMBDA (U V) 00002890 (COND ((NULL V) NIL) 00002900 ((EQUAL U (CAAR V)) (CAR V)) 00002910 (T (ASSOC* U (CDR V)))))) 00002920 00002930 (*OPEN (LAMBDA (U V) (PROG2 00002935 (OPEN U (LIST (QUOTE (LRECL . 80)) (CONS (QUOTE BLKSIZE) 00002940 BLKSIZE*)) V) 00002945 U))) 00002950 00002960 (*RDS (LAMBDA (U) (COND 00002970 ((NULL U) (RDS (QUOTE LISPIN))) 00002980 (T (RDS U))))) 00002990 00003000 (*WRS (LAMBDA (U) (COND 00003010 ((NULL U) (WRS (QUOTE LISPOUT))) 00003020 (T (PROG NIL (OTLL 72) (ASA NIL) (WRS U)))))) 00003030 )) 00003040 00003050 LOSE ((ASSOC* REMK* TERMS CKRN* UP DOWN SYMMETRIC ANTISYMMETRIC)) 00003060 00003070 COMMENT ((STANDARD LISP FUNCTIONS NOT DEFINED IN LISP/360)) 00003080 00003090 00003100 DEFINE (( 00003110 00003120 (COMPRESS (LAMBDA (U) 00003130 (PROG2 (COND ((DIGIT (CAR U)) 00003140 (MAP U (FUNCTION (LAMBDA (J) (RNUMB (CAR J)))))) 00003150 (T (MAP U (FUNCTION (LAMBDA (J) (RLIT (CAR J))))))) 00003160 (MKATOM)))) 00003170 00003180 (GTS (LAMBDA (U) ((LAMBDA (X) (COND 00003190 ((NULL X) (ERROR (LIST (QUOTE GTS) U))) 00003200 (T (CAR X)))) (GET U (QUOTE SPECIAL))))) 00003210 00003220 (PTS (LAMBDA (U V) (CAR ((LAMBDA (X) (COND 00003230 ((NULL X) (PUT U (QUOTE SPECIAL) (LIST V))) 00003240 (T (RPLACA X V)))) (GET U (QUOTE SPECIAL)))))) 00003250 00003260 (PUT (LAMBDA (U V W) 00003270 (PROG2 (DEFLIST (LIST (LIST U W)) V) W))) 00003280 00003290 (*EVAL (LAMBDA (U) ((LAMBDA (X) (COND 00003300 (X (CAR X)) 00003310 (T (EVAL U ALIST)))) 00003320 (GET* U (QUOTE SPECIAL))))) 00003330 00003340 (PAIRX (LAMBDA (U V) 00003341 (COND ((AND (NULL U) (NULL V)) NIL) 00003342 ((OR (NULL U) (NULL V)) (ERROR (QUOTE (PAIR MISMATCH)))) 00003343 (T (CONS (CONS (CAR U) (CAR V)) (PAIRX (CDR U) (CDR V))))))) 00003344 00003345 )) 00003350 00003360 COMMENT ((REDEFINING SOME FUNCTIONS EXCISED FROM THE COMPILER)) 00003370 00003380 DEFINE (( 00003390 00003400 (MAP (LAMBDA (U *PI*) 00003410 (PROG NIL 00003420 A (COND ((NULL U) (RETURN NIL))) 00003430 (*PI* U) 00003440 (SETQ U (CDR U)) 00003450 (GO A)))) 00003460 00003470 (MAPCON (LAMBDA (U *PI*) 00003480 (COND ((NULL U) NIL) 00003490 (T (NCONC (*PI* U) (MAPCON (CDR U) *PI*)))))) 00003500 00003510 (REVERSE (LAMBDA (U) 00003520 (PROG (V) 00003530 A (COND ((NULL U) (RETURN V))) 00003540 (SETQ V (CONS (CAR U) V)) 00003550 (SETQ U (CDR U)) 00003560 (GO A)))) 00003570 00003580 (SUBST (LAMBDA (U V W) 00003590 (COND ((NULL W) NIL) 00003600 ((EQUAL V W) U) 00003610 ((ATOM W) W) 00003620 (T (CONS (SUBST U V (CAR W)) (SUBST U V (CDR W))))))) 00003630 00003640 )) 00003650 00003660 COMMENT (ARRAY HANDLING ROUTINES) 00003670 00003680 DEFINE (( 00003690 00003700 (*ARRAY (LAMBDA (U) 00003710 (MAP U (FUNCTION (LAMBDA (J) 00003720 (PUT (CAAR J) (QUOTE ARRAY) (MKARRAY (CDAR J)))))))) 00003730 00003740 (MKARRAY (LAMBDA (U) 00003750 (COND ((NULL U) NIL) 00003760 (T (ARLIST (CDR U) (CAR U)))))) 00003770 00003772 (ARLIST (LAMBDA (U N) 00003774 (COND ((ZEROP N) NIL) (T (CONS (MKARRAY U) (ARLIST U (SUB1 N))))))) 00003776 00003780 (GETEL (LAMBDA (U) 00003790 (GETEL1 (GET (CAR U) (QUOTE ARRAY)) (CDR U)))) 00003800 00003810 (GETEL1 (LAMBDA (U V) 00003820 (COND ((NULL V) U) 00003830 (T (GETEL1 (NTH U (ADD1 (CAR V))) (CDR V)))))) 00003840 00003850 (SETEL (LAMBDA (U V) 00003860 (PROG (X N) 00003870 (SETQ X (REVERSE (CDR U))) 00003880 (SETQ N (CAR X)) 00003890 (SETQ X (GETEL1 (GET (CAR U) (QUOTE ARRAY)) 00003900 (REVERSE (CDR X)))) 00003910 A (COND ((EQUAL N 0) (RETURN (RPLACA X V)))) 00003920 (SETQ N (SUB1 N)) 00003930 (SETQ X (CDR X)) 00003940 (GO A)))) 00003950 00003960 )) 00003970 00003980 COMMENT ((I O HANDLING ROUTINES)) 00003990 00004000 DEFINE (( 00004010 00004020 (IN (LAMBDA (U) 00004030 (INOUT U (QUOTE INPUT)))) 00004040 00004050 (OUT (LAMBDA (U) 00004060 (INOUT U (QUOTE OUTPUT)))) 00004070 00004080 (INOUT (LAMBDA (U V) 00004090 (PROG (ECHO INT) 00004100 (SETQ ECHO *ECHO) 00004110 (SETQ INT *INT) 00004120 A (COND ((NULL U) (GO E)) 00004130 ((EQ V (QUOTE OUTPUT)) (GO C)) 00004140 ((EQ (CAR U) (QUOTE T)) (GO L))) 00004150 (SETQ IFL* (CAR U)) 00004160 (COND ((MEMBER IFL* IPL*) (GO B))) 00004170 (OPEN IFL* V) 00004180 (SETQ IPL* (CONS IFL* IPL*)) 00004190 B (RDS IFL*) 00004200 (SETQ *ECHO T) 00004210 (SETQ *INT NIL) 00004220 (BEGIN1) 00004230 (SETQ U (CDR U)) 00004240 (GO A) 00004250 C (COND ((EQ (CAR U) (QUOTE T)) (GO M))) 00004260 (SETQ OFL* (CAR U)) 00004270 (COND ((MEMBER OFL* OPL*) (GO D))) 00004280 (OPEN OFL* V) 00004290 (SETQ OPL* (CONS OFL* OPL*)) 00004300 D (WRS OFL*) 00004310 E (SETQ *ECHO ECHO) 00004320 (SETQ *INT INT) 00004330 (RETURN NIL) 00004340 L (SETQ IFL* NIL) 00004350 (RDS NIL) 00004360 (GO E) 00004370 M (SETQ OFL* NIL) 00004380 (WRS NIL) 00004390 (GO E) 00004400 ))) 00004410 00004420 (SHUT (LAMBDA (U) 00004430 (PROG (X) 00004440 A (COND ((NULL U) (RETURN NIL))) 00004450 (SETQ X (CAR U)) 00004460 (COND ((MEMBER X OPL*) (GO B)) 00004470 ((NOT (MEMBER X IPL*)) 00004480 (REDERR (CONS X (QUOTE (NOT OPEN)))))) 00004490 (CLOSE X) 00004500 (SETQ IPL* (DELETE X IPL*)) 00004510 (COND ((NOT (EQUAL X IFL*)) (GO C))) 00004520 (RDS (SETQ IFL* (COND (IPL* (CAR IPL*)) (T NIL)))) 00004530 (GO C) 00004540 B (SETQ OPL* (DELETE X OPL*)) 00004550 (CLOSE X) 00004560 (COND ((NOT (EQ X OFL*)) (GO C))) 00004570 (SETQ OFL* NIL) 00004580 (WRS NIL) 00004590 C (SETQ U (CDR U)) 00004600 (GO A)))) 00004610 00004620 )) 00004630 00004640 DEFLIST (((SHUT RLIS) (IN RLIS) (OUT RLIS)) STAT) 00004650 00004660 00004670 COMMENT ((INITIALIZATION OF INPUT AND OUTPUT CHARACTER STRINGS)) 00004680 00004690 CSET (SWITCH* ( 00004700 ($$*$* NIL *SEMICOL* NIL) 00004710 ($$$;$ NIL *SEMICOL* NIL) 00004720 ($$$+$ NIL PLUS NIL $$$ + $) 00004730 ($$$-$ NIL MINUS NIL $$$ - $) 00004740 ($$$*$ $$$*$ TIMES EXPT) 00004750 ($$$/$ NIL QUOTIENT NIL) 00004760 ($$$=$ NIL EQUAL NIL) 00004770 ($$$,$ NIL *COMMA* NIL) 00004780 ($$$($ NIL *LPAR* NIL) 00004790 ($$$)$ NIL *RPAR* NIL) 00004800 ($$$.$ NIL CONS NIL) 00004810 ($$$:$ $$$=$ *COLON* SETQ) 00004820 ($$$<$ $$$=$ LESSP LESSEQ) 00004830 ($$$>$ $$$=$ GREATERP GREATEQ) 00004840 )) 00004850 00004860 00004870 COMMENT ((E N D O F R E D U C E P R E P R O C E S S O R)) 00004880 00004890 00004900 00004910 00010000 00010010 00010020 COMMENT ((R E D U C E M A I N P R O G R A M)) 00010030 00010040 (LAMBDA (U) (MAP U (FUNCTION (LAMBDA (J) (PTS (CAR J) NIL))))) ((*FORT 00010050 *ECHO *INT PRECLIS* ORIG* POSN* *NAT YCOORD* YMIN* YMAX* *LIST COUNT* 00010060 *CARDNO ECHO* FORTVAR* LLENGTH* PLINE* CURSYM* *MODE MATP* DEFN* 00010070 SEMIC* SYMFG* *MSG TMODE* *SQVAR* PROGRAM* PROGRAML* DIAG* VARS* 00010080 CRCHAR* IFL* OFL* IPL* OPL* PRI* ERFG*)) 00010090 00010100 (LAMBDA (U) (MAP U (FUNCTION (LAMBDA (J) (PTS (CAAR J) (CADAR J)))))) 00010110 (((*NAT T) (COUNT* 1) (*CARDNO 20) (ORIG* 0) (LLENGTH* 67) (*SQVAR* (T 00010120 )))) 00010130 00010140 DEFINE (( 00010150 00010160 (FLAGP** (LAMBDA (U V) 00010170 (AND (ATOM U) (NOT (NUMBERP U)) (FLAGP U V)))) 00010180 00010190 (GET* (LAMBDA (U V) 00010200 (COND ((NUMBERP U) NIL) (T (GET U V))))) 00010210 00010220 (EQCAR (LAMBDA (U V) 00010230 (AND (NOT (ATOM U)) (EQ (CAR U) V)))) 00010240 00010250 (MKPREC (LAMBDA NIL 00010260 (PROG (X Y) 00010270 (SETQ X (CONS (QUOTE SETQ) PRECLIS*)) 00010280 (SETQ Y 2) 00010290 A (COND ((NULL X) (RETURN NIL))) 00010300 (PUT (CAR X) (QUOTE INFIX) Y) 00010310 (SETQ X (CDR X)) 00010320 (SETQ Y (ADD1 Y)) 00010330 (GO A)))) 00010340 00010350 )) 00010360 00010370 PTS (PRECLIS* (AND OR MEMBER EQUAL UNEQ EQ GREATEQ GREATERP LESSEQ 00010380 LESSP PLUS MINUS TIMES QUOTIENT EXPT CONS)) 00010390 00010400 (LAMBDA NIL (PROG (W X Y Z) (MKPREC) (SETQ X SWITCH*) (MAP X (FUNCTION 00010410 (LAMBDA (J) (PUT (CAAR J) (QUOTE SWITCH*) (CDAR J))))) A (COND ((NULL 00010420 X) (RETURN NIL))) (SETQ W (CDAR X)) (PUT (CADR W) (QUOTE PRTCH) (LIST 00010430 (CAAR X) (CAAR X))) (COND ((CAR (SETQ Y (CDDR W))) (PROG2 (SETQ Z 00010440 (COMPRESS (LIST (CAAR X)(CAR W))))(PUT (CAR Y)(QUOTE PRTCH) (LIST Z Z) 00010450 )))) (COND ((NULL (CDR Y)) (GO B)) ((CADR Y) (RPLACA (GET (CADR W) 00010460 (QUOTE PRTCH))(CADR Y))))(COND ((CDDR Y)(RPLACA (GET (CAR Y) (QUOTE 00010470 PRTCH)) (CADDR Y)))) B (SETQ X (CDR X)) (GO A))) NIL 00010480 00010490 DEFLIST (((MINUS (PLUS . MINUS))) ALT) 00010500 00010510 DEFINE (( 00010520 00010530 (RVLIS (LAMBDA NIL 00010540 (PROG (X) 00010550 A (SETQ X (CONS (SCAN) X)) 00010560 (COND 00010570 ((OR (FLAGP** (SCAN) (QUOTE DELIM)) 00010580 (MEMBER CURSYM* (QUOTE (CLEAR LET MATCH SAVEAS)))) 00010590 (RETURN X)) 00010600 ((NOT (EQ CURSYM* (QUOTE *COMMA*))) (CURERR NIL T))) 00010610 (GO A)))) 00010620 00010630 (INFIXFN (LAMBDA NIL 00010640 (PROG (X) 00010650 (SETQ X (RVLIS)) 00010660 (COND 00010670 ((EQ *MODE (QUOTE ALGEBRAIC)) 00010680 (*APPLY (QUOTE OPERATOR) (LIST X)))) 00010690 (SETQ PRECLIS* (APPEND X PRECLIS*)) 00010700 (MKPREC)))) 00010710 00010720 (PRECEDFN (LAMBDA NIL 00010730 (PROG (W X Y Z) 00010740 (SETQ X (RVLIS)) 00010750 (SETQ Y (CAR X)) 00010760 (SETQ X (CADR X)) 00010770 (SETQ PRECLIS* (DELETE X PRECLIS*)) 00010780 (SETQ W PRECLIS*) 00010790 A (COND ((NULL W) (REDERR (CONS Y (QUOTE (NOT FOUND))))) 00010800 ((EQ Y (CAR W)) (GO B))) 00010810 (SETQ Z (CONS (CAR W) Z)) 00010820 (SETQ W (CDR W)) 00010830 (GO A) 00010840 B (SETQ PRECLIS* 00010850 (NCONC (REVERSE Z) (CONS (CAR W) (CONS X (CDR W))))) 00010860 (MKPREC)))) 00010870 00010880 )) 00010890 00010900 DEFINE (( 00010910 00010920 (MATHPRINT (LAMBDA (L) 00010930 (PROG NIL (MAPRIN L) (TERPRI*)))) 00010940 00010950 (MAPRIN (LAMBDA (U) 00010960 (MAPRINT U 0))) 00010970 00010980 (MAPRINT (LAMBDA (L P) 00010990 (PROG (X Y) 00011000 (COND ((NULL L) (RETURN NIL)) 00011010 ((ATOM L) (GO B)) 00011020 ((NOT (ATOM (CAR L))) (MAPRINT (CAR L) P)) 00011030 ((SETQ X (GET* (CAR L) (QUOTE INFIX))) (GO A)) 00011040 ((SETQ X (GET* (CAR L) (QUOTE SPECPRN))) 00011050 (RETURN (*APPLY X (LIST (CDR L))))) 00011060 (T (PRINC* (CAR L)))) 00011070 (PRINC* **LPAR) 00011080 (INPRINT (QUOTE *COMMA*) 0 (CDR L)) 00011090 E (RETURN (PRINC* **RPAR)) 00011100 B (COND ((NUMBERP L) (GO D)) 00011110 ((SETQ X (GET L (QUOTE OLDNAME))) 00011120 (RETURN (PRINC* X)))) 00011130 C (RETURN (PRINC* L)) 00011140 D (COND ((NOT (MINUSP L)) (GO C))) 00011150 (PRINC* **LPAR) 00011160 (PRINC* L) 00011170 (GO E) 00011180 A (SETQ P (NOT (GREATERP X P))) 00011190 (COND ((NOT P) (GO G))) 00011200 (SETQ Y ORIG*) 00011210 (PRINC* **LPAR) 00011220 (COND ((LESSP POSN* 15) (SETQ ORIG* POSN*))) 00011230 G (INPRINT (CAR L) X (CDR L)) 00011240 (COND ((NOT P) (RETURN NIL))) 00011250 (PRINC* **RPAR) 00011260 (SETQ ORIG* Y)))) 00011270 00011280 (INPRINT (LAMBDA (OP P L) 00011290 (PROG NIL 00011300 (COND ((FLAGP OP (QUOTE UNIP)) (GO A))) 00011310 (MAPRINT (CAR L) P) 00011320 (GO C) 00011330 A (COND ((NULL L) (RETURN NIL)) 00011340 ((AND (NOT (ATOM (CAR L))) 00011350 (GET* (CAAR L) (QUOTE ALT)) 00011360 (EQ OP (CAR (GET* (CAAR L) (QUOTE ALT))))) 00011370 (GO B))) 00011380 (OPRIN OP) 00011390 B (MAPRINT (CAR L) P) 00011400 (COND ((OR (NOT *NAT) (NOT (EQ OP (QUOTE EXPT)))) (GO C))) 00011410 (SETQ YCOORD* (SUB1 YCOORD*)) 00011420 (SETQ YMIN* (*EVAL (LIST (QUOTE MIN) YMIN* YCOORD*))) 00011430 C (SETQ L (CDR L)) 00011440 (GO A)))) 00011450 00011460 )) 00011470 00011480 DEFINE (( 00011490 00011500 (OPRIN (LAMBDA (OP) 00011510 ((LAMBDA(X) 00011520 (COND ((NULL X) (PRINC* OP)) 00011530 (*FORT (PRINC* (CADR X))) 00011540 (*NAT 00011550 (COND ((EQ OP (QUOTE EXPT)) 00011560 (PROG NIL 00011570 (SETQ YCOORD* (ADD1 YCOORD*)) 00011580 (SETQ YMAX* 00011590 (*EVAL 00011600 (LIST (QUOTE MAX) YMAX* YCOORD*))))) 00011610 ((AND *LIST 00011620 (MEMBER OP (QUOTE (PLUS MINUS QUOTIENT)))) 00011630 (PROG NIL (CLOSELINE) (TERPRI) (PPRINT (CAR X)))) 00011640 (T (PPRINT (CAR X))))) 00011650 (T (PRINC (CAR X))))) 00011660 (GET OP (QUOTE PRTCH))))) 00011670 00011680 (PRINC* (LAMBDA (U) 00011690 (COND (*NAT (PPRINT U)) 00011700 ((NULL *FORT) (PRINC U)) 00011710 (T 00011720 (PROG NIL 00011730 (COND 00011740 ((AND (EQUAL COUNT* *CARDNO) 00011750 (OR (EQ U **PLUSS) (EQ U **DASH))) 00011760 (GO B)) 00011770 ((NOT 00011780 (GREATERP (SETQ POSN* 00011790 (PLUS POSN* (LENGTH (EXPLODE U)))) 00011800 69)) 00011810 (GO A))) 00011820 (TERPRI) 00011830 (SPACES 5) 00011840 (PRINC (QUOTE X)) 00011850 (SETQ POSN* (PLUS 6 (LENGTH (EXPLODE U)))) 00011860 (SETQ COUNT* (ADD1 COUNT*)) 00011870 A (RETURN (COND (ECHO* (PRINC U)) (T NIL))) 00011880 B (TERPRI) 00011890 (SPACES 6) 00011900 (PRINC FORTVAR*) 00011910 (OPRIN (QUOTE EQUAL)) 00011920 (PRINC FORTVAR*) 00011930 (SETQ COUNT* 1) 00011940 (SETQ POSN* 20) 00011941 (GO A)))))) 00011950 00011960 (TERPRI* (LAMBDA NIL 00011970 (COND (*NAT (PROG NIL (CLOSELINE) (COND (ECHO* (TERPRI))))) 00011980 (*FORT (COND ((ZEROP POSN*) NIL) 00011990 (T (PROG NIL (TERPRI) (SETQ COUNT* 1) 00011992 (SETQ POSN* 0))))) 00011994 (T (TERPRI))))) 00012000 00012010 (PPRINT (LAMBDA (U) 00012020 (PROG (M N) 00012030 (SETQ N (LENGTH (EXPLODE U))) 00012040 (COND ((GREATERP N LLENGTH*) (GO A1))) 00012050 C (SETQ M (PLUS POSN* N)) 00012060 (COND ((AND (GREATERP M LLENGTH*) (NOT (TERPRI*))) (GO C))) 00012070 (SETQ PLINE* 00012080 (CONS (CONS (CONS (CONS POSN* M) YCOORD*) U) PLINE*)) 00012090 A (RETURN (SETQ POSN* M)) 00012100 A1 (TERPRI*) 00012110 (PRINC U) 00012120 (RETURN (SETQ POSN* (REMAINDER N LLENGTH*)))))) 00012130 00012140 (CLOSELINE (LAMBDA NIL 00012150 (PROG (N) 00012160 (COND ((OR (NULL PLINE*) (NULL ECHO*)) (GO C))) 00012170 (SETQ N YMAX*) 00012180 (SETQ PLINE* (REVERSE PLINE*)) 00012190 A (SCPRINT PLINE* N) 00012200 (COND ((EQUAL N YMIN*) (GO B))) 00012210 (TERPRI) 00012220 (SETQ N (SUB1 N)) 00012230 (GO A) 00012240 B (COND ((EQ ECHO* (QUOTE RESULT)) (TERPRI))) 00012250 C (SETP)))) 00012260 00012270 (SCPRINT (LAMBDA (U N) 00012280 (PROG (M) 00012290 (SETQ POSN* 0) 00012300 A (COND ((NULL U) (RETURN NIL)) 00012310 ((NOT (EQUAL (CDAAR U) N)) (GO B)) 00012320 ((NOT (MINUSP (SETQ M (DIFFERENCE (CAAAAR U) POSN*)))) 00012330 (SPACES M))) 00012340 (PRINC (CDAR U)) 00012350 (SETQ POSN* (CDAAAR U)) 00012360 B (SETQ U (CDR U)) 00012370 (GO A)))) 00012380 00012390 (SPACES* (LAMBDA (N) 00012400 (COND (*NAT (SETQ POSN* (PLUS N POSN*))) (T (SPACES N))))) 00012410 00012420 )) 00012430 00012440 DEFINE (( 00012450 00012460 (SETP (LAMBDA NIL 00012470 (PROG NIL 00012480 (SETQ PLINE* NIL) 00012490 (SETQ POSN* ORIG*) 00012500 (SETQ YMAX* 0) 00012510 (SETQ YMIN* 0) 00012520 (SETQ YCOORD* 0)))) 00012530 00012540 )) 00012550 00012560 FLAG ((MINUS NOT) UNIP) 00012570 00012580 DEFINE (( 00012590 00012600 (MREAD* (LAMBDA (J) 00012610 (PROG2 (SCAN) (MREAD J)))) 00012620 00012630 (MREAD (LAMBDA (J) 00012640 (PROG (U V W W1 X Y Z) 00012650 (SETQ Z -1) 00012660 A (SETQ V CURSYM*) 00012670 (COND ((OR (NOT (ATOM V)) (NUMBERP V)) (GO B)) 00012680 ((FLAGP V (QUOTE DELIM)) (GO ERR1)) 00012682 ((EQ V (QUOTE *LPAR*)) (GO E)) 00012690 ((AND (EQ V (QUOTE *RPAR*)) (NULL U)) (RETURN NIL))) 00012700 (SETQ X (GET V (QUOTE INFIX))) 00012710 B0 (COND ((SETQ W (GET* V (QUOTE ISTAT))) (GO L))) 00012720 B (SETQ W (SCAN)) 00012750 BX (SETQ Y NIL) 00012760 (COND ((OR (NOT (ATOM W)) (NUMBERP W)) (GO B2)) 00012762 ((FLAGP W (QUOTE DELIM)) (GO ENDD)) 00012764 ((EQ W (QUOTE *LPAR*)) (GO E2)) 00012770 ((EQ W (QUOTE *RPAR*)) (GO END0)) 00012780 (U (GO B1))) 00012790 BY (COND 00012800 ((AND J 00012870 (EQ W (QUOTE *COMMA*)) 00012880 (NOT (MEMBER J (QUOTE (MAT PAREN FUNC))))) 00012890 (RETURN V))) 00012900 B1 (SETQ Y (GET W (QUOTE INFIX))) 00012910 B2 (COND ((NULL X) (GO SYM)) 00012920 ((NOT (FLAGP V (QUOTE UNARY))) (GO ERR3))) 00012930 C (SETQ Z X) 00012940 (SETQ U (CONS (LIST V) U)) 00012950 (SETQ V W) 00012960 (SETQ X Y) 00012970 (COND ((OR (NOT (ATOM V)) (NUMBERP V)) (GO B)) (T (GO B0))) 00012980 SYM (COND ((NULL Y) (GO M)) 00012990 ((AND (NULL W1) 00013000 (SETQ W1 (GET W (QUOTE ALT))) 00013010 (SETQ W (CAR W1))) 00013020 (GO B1))) 00013030 SYM1 (COND ((OR (NULL Z) (LESSP Y Z)) (GO H)) 00013040 ((OR (GREATERP Y Z) (FLAGP W (QUOTE BINARY))) (GO G))) 00013050 (SETQ U (CONS (ACONC (CAR U) V) (CDR U))) 00013060 (GO G1) 00013070 E (SETQ V 00013080 (MREAD* 00013090 (COND ((EQ J (QUOTE MAT)) (QUOTE FUNC)) 00013100 (T (QUOTE PAREN))))) 00013110 (GO B) 00013130 E2 (COND ((EQ V (QUOTE MAT)) 00013140 (SETQ V (CONS V (REMCOMMA (MREAD* (SETQ MATP* V)))))) 00013150 ((AND (ATOM V) (GET V (QUOTE UNARY)) 00013152 (SETQ W (CAR (MREAD* (QUOTE FUNC))))) (GO C)) 00013154 ((OR (ATOM V) (EQ *MODE (QUOTE SYMBOLIC))) 00013160 (SETQ V (CONS V (MREAD* (QUOTE FUNC))))) 00013170 (T (GO ERR4))) 00013180 (SETQ X NIL) 00013185 (GO B) 00013190 G (SETQ U (CONS (LIST W V) U)) 00013200 (SETQ Z Y) 00013210 G1 (COND (W1 (GO G2))) 00013220 (SCAN) 00013230 G3 (SETQ X NIL) 00013232 (GO A) 00013240 G2 (SETQ CURSYM* (CDR W1)) 00013250 (SETQ W1 NIL) 00013260 (GO G3) 00013270 H (SETQ V (ACONC (CAR U) V)) 00013280 (SETQ U (CDR U)) 00013290 (COND ((AND (NULL U) (SETQ Z 0)) (GO BY))) 00013300 (SETQ Z (GET (CAAR U) (QUOTE INFIX))) 00013310 (GO SYM1) 00013320 L (SETQ V (*APPLY W NIL)) 00013330 (SETQ W CURSYM*) 00013340 (GO BX) 00013350 M (COND ((NUMBERP V) (GO ERR4)) 00013360 ((PROGVR V) 00013370 (LPRIM* 00013380 (APPEND (QUOTE (PROGRAM VARIABLE)) 00013390 (CONS V 00013400 (QUOTE (USED AS OPERATOR))))))) 00013410 (GO C) 00013420 END0 (COND ((NULL J) (GO ERR21)) (T (GO END2))) 00013430 ENDD (COND ((MEMBER J (QUOTE (MAT PAREN FUNC))) (GO ERR22))) 00013440 END2 (COND (X (GO ERR1))) 00013450 END1 (COND 00013460 ((NULL U) 00013470 (RETURN (COND ((EQ J (QUOTE FUNC)) (REMCOMMA V)) (T V))))) 00013480 (SETQ V (ACONC (CAR U) V)) 00013490 (SETQ U (CDR U)) 00013500 (GO END1) 00013510 ERR1 (CURERR (QUOTE (SYNTAX ERROR)) NIL) 00013520 ERR21 00013530 (CURERR (QUOTE (TOO MANY RIGHT PARENTHESES)) NIL) 00013540 ERR22 00013550 (CURERR (QUOTE (TOO FEW RIGHT PARENTHESES)) NIL) 00013560 ERR3 (CURERR (QUOTE (REDUNDANT OPERATOR)) 1) 00013570 ERR4 (CURERR (QUOTE (MISSING OPERATOR)) NIL)))) 00013580 00013590 (ACONC (LAMBDA (U V) 00013600 (NCONC U (LIST V)))) 00013610 00013620 (REMCOMMA (LAMBDA (U) 00013630 (COND ((EQCAR U (QUOTE *COMMA*)) (CDR U)) (T (LIST U))))) 00013640 00013650 (SCAN (LAMBDA NIL 00013660 (PROG (X Y) 00013670 (COND ((EQ CURSYM* (QUOTE *SEMICOL*)) (TERPRI*))) 00013680 A (COND ((EQ CRCHAR* **BLANK) (GO L)) 00013690 ((DIGIT CRCHAR*) (GO G)) 00013700 ((LITER CRCHAR*) (GO E)) 00013710 ((EQ CRCHAR* **XMARK) (GO E0)) 00013720 ((EQ CRCHAR* **QMARK) (GO P)) 00013730 ((EQ CRCHAR* **SMARK) (RETURN (COMM1 NIL))) 00013740 ((NULL (SETQ X (GET* CRCHAR* (QUOTE SWITCH*)))) 00013750 (GO B)) 00013760 ((EQ (SETQ Y (CADR X)) (QUOTE *SEMICOL*)) (GO J)) 00013770 ((EQ (READCH*) (CAR X)) (GO K))) 00013780 C (SETQ CURSYM* (CADR X)) 00013790 D (COND ((AND *ECHO *NAT) (SYMPRI CURSYM*))) 00013800 (COND 00013810 ((SETQ X (GET* CURSYM* (QUOTE NEWNAME))) (SETQ CURSYM* X))) 00013820 D1 (RETURN CURSYM*) 00013830 E0 (READCH*) 00013840 E (SETQ Y (CONS CRCHAR* Y)) 00013850 (COND 00013860 ((OR (DIGIT (READCH*)) (LITER CRCHAR*)) (GO E)) 00013870 ((EQ CRCHAR* **XMARK) (GO E0))) 00013880 (GO H) 00013890 G (SETQ Y (CONS CRCHAR* Y)) 00013900 (SETQ X CRCHAR*) 00013910 (COND 00013920 ((OR (DIGIT (READCH*)) 00013930 (EQ CRCHAR* **DOT) 00013940 (EQ CRCHAR* (QUOTE E)) 00013950 (EQ X (QUOTE E))) 00013960 (GO G))) 00013970 H (SETQ CURSYM* (COMPRESS (REVERSE Y))) 00013980 (GO D) 00013990 J (SETQ SEMIC* CRCHAR*) 00014000 (SETQ CRCHAR* **BLANK) 00014010 (GO C) 00014020 K (READCH*) 00014030 (SETQ CURSYM* (CADDR X)) 00014040 (GO D) 00014050 B (COND ((EQ CRCHAR* **ESC) (ERROR **ESC)) 00014060 (Y 00014070 (CURERR (CONS CRCHAR* (QUOTE (INVALID CHARACTER))) 00014080 NIL))) 00014090 (SETQ CURSYM* CRCHAR*) 00014100 (READCH*) 00014110 (GO D) 00014120 L (READCH*) 00014130 (GO A) 00014140 P (SETQ CURSYM* (LIST (QUOTE QUOTE) (READ))) 00014150 (READCH*) 00014160 (COND ((OR *ECHO *NAT) (MAPRIN CURSYM*))) 00014170 (GO D1)))) 00014180 00014190 )) 00014200 00014210 DEFINE (( 00014220 00014230 (LPRI (LAMBDA (U) 00014240 (PROG NIL 00014250 A (COND ((NULL U) (RETURN NIL))) 00014260 (PRINC* (CAR U)) 00014270 (SPACES* 1) 00014280 (SETQ U (CDR U)) 00014290 (GO A)))) 00014300 00014310 (LPRIE (LAMBDA (U X) 00014320 (PROG NIL (SETQ ERFG* T) (LPRIW U X (QUOTE *****))))) 00014330 00014340 (REDERR (LAMBDA (U) 00014350 (PROG2 (LPRIE U T) (ERROR*)))) 00014360 00014370 (LPRIW (LAMBDA (U X Y) 00014380 (PROG (V W) 00014390 (COND ((AND OFL* (OR *FORT (NOT *NAT))) (GO D))) 00014392 (TERPRI*) 00014400 A (SETQ V U) 00014410 (PRINC Y) 00014420 (PRINC **BLANK) 00014430 B (COND ((NULL V) (GO C))) 00014440 (PRINC (CAR V)) 00014450 (PRINC **BLANK) 00014460 (SETQ V (CDR V)) 00014470 (GO B) 00014480 C (COND (X (TERPRI))) 00014490 (COND ((NULL OFL*) (RETURN NIL)) (W (RETURN (WRS OFL*)))) 00014500 D (WRS NIL) 00014510 (SETQ W T) 00014520 (GO A)))) 00014530 00014540 )) 00014550 00014560 DEFLIST (((*COMMA* 1)) INFIX) 00014570 00014580 FLAG ((CONS EXPT QUOTIENT) BINARY) 00014590 00014600 FLAG ((PLUS MINUS TIMES NOT *COMMA*) UNARY) 00014610 00014620 FLAG ((*COLON* *SEMICOL*) DELIM) 00014630 00014640 DEFINE (( 00014670 00014680 (COMMAND (LAMBDA NIL 00014690 (PROG2 (SCAN) (COMMAND1 (QUOTE TOP))))) 00014700 00014710 (COMMAND1 (LAMBDA (U) 00014720 (PROG (V X Y) 00014730 A0 (COND ((NOT (ATOM U)) (SETQ V (CAR U))) 00014740 ((AND (EQ CURSYM* (QUOTE *SEMICOL*)) 00014750 (LIST (SCAN))) (GO A0)) 00014760 ((NOT (SETQ Y (GET* (SETQ V CURSYM*) (QUOTE STAT)))) 00014770 (SETQ V (MREAD 00014780 (AND (NOT (EQ U (QUOTE TOP))) 00014790 (OR (EQ U (QUOTE IF)) 00014800 (EQ *MODE (QUOTE SYMBOLIC)))))))) 00014810 (SETQ U 00014820 (AND (NOT (EQ *MODE (QUOTE SYMBOLIC))) 00014830 (OR PRI* (EQ U (QUOTE TOP))))) 00014840 (COND (Y (GO B)) 00014850 ((EQ CURSYM* (QUOTE *COLON*)) (RETURN V)) 00014860 ((EQCAR V (QUOTE SETQ)) (GO C)) 00014870 ((OR (EQUAL *MODE (QUOTE SYMBOLIC)) 00014880 (EQCAR V (QUOTE QUOTE)) 00014890 (AND (NUMBERP V) (FIXP V))) 00014900 (SETQ Y V)) 00014910 ((EQCAR V (QUOTE EQUAL)) (GO C)) 00014920 (T (SETQ Y (LIST (QUOTE AEVAL) (MKARG V))))) 00014930 A (COND ((AND U (EQ SEMIC* **SEMICOL)) 00014940 (SETQ Y (LIST (QUOTE VARPRI) X Y PRI*))) 00014950 ((AND PRI* (EQ *MODE (QUOTE SYMBOLIC))) 00014960 (SETQ Y (LIST (QUOTE PRINC) Y)))) 00014970 (RETURN Y) 00014980 B (SETQ Y (*APPLY Y NIL)) 00014990 (SETQ U (AND U (MEMBER V (QUOTE (BEGIN FOR IF))))) 00015000 (GO A) 00015010 C (SETQ V (CDR V)) 00015020 (COND ((NULL (CDDR V)) (GO D))) 00015030 (SETQ X PRI*) 00015040 (SETQ PRI* NIL) 00015050 (SETQ Y (COMMAND1 (LIST (CONS (QUOTE SETQ) (CDR V))))) 00015060 (SETQ PRI* X) 00015070 (SETQ X NIL) 00015080 D (COND ((EQ *MODE (QUOTE SYMBOLIC)) (GO E)) 00015090 (U 00015100 (SETQ X 00015110 (CONS (QUOTE LIST) 00015120 (MAPCAR 00015130 (REVERSE (CDR (REVERSE V))) 00015140 (FUNCTION MKARG*)))))) 00015150 (COND ((NULL (CDDR V)) 00015160 (SETQ Y (LIST (QUOTE AEVAL) (MKARG (CADR V)))))) 00015170 (SETQ Y 00015180 (COND 00015190 ((AND (ATOM (CAR V)) (PROGVR (CAR V))) 00015200 (LIST (QUOTE SETQ) (CAR V) Y)) 00015210 (T (LIST (QUOTE SETK) (MKARG (CAR V)) Y)))) 00015220 (GO A) 00015230 E (COND ((NULL (CDDR V)) (SETQ Y (CADR V)))) 00015240 (SETQ Y 00015250 (COND 00015260 ((ATOM (CAR V)) (LIST (QUOTE SETQ) (CAR V) Y)) 00015270 ((GET* (CAAR V) (QUOTE **ARRAY)) 00015280 (LIST (QUOTE SETEL) (CAR V) Y)) 00015282 (T (PROCDEF1 (CAR V) Y)))) 00015284 (GO A)))) 00015286 00015290 (MKARG (LAMBDA (U) 00015300 (COND ((NULL U) NIL) 00015310 ((ATOM U) (COND ((PROGVR U) U) (T (LIST (QUOTE QUOTE) U)))) 00015320 ((MEMBER (CAR U) (QUOTE (COND PROG QUOTE))) U) 00015330 (T (CONS (QUOTE LIST) (MAPCAR U (FUNCTION MKARG))))))) 00015340 00015350 (MKARG* (LAMBDA (U) 00015360 (COND ((NULL U) NIL) 00015370 ((ATOM U) (LIST (QUOTE QUOTE) U)) 00015420 (T (CONS (QUOTE LIST) (MAPCAR U (FUNCTION MKARG))))))) 00015430 00015440 (MKPROG (LAMBDA (U V) 00015480 (CONS (QUOTE PROG) (CONS U V)))) 00015490 00015510 (PROGVR (LAMBDA (VAR) 00015520 (COND ((NOT (ATOM VAR)) NIL) 00015530 ((NUMBERP VAR) T) 00015540 (T 00015550 ((LAMBDA (X) (COND (X (CAR X)) (T NIL))) 00015560 (GET VAR (QUOTE DATATYPE))))))) 00015570 00015580 )) 00015590 00015600 DEFINE (( 00015610 00015620 (LPRIM* (LAMBDA (U) 00015630 (PROG (X Y) 00015640 (COND ((AND OFL* (OR *FORT (NOT *NAT))) (GO C))) 00015650 A (SETQ X *NAT) 00015660 (SETQ *NAT NIL) 00015670 (LPRI (CONS (QUOTE ***) U)) 00015680 (TERPRI) 00015690 (SETQ *NAT X) 00015700 (COND ((NULL Y) (GO B))) 00015701 (WRS Y) 00015702 (RETURN NIL) 00015703 B (COND ((NULL OFL*) (RETURN NIL))) 00015704 C (SETQ Y OFL*) 00015705 (WRS NIL) 00015706 (GO A)))) 00015707 00015710 (SYMPRI (LAMBDA (U) 00015720 (PROG (X) 00015730 (COND 00015740 ((EQ U (QUOTE *SEMICOL*)) (PRINC* SEMIC*)) 00015750 ((SETQ X (GET* U (QUOTE PRTCH))) (PRINC* (CAR X))) 00015760 (T (GO B))) 00015770 (RETURN (SETQ SYMFG* NIL)) 00015780 B (COND (SYMFG* (SPACES* 1))) 00015790 (PRINC* U) 00015800 (SETQ SYMFG* T)))) 00015810 00015820 (CURERR (LAMBDA (U V) 00015830 (PROG (X) 00015840 (SETQ ECHO* T) 00015850 (TERPRI) 00015860 (SETQ X CURSYM*) 00015870 (COND ((NULL PLINE*) (GO B)) 00015880 ((EQUAL V 1) 00015890 (SETQ PLINE* 00015900 (CONS (CAR PLINE*) 00015910 (CONS 00015920 (CONS (CONS (CAAADR PLINE*) -1) **EMARK) 00015930 (CDR PLINE*))))) 00015940 (T 00015950 (SETQ PLINE* 00015960 (CONS (CONS (CONS (CAAAR PLINE*) -1) **EMARK) 00015970 PLINE*)))) 00015980 (SETQ YMIN* -1) 00015990 B (COMM1*) 00016000 (COND ((NUMBERP V) (SETQ V NIL))) 00016010 (COND ((AND (NULL U) (NULL V)) (GO A)) 00016020 ((NULL V) (LPRIE U T)) 00016030 (T (LPRIE 00016040 (CONS X 00016050 (CONS (QUOTE INVALID) 00016060 (COND 00016070 (U 00016080 (LIST (QUOTE IN) 00016090 U 00016100 (QUOTE STATEMENT))) 00016110 (T NIL)))) 00016120 T))) 00016130 A (ERROR*)))) 00016140 00016150 (ERROR* (LAMBDA NIL 00016160 (PROG2 (TERPRI*) (ERROR NIL)))) 00016170 00016180 )) 00016190 00016200 DEFINE (( 00016210 00016220 (GREATEQ (LAMBDA (U V) 00016230 (OR (EQUAL U V) (GREATERP U V)))) 00016240 00016250 (LESSEQ (LAMBDA (U V) 00016260 (OR (EQUAL U V) (LESSP U V)))) 00016270 00016280 (UNEQ (LAMBDA (U V) 00016290 (NOT (EQUAL U V)))) 00016300 00016310 (REDMSG (LAMBDA (U V W) 00016320 (COND ((NULL *MSG) T) 00016330 ((AND *INT W) (REDMSG1 U V)) 00016340 (T (NULL (LPRIM* (LIST U (QUOTE DECLARED) V))))))) 00016350 00016360 (DELETE (LAMBDA (U V) 00016370 (COND ((NULL V) NIL) 00016380 ((EQUAL U (CAR V)) (CDR V)) 00016390 (T (CONS (CAR V) (DELETE U (CDR V))))))) 00016400 00016410 (SETDIFF (LAMBDA (U V) 00016420 (COND ((NULL V) U) (T (SETDIFF (DELETE (CAR V) U) (CDR V)))))) 00016430 00016440 (XN (LAMBDA (U V) 00016450 (COND ((NULL U) NIL) 00016460 ((MEMBER (CAR U) V) 00016470 (CONS (CAR U) (XN (CDR U) (DELETE (CAR U) V)))) 00016480 (T (XN (CDR U) V))))) 00016490 00016500 )) 00016510 00016520 DEFINE (( 00016530 00016540 (PROCDEF (LAMBDA NIL 00016550 (PROG (X Y) 00016560 (COND ((ATOM (SETQ X (MREAD* NIL))) (SETQ X (LIST X)))) 00016570 (SCAN) 00016580 (SETQ Y (FLAGTYPE (CDR X) (QUOTE SCALAR))) 00016581 (SETQ X (PROCDEF1 X (COMMAND1 NIL))) 00016582 (REMTYPE Y) 00016583 (RETURN X)))) 00016584 00016600 (PROCDEF1 (LAMBDA (U BODY) 00016602 (PROG (NAME VARLIS) 00016604 (SETQ NAME (CAR U)) 00016610 (COND 00016620 ((OR (NULL NAME) (NOT (ATOM NAME)) (NUMBERP NAME)) 00016630 (CURERR NAME NIL)) 00016640 ((NOT (GETD NAME)) (FLAG (LIST NAME) (QUOTE FNC)))) 00016650 (COND ((EQCAR BODY (QUOTE PROG)) (SETQ VARLIS (CADR BODY)))) 00016660 (COND (VARLIS (RPLACA (CDR BODY) (SETDIFF VARLIS (CDR U))))) 00016680 (SETQ VARLIS (CDR U)) 00016690 (AND (NOT (FLAGP NAME (QUOTE FNC))) 00016710 (LPRIM* (LIST NAME (QUOTE REDEFINED)))) 00016720 (DEF* NAME VARLIS BODY DEFN*) 00016730 (REMPROP NAME (QUOTE FNC)) 00016740 (RETURN (LIST (QUOTE QUOTE) NAME))))) 00016760 00016780 (FLAGTYPE (LAMBDA (U V) 00016790 (PROG (X Y Z) 00016800 A (COND ((NULL U) (RETURN (REVERSE Z)))) 00016810 (SETQ X (CAR U)) 00016820 (COND ((GET X (QUOTE SIMPFN)) 00016830 (REDERR (APPEND (QUOTE (TYPE CONFLICT FOR)) (LIST X))))) 00016830 (SETQ Y (GET X (QUOTE DATATYPE))) 00016840 (PUT X (QUOTE DATATYPE) (CONS V Y)) 00016910 (SETQ Z (CONS X Z)) 00016920 C (SETQ U (CDR U)) 00016930 (GO A)))) 00016940 00016970 (REMTYPE (LAMBDA (VARLIS) 00016980 (PROG (X Y) 00016990 A (COND ((NULL VARLIS) (RETURN NIL))) 00017000 (SETQ X (CAR VARLIS)) 00017010 (SETQ Y (CDR (GET X (QUOTE DATATYPE)))) 00017020 (COND (Y (PUT X (QUOTE DATATYPE) Y)) 00017060 (T (REMPROP X (QUOTE DATATYPE)))) 00017070 (SETQ VARLIS (CDR VARLIS)) 00017080 (GO A)))) 00017090 00017100 (NEWVAR (LAMBDA (U) 00017110 (COMPRESS (CONS **FMARK (EXPLODE U))))) 00017120 00017130 (DEF* (LAMBDA (NAME VARLIS BODY FN) 00017140 (*APPLY FN 00017150 (LIST 00017160 (LIST (LIST NAME (LIST (QUOTE LAMBDA) VARLIS BODY))))))) 00017170 00017180 )) 00017190 00017200 DEFINE (( 00017210 00017220 (PROCBLOCK (LAMBDA NIL 00017230 (PROG (X HOLD VARLIS) 00017240 (SCAN) 00017250 (COND ((MEMBER CURSYM* (QUOTE (NIL *RPAR*))) (ERROR **ESC))) 00017260 (SETQ VARLIS (DECL T)) 00017270 A (COND ((EQ CURSYM* (QUOTE END)) (GO B))) 00017280 (SETQ X (COMMAND1 NIL)) 00017290 (COND ((EQCAR X (QUOTE END)) (GO C))) 00017300 (AND (NOT (EQ CURSYM* (QUOTE END))) (SCAN)) 00017310 (COND (X (SETQ HOLD (ACONC HOLD X)))) 00017320 (GO A) 00017330 B (COMM1 (QUOTE END)) 00017340 C (REMTYPE VARLIS) 00017350 (COND ((NOT (EQ *MODE (QUOTE SYMBOLIC))) 00017351 (SETQ HOLD (ACONC HOLD (QUOTE (RETURN 0)))))) 00017352 (RETURN (MKPROG VARLIS HOLD))))) 00017360 00017380 (DECL* (LAMBDA NIL 00017390 (MAP (DECL NIL) (FUNCTION (LAMBDA (J) 00017400 (PUT (CAR J) (QUOTE SPECIAL) (LIST NIL))))))) 00017400 00017410 (DECL (LAMBDA (U) 00017420 (PROG (V W VARLIS) 00017430 A (COND 00017440 ((NOT (MEMBER CURSYM* (QUOTE (REAL INTEGER SCALAR)))) 00017450 (RETURN VARLIS))) 00017460 (SETQ W CURSYM*) 00017470 (COND ((EQ (SCAN) (QUOTE PROCEDURE)) (RETURN (ALGFN)))) 00017480 (SETQ V (FLAGTYPE (REMCOMMA (MREAD NIL)) W)) 00017490 (SETQ VARLIS (APPEND V VARLIS)) 00017500 (AND (NOT (EQ CURSYM* (QUOTE *SEMICOL*))) (CURERR NIL T)) 00017510 (AND U (SCAN)) 00017520 (GO A)))) 00017530 00017540 (GOFN (LAMBDA NIL 00017550 (PROG (VAR) 00017560 (SETQ VAR 00017570 (COND ((EQ (SCAN) (QUOTE TO)) (SCAN)) (T CURSYM*))) 00017580 (SCAN) 00017590 (RETURN (LIST (QUOTE GO) VAR))))) 00017600 00017610 (RETFN (LAMBDA NIL 00017620 (LIST (QUOTE RETURN) 00017630 (COND ((FLAGP** (SCAN) (QUOTE DELIM)) NIL) 00017635 (T (COMMAND1 NIL)))))) 00017640 00017650 (ENDFN (LAMBDA NIL 00017660 (PROG2 (COMM1 (QUOTE END)) (QUOTE (END))))) 00017670 00017680 )) 00017690 00017700 DEFINE (( 00017710 00017720 (FORSTAT (LAMBDA NIL 00017730 (COND ((EQ (SCAN) (QUOTE ALL)) (FORALLFN*)) (T (FORLOOP))))) 00017740 00017750 (FORLOOP (LAMBDA NIL 00017760 (PROG (CURS EXP INCR INDX CONDLIST BODY FLG FNC LAB1 LAB2) 00017770 (SETQ FNC (GENSYM)) 00017780 (SETQ EXP (MREAD T)) 00017790 (COND 00017800 ((AND (EQ (CAR EXP) (QUOTE *COMMA*)) 00017810 (EQCAR (CADR EXP) (QUOTE SETQ))) 00017820 (SETQ EXP 00017830 (LIST NIL 00017840 (CADADR EXP) 00017850 (CONS (QUOTE *COMMA*) 00017860 (NCONC (CDDADR EXP) (CDDR EXP)))))) 00017870 ((NOT (MEMBER (CAR EXP) (QUOTE (SETQ EQUAL)))) (GO ERR))) 00017880 (SETQ EXP (CDR EXP)) 00017890 (COND 00017900 ((OR (NOT (ATOM (SETQ INDX (CAR EXP)))) (NUMBERP INDX)) 00017910 (GO ERR))) 00017920 (SETQ INDX (CAR (FLAGTYPE (LIST INDX) (QUOTE INTEGER)))) 00017920 A (SETQ EXP (REMCOMMA (CADR EXP))) 00017930 A1 (COND ((NULL EXP) (GO B2)) 00017940 ((CDR EXP) (SETQ FLG T)) 00017950 ((EQ CURSYM* (QUOTE STEP)) (GO B1)) 00017960 ((EQ CURSYM* (QUOTE *COLON*)) (GO BB))) 00017970 (SETQ CONDLIST 00017980 (NCONC CONDLIST 00017990 (LIST (LIST (QUOTE SETQ) INDX (MKEX (CAR EXP))) 00018000 (LIST FNC)))) 00018010 B0 (SETQ EXP (CDR EXP)) 00018020 (GO A1) 00018030 B1 (SETQ INCR (MKEX (MREAD* NIL))) 00018040 (COND 00018050 ((NOT (MEMBER (SETQ CURS CURSYM*) (QUOTE (UNTIL WHILE)))) 00018060 (GO ERR))) 00018070 AA (SETQ LAB1 (GENSYM)) 00018080 (SETQ LAB2 (GENSYM)) 00018090 (SETQ CONDLIST 00018100 (ACONC CONDLIST(LIST (QUOTE SETQ) INDX (MKEX (CAR EXP))))) 00018110 (SETQ EXP (REMCOMMA (MREAD* NIL))) 00018120 (SETQ BODY (MKEX (CAR EXP))) 00018130 (SETQ CONDLIST 00018140 (NCONC CONDLIST 00018150 (LIST LAB1 00018160 (LIST (QUOTE COND) 00018170 (LIST 00018180 (COND 00018190 ((EQ CURS (QUOTE UNTIL)) 00018200 (COND 00018210 ((NUMBERP INCR) 00018220 (LIST 00018230 (COND 00018240 ((MINUSP INCR) 00018250 (QUOTE LESSP)) 00018260 (T (QUOTE GREATERP))) 00018270 INDX 00018280 BODY)) 00018290 (T 00018300 (LIST 00018310 (QUOTE MINUSP) 00018320 (LIST 00018330 (QUOTE TIMES) 00018340 (LIST 00018350 (QUOTE DIFFERENCE) 00018360 BODY 00018370 INDX) 00018380 INCR))))) 00018390 (T (LIST (QUOTE NOT) BODY))) 00018400 (LIST (QUOTE GO) LAB2))) 00018410 (LIST FNC) 00018420 (LIST (QUOTE SETQ) 00018430 INDX 00018440 (LIST (QUOTE PLUS) INDX INCR)) 00018450 (LIST (QUOTE GO) LAB1) 00018460 LAB2))) 00018470 (AND (CDR EXP) (SETQ FLG T)) 00018480 (GO B0) 00018490 BB (SETQ INCR 1) 00018500 (SETQ CURS (QUOTE UNTIL)) 00018510 (GO AA) 00018520 B2 (COND ((NULL CONDLIST) (GO ERR)) 00018530 ((MEMBER CURSYM* (QUOTE (SUM PRODUCT))) (GO C)) 00018540 ((NOT (EQ CURSYM* (QUOTE DO))) (GO ERR))) 00018550 (SCAN) 00018560 (SETQ BODY (COMMAND1 NIL)) 00018570 B (COND (FLG (DEF* FNC NIL BODY (QUOTE DEFINE))) 00018590 (T (SETQ CONDLIST (ADFORM BODY (LIST FNC) CONDLIST)))) 00018600 (REMTYPE (LIST INDX)) 00018602 (RETURN (MKPROG (CONS INDX EXP) (ACONC CONDLIST 00018610 (QUOTE (RETURN NIL))))) 00018612 C (SETQ CURS CURSYM*) 00018620 (SETQ EXP (GENSYM)) 00018630 (SETQ BODY 00018640 (LIST (QUOTE SETQ) 00018650 EXP 00018660 (LIST 00018670 (COND 00018680 ((EQ CURS (QUOTE SUM)) (QUOTE ADDSQ)) 00018690 (T (QUOTE MULTSQ))) 00018700 (LIST (QUOTE AEVAL1) (MKARG (MREAD* T))) 00018710 EXP))) 00018720 (SETQ CONDLIST 00018730 (CONS (LIST (QUOTE SETQ) 00018740 EXP 00018750 (LIST (QUOTE CONS) 00018760 (COND 00018770 ((EQ CURS (QUOTE SUM)) NIL) 00018780 (T 1)) 00018790 1)) 00018800 (ACONC CONDLIST 00018810 (LIST (QUOTE RETURN) 00018820 (LIST (QUOTE MK*SQ) 00018830 (LIST (QUOTE SUBS2) EXP)))))) 00018840 (SETQ EXP (LIST EXP)) 00018840 (GO B) 00018850 ERR (CURERR (QUOTE FOR) T)))) 00018900 00018910 (ADFORM (LAMBDA (U V W) 00018920 (COND ((NULL W) NIL) 00018930 ((EQUAL V (CAR W)) 00018940 ((LAMBDA(X) 00018950 (COND (X (APPEND X (CDR W))) (T (CONS U (CDR W))))) 00018960 (PROGCHK U))) 00018970 (T (CONS (CAR W) (ADFORM U V (CDR W))))))) 00018980 00018990 (PROGCHK (LAMBDA (U) 00019000 (PROG (X) 00019010 (COND 00019020 ((OR (NOT (EQCAR U (QUOTE PROG))) (CADR U)) (RETURN NIL))) 00019030 (SETQ U (CDR U)) 00019040 A (SETQ U (CDR U)) 00019050 (COND ((NULL U) (RETURN (REVERSE X))) 00019060 ((ATOM (CAR U)) (GO B)) 00019070 ((EQCAR (CAR U) (QUOTE RETURN)) (GO RET)) 00019080 ((EQCAR (CAR U) (QUOTE PROG)) (GO B)) 00019090 ((MEMBER (QUOTE RETURN) (FLATTEN (CAR U))) 00019100 (RETURN NIL))) 00019110 B (SETQ X (CONS (CAR U) X)) 00019120 (GO A) 00019130 RET (COND ((CDR U) (RETURN NIL)) 00019135 ((NOT (ATOM (CADAR U))) (SETQ X (CONS (CADAR U) X)))) 00019140 (GO A)))) 00019145 00019150 (FLATTEN (LAMBDA (U) 00019160 (COND ((NULL U) NIL) 00019170 ((ATOM U) (LIST U)) 00019180 ((ATOM (CAR U)) (CONS (CAR U) (FLATTEN (CDR U)))) 00019190 (T (NCONC (FLATTEN (CAR U)) (FLATTEN (CDR U))))))) 00019200 00019210 )) 00019220 00019230 DEFINE (( 00019240 00019250 (IFSTAT (LAMBDA NIL 00019260 (PROG (CONDX CONDIT) 00019270 (FLAG (QUOTE (CLEAR LET MATCH)) (QUOTE DELIM)) 00019280 A (SETQ CONDX (MREAD* T)) 00019290 (REMFLAG (QUOTE (CLEAR LET MATCH)) (QUOTE DELIM)) 00019300 (COND ((NOT (EQ CURSYM* (QUOTE THEN))) (GO C))) 00019330 (SCAN) 00019340 (SETQ CONDIT(ACONC CONDIT (LIST (MKEX CONDX) (COMMAND1 NIL)))) 00019350 (COND ((NOT (EQ CURSYM* (QUOTE ELSE))) (GO B)) 00019360 ((EQ (SCAN) (QUOTE IF)) (GO A)) 00019370 (T 00019380 (SETQ CONDIT 00019390 (ACONC CONDIT 00019400 (LIST T (COMMAND1 (QUOTE IF))))))) 00019410 B (RETURN (CONS (QUOTE COND) CONDIT)) 00019420 C (COND 00019430 ((NOT (MEMBER CURSYM* (QUOTE (CLEAR LET MATCH)))) 00019440 (CURERR (QUOTE IF) T))) 00019450 (SETQ MCOND* (MKEX CONDX)) 00019460 (RETURN (FORALLFN (GVARB CONDX)))))) 00019470 00019480 (MKEX (LAMBDA (U) 00019490 (COND ((EQ *MODE (QUOTE SYMBOLIC)) U) (T (APROC U))))) 00019500 00019510 (APROC (LAMBDA (U) 00019520 (COND ((NULL U) NIL) 00019530 ((ATOM U) 00019540 (COND ((AND (NUMBERP U) (FIXP U)) U) 00019550 (T (LIST (QUOTE REVAL) (MKARG U))))) 00019560 ((MEMBER (CAR U) (QUOTE (COND PROG))) U) 00019570 ((MEMBER (CAR U) (QUOTE (EQUAL UNEQ))) 00019580 (LIST (CAR U) 00019590 (LIST (QUOTE REVAL) 00019600 (MKARG 00019610 (LIST (QUOTE PLUS) 00019620 (CADR U) 00019630 (LIST (QUOTE MINUS) (CARX (CDDR U)))))) 00019640 0)) 00019650 (T (CONS (CAR U) (MAPCAR (CDR U) (FUNCTION APROC))))))) 00019660 00019670 (ARB (LAMBDA (U) 00019680 T)) 00019690 00019700 (GVARB (LAMBDA (U) 00019710 (COND ((ATOM U) (COND ((NUMBERP U) NIL) (T (LIST U)))) 00019720 ((EQ (CAR U) (QUOTE QUOTE)) NIL) 00019730 (T 00019740 (MAPCON (CDR U) (FUNCTION (LAMBDA (J) (GVARB (CAR J))))))))) 00019750 00019760 )) 00019770 00019780 FLAG ((THEN ELSE END STEP DO SUM PRODUCT UNTIL WHILE) DELIM) 00019790 00019800 DEFINE (( 00019810 00019820 (ALGFN (LAMBDA NIL 00019830 (ALGFN* (QUOTE ALGEBRAIC)))) 00019840 00019850 (LSPFN (LAMBDA NIL 00019860 (ALGFN* (QUOTE SYMBOLIC)))) 00019870 00019880 (ALGFN* (LAMBDA (U) 00019890 (PROG (X) 00019900 (COND ((EQ CURSYM* (QUOTE PROCEDURE)) (GO A)) 00019910 ((EQ CURSYM* (QUOTE MACRO)) (SETQ DEFN* CURSYM*)) 00019920 ((EQ CURSYM* (QUOTE FEXPR)) 00019930 (SETQ DEFN* (QUOTE DEFEXPR)))) 00019940 (COND 00019950 ((FLAGP** (SCAN) (QUOTE DELIM)) (GO B))) 00019960 A (SETQ TMODE* *MODE) 00019970 (SETQ *MODE U) 00019980 (COND 00019990 ((NOT (EQ CURSYM* (QUOTE PROCEDURE))) 00020000 (RETURN (COMMAND1 NIL)))) 00020010 (SETQ X (PROCDEF)) 00020020 (COND 00020030 ((NOT (EQ U (QUOTE SYMBOLIC)))(FLAG (CDR X)(QUOTE OPFN)))) 00020035 (RETURN (CONS (QUOTE QUOTE) (CDR X))) 00020040 B (SETQ *MODE U)))) 00020050 00020060 (RLIS (LAMBDA NIL 00020070 (RLIS* T))) 00020080 00020090 (NORLIS (LAMBDA NIL 00020100 (RLIS* NIL))) 00020110 00020120 (RLIS* (LAMBDA (U) 00020130 (PROG (X Y) 00020140 (SETQ X CURSYM*) 00020150 (COND ((FLAGP** (SCAN) (QUOTE DELIM)) (GO A))) 00020160 (SETQ Y (REMCOMMA (MREAD NIL))) 00020170 (COND (U (SETQ Y (LIST Y)))) 00020180 A (RETURN (CONS X (MAPCAR Y (FUNCTION MKARG))))))) 00020190 00020200 )) 00020210 00020220 DEFINE (( 00020230 00020240 (COMM1* (LAMBDA NIL 00020250 (COMM1 T))) 00020260 00020270 (COMM1 (LAMBDA (U) 00020280 (PROG (X Y) 00020290 (SETQ X (AND (OR *ECHO ECHO*) *NAT)) 00020300 (COND 00020310 ((AND (EQ U (QUOTE END)) 00020320 (MEMBER (SCAN) (QUOTE (ELSE END UNTIL *RPAR*)))) 00020330 (GO RET1))) 00020340 (COND (U (GO LOOP)) (X (PRINC* CRCHAR*))) 00020350 (SETQ Y (LIST CRCHAR*)) 00020360 (GO A) 00020370 LOOP (COND ((NULL U) (GO L1)) 00020380 ((EQ CURSYM* (QUOTE *SEMICOL*)) (GO RET1)) 00020390 ((OR (EQ CRCHAR* **SEMICOL) 00020400 (EQ CRCHAR* **DOLLAR) 00020410 (EQ CRCHAR* **ESC)) 00020420 (GO RET))) 00020430 L1 (COND (X (PRINC* CRCHAR*))) 00020440 (COND 00020450 ((OR (NULL U) (EQ U (QUOTE END))) 00020460 (SETQ Y (CONS CRCHAR* Y)))) 00020470 (COND 00020480 ((AND (EQ U (QUOTE END)) 00020490 (EQ CRCHAR* (QUOTE D)) 00020500 (EQCAR (CDR Y) (QUOTE N)) 00020510 (EQCAR (CDDR Y) (QUOTE E)) 00020520 (SETQ CRCHAR* **BLANK) 00020530 (SETQ CURSYM* (QUOTE END))) 00020540 (GO RET1)) 00020550 ((AND (NULL U) (EQ CRCHAR* **SMARK)) (GO RETS))) 00020560 A (SETQ CRCHAR* (READCH*)) 00020570 (GO LOOP) 00020580 RET (SCAN) 00020590 RET1 (RETURN (COND (X (TERPRI*)) (T NIL))) 00020600 RETS (SETQ CURSYM* (MKSTRING (REVERSE Y))) 00020610 (READCH*) 00020620 (RETURN CURSYM*)))) 00020630 00020640 (QOTPRI (LAMBDA (U) 00020650 (PROG2 (PRINC* **QMARK) (PRIN0* (CAR U))))) 00020660 00020670 (PRIN0* (LAMBDA (U) 00020680 (PROG NIL 00020690 (COND ((ATOM U) (RETURN (PRINC* U)))) 00020700 (PRINC* **LPAR) 00020710 A (COND ((NULL U) (GO B)) ((ATOM U) (GO C))) 00020720 (PRIN0* (CAR U)) 00020730 (COND ((CDR U) (PRINC* **BLANK))) 00020740 (SETQ U (CDR U)) 00020750 (GO A) 00020760 B (RETURN (PRINC* **RPAR)) 00020770 C (PRINC* **DOT) 00020780 (PRINC* **BLANK) 00020790 (PRINC* U) 00020800 (GO B)))) 00020810 00020820 )) 00020830 00020840 DEFLIST (((QUOTE QOTPRI)) SPECPRN) 00020850 00020860 DEFINE (( 00020870 00020880 (LMDEF (LAMBDA NIL 00020890 (PROG (X) 00020900 (COND 00020910 ((NOT (EQ *MODE (QUOTE SYMBOLIC))) 00020920 (CURERR (QUOTE ALGEBRAIC) T))) 00020930 (SETQ CURSYM* (QUOTE *COMMA*)) 00020940 (SETQ X (MREAD NIL)) 00020950 (RETURN (LIST (QUOTE LAMBDA) (CDR X) (COMMAND1 NIL)))))) 00020960 00020970 (WRITEFN (LAMBDA NIL 00020980 (PROG (X Y Z) 00020990 (SETQ X (MREAD* NIL)) 00021000 (SETQ PRI* T) 00021010 (SETQ X 00021020 (COND 00021030 ((EQCAR X (QUOTE *COMMA*)) (CDR X)) 00021040 (T (LIST X)))) 00021050 A (COND ((NULL X) (GO B))) 00021060 (SETQ Z (COMMAND1 (LIST (CAR X)))) 00021065 (COND ((NULL (CDR X)) (SETQ Z (LIST (QUOTE RETURN) Z)))) 00021070 (SETQ Y (ACONC Y Z)) 00021075 (SETQ X (CDR X)) 00021080 (GO A) 00021090 B (SETQ PRI* NIL) 00021100 (RETURN (MKPROG NIL (CONS (QUOTE (TERPRI*)) Y)))))) 00021110 00021120 )) 00021130 00021140 DEFINE (( 00021150 00021160 (ON1 (LAMBDA (U V) 00021170 (PROG (X) 00021180 A (COND ((NULL U) (RETURN NIL))) 00021190 (PTS (COMPRESS (APPEND (EXPLODE **STAR) (EXPLODE (CAR U)))) 00021200 V) 00021210 (COND 00021220 ((SETQ X (ASSOC V (GET* (CAR U) (QUOTE SIMPFG)))) 00021230 (*APPLY (CONVRT (CDR X) NIL) NIL))) 00021240 (SETQ U (CDR U)) 00021250 (GO A)))) 00021260 00021270 (ON (LAMBDA (U) 00021280 (ON1 U T))) 00021290 00021300 (OFF (LAMBDA (U) 00021310 (ON1 U NIL))) 00021320 00021330 )) 00021340 00021350 DEFINE (( 00021360 00021370 (AARRAY (LAMBDA (U) 00021380 (PROG (X Y) 00021390 A (COND ((NULL U) (RETURN NIL))) 00021400 (SETQ X (CAR U)) 00021410 (COND 00021420 ((OR (NUMBERP (CAR X)) 00021430 (NOT (ATOM (CAR X))) 00021440 (GET (CAR X) (QUOTE SIMPFN)) 00021460 (GET (CAR X) (QUOTE APROP))) 00021465 (REDERR (APPEND (QUOTE (TYPE CONFLICT FOR)) 00021470 (LIST (CAR X))))) 00021475 ((NOT (NUMLIS (SETQ Y (MAPCAR (CDR X) 00021480 (FUNCTION REVAL))))) (ERRPRI2 X))) 00021485 (PUT (CAR X) (QUOTE **ARRAY) Y) 00021490 (*ARRAY 00021495 (LIST (CONS (CAR X) (MAPCAR Y (FUNCTION ADD1))))) 00021500 B (SETQ U (CDR U)) 00021520 (GO A)))) 00021530 00021560 (NUMLIS (LAMBDA (U) 00021570 (OR (NULL U) (AND (NUMBERP (CAR U)) (NUMLIS (CDR U)))))) 00021580 00021590 )) 00021600 00021610 DEFLIST (((AARRAY RLIS)) STAT) 00021620 00021630 (LAMBDA NIL (PUT (QUOTE ARRAY) (QUOTE NEWNAME) (QUOTE AARRAY))) NIL 00021640 00021650 DEFINE (( 00021660 00021670 (BEGIN1 (LAMBDA NIL 00021680 (PROG (RESULT) 00021690 (SETQ CURSYM* NIL) 00021700 A (TERPRI) 00021710 (COND ((AND TMODE* (SETQ *MODE TMODE*)) (SETQ TMODE* NIL))) 00021720 (SETQ ECHO* *ECHO) 00021730 (SETQ ERFG* NIL) 00021740 (COND ((EQ CURSYM* (QUOTE END)) (GO ND0))) 00021750 (SETQ CRCHAR* **BLANK) 00021760 (SETQ DEFN* (QUOTE DEFINE)) 00021770 (OVOFF) 00021771 (SETQ PROGRAM* (ERRORSET (QUOTE (COMMAND)) T)) 00021780 (COND ((OR (ATOM PROGRAM*) (CDR PROGRAM*)) (GO ERR1))) 00021790 (SETQ PROGRAM* (CAR PROGRAM*)) 00021800 (COND 00021810 ((EQ (CAR PROGRAM*) (QUOTE RETRY)) 00021820 (SETQ PROGRAM* PROGRAML*)) 00021830 ((EQCAR PROGRAM* (QUOTE *COMMA*)) (GO ER)) 00021835 ((EQ (CAR PROGRAM*) (QUOTE END)) (GO ND1)) 00021840 (DIAG* (GO D))) 00021850 B (COND (PLINE* (TERPRI*))) 00021852 (SETQ ECHO* (QUOTE RESULT)) 00021860 (SETP) 00021870 (OVON) 00021871 (SETQ RESULT 00021880 (ERRORSET (CONVRT (GTS (QUOTE PROGRAM*)) NOCMP*) T)) 00021890 (COND ((OR (ATOM RESULT) (CDR RESULT)) (GO ERR2)) 00021900 ((EQ *MODE (QUOTE SYMBOLIC)) (AND (EQ SEMIC* **SEMICOL) 00021910 (PROG2 (PRINT (CAR RESULT)) (TERPRI)))) 00021920 ((CAR RESULT) (SETQ *ANS (CAR RESULT)))) 00021930 (SETQ ORIG* 0) 00021940 (CLOSELINE) 00021950 (COND ((NULL *INT) (PRINTTY **STAR))) 00021960 (GO A) 00021970 D (COND ((OR (ATOM PROGRAM*)(EQ (CAR PROGRAM*) (QUOTE QUOTE))) 00021972 (GO A)) 00021974 ((FLAGP (CAR PROGRAM*) (QUOTE IGNORE)) (GO B))) 00021975 (PRINT (CONVRT PROGRAM* NIL)) 00021978 (GO A) 00021979 ND0 (COMM1 (QUOTE END)) 00021980 ND1 00022000 (RETURN (FINF)) 00022010 ERR1 (COND ((OR (EQ PROGRAM* **ESC) (EQ PROGRAM* **EOF)) (GO A))) 00022020 (GO ERR3) 00022030 ER (LPRIE (COND ((NOT (ATOM (CADR PROGRAM*))) 00022032 (LIST (CAADR PROGRAM*) (QUOTE UNDEFINED))) 00022034 (T (QUOTE (SYNTAX ERROR)))) T) 00022036 (GO ERR3) 00022038 ERR2 (SETQ PROGRAML* PROGRAM*) 00022040 ERR3 (COND 00022050 ((NULL ERFG*) 00022060 (LPRIE (QUOTE (ERROR TERMINATION *****)) NIL))) 00022070 (SETQ ORIG* 0) 00022080 (TERPRI*) 00022090 (COND (IFL* (PAUSE)) (OFL* (PRINTTY **STAR))) 00022100 (GO A)))) 00022110 00022120 (FINF (LAMBDA NIL 00022130 (PROG NIL 00022140 (COND (IFL* (GO A))) 00022150 (MAPCAR (APPEND IPL* OPL*) (FUNCTION CLOSE)) 00022160 (SETQ IPL* NIL) 00022170 (SETQ OPL* NIL) 00022180 (SETQ OFL* NIL) 00022190 (LPRIW NIL T **ENDMSG) 00022200 (RETURN (QUOTE ***)) 00022210 A (CLOSE IFL*) 00022220 (SETQ IPL* (DELETE IFL* IPL*)) 00022221 (RDS (SETQ IFL* (COND (IPL* (CAR IPL*)) (T NIL)))) 00022222 (LPRIM* NIL)))) 00022260 00022270 )) 00022280 00022290 DEFLIST (((FOR FORSTAT) (FORALL FORALLFN*) (IF IFSTAT) (BEGIN PROCBLOCK 00022300 ) (IN RLIS) (OUT RLIS) (SHUT RLIS) (GO GOFN) (GOTO GOFN) (RETURN RETFN 00022310 ) (INTEGER DECL*) (SCALAR DECL*) (WRITE WRITEFN) ( 00022320 REAL DECL*) (LISP LSPFN) (ALGEBRAIC ALGFN) (RETRY NORLIS) (PROCEDURE 00022330 ALGFN)(MACRO LSPFN)(FEXPR LSPFN) (SYMBOLIC LSPFN) (ON RLIS) (OFF RLIS 00022340 ) (END ENDFN) (COMMENT COMM1*) (INFIX INFIXFN) (PRECEDENCE PRECEDFN)) 00022350 STAT) 00022360 00022370 DEFLIST (((BEGIN PROCBLOCK) (FOR FORSTAT) (IF IFSTAT) (LAMBDA LMDEF)) 00022380 ISTAT) 00022390 00022400 (LAMBDA (U) (MAP U (FUNCTION (LAMBDA (J) (PTS (CAR J) NIL))))) ((*GCD 00022410 *EXP *MCD *FLOAT MATCH* *DIV *RAT *SUPER MCOND* *ALLFAC *NCMP SUBFG* 00022420 FRLIS1* FRLIS* GAMIDEN* SUB2* RPLIS* SUBL* DSUBL* FACTORS* FRASC* VREP* 00022430 INDICES* WTP* SNO* PNO* *RAT *OUTP MCHFG* *ANS *RESUBS *NERO EXLIST* 00022440 ORDN* *XDN SV* DNL* UPL* EXPTL*)) 00022450 00022460 (LAMBDA (U) (MAP U (FUNCTION (LAMBDA (J) (PTS (CAAR J) (CADAR J)))))) 00022470 (((*EXP T) (*MSG T) (*ALLFAC T) (*MCD T) (SUBFG* T) (EXLIST* ((*))) 00022480 (*RESUBS T) (ORDN* 0) (*ANS 0) (SNO* 500) (*XDN T))) 00022490 00022500 DEFLIST (((EXP ((NIL . RMSUBS1) (T . RMSUBS))) (MCD ((NIL . RMSUBS1) ( 00022510 T . RMSUBS))) (FORT ((NIL LAMBDA NIL (SETQ *NAT NAT**)) (T LAMBDA NIL 00022520 (PROG2 (SETQ NAT** *NAT) (SETQ *NAT NIL))))) (GCD ((T . RMSUBS))) 00022530 (FLOAT ((T . RMSUBS)))) SIMPFG) 00022540 00022550 DEFLIST (((ANTISYMMETRIC RLIS)(CLEAR RLIS)(DENOM NORLIS) (FACTOR RLIS) 00022560 (LET RLIS) (MATCH RLIS) (MKCOEFF NORLIS) (ND NORLIS) (NUMER NORLIS) 00022570 (OPERATOR RLIS) (ORDER RLIS) (REMFAC RLIS) (SAVEAS NORLIS) (SYMMETRIC 00022580 RLIS) (TERMS NORLIS) (WEIGHT RLIS)) STAT) 00022590 00022600 DEFLIST (((PLUS SIMPPLUS) (MINUS SIMPMINUS) (EXPT SIMPEXPT) (SUB 00022610 SIMPSUBS)(DF SIMPDF)(RECIP SIMPRECIP)(QUOTIENT SIMPQUOT) (*SQ SIMP*SQ) 00022620 (TIMES SIMPTIMES)) SIMPFN) 00022630 00022640 DEFLIST (((*ANS (SCALAR)) (*MODE (SCALAR))) DATATYPE) 00022650 00022660 DEFLIST (((I (I NIL (REP (MINUS 1) 2 NIL)))) APROP) 00022670 00022680 DEFINE (( 00022690 00022700 (ABS (LAMBDA (N) 00022710 (COND ((MINUSP N) (MINUS N)) (T N)))) 00022720 00022730 (ASSOC (LAMBDA (U V) 00022740 (SASSOC U V (FUNCTION (LAMBDA NIL NIL))))) 00022750 00022760 (ASSOC* (LAMBDA (U V) 00022770 (COND ((NULL V) NIL) 00022780 ((EQUAL U (CAAR V)) (CAR V)) 00022790 (T (ASSOC* U (CDR V)))))) 00022800 00022810 (ATOMLIS (LAMBDA (U) 00022820 (OR (NULL U) (AND (ATOM (CAR U)) (ATOMLIS (CDR U)))))) 00022830 00022840 (CARX (LAMBDA (U) 00022850 (COND ((NULL (CDR U)) (CAR U)) (T (ERRACH (LIST (QUOTE CARX) U))))) 00022860 ) 00022870 00022880 (DELASC (LAMBDA (U V) 00022890 (COND ((NULL V) NIL) 00022900 ((OR (ATOM (CAR V)) (NOT (EQUAL U (CAAR V)))) 00022910 (CONS (CAR V) (DELASC U (CDR V)))) 00022920 (T (CDR V))))) 00022930 00022940 (MAPCONS (LAMBDA (U *S*) 00022980 (MAPCAR U (FUNCTION (LAMBDA (J) (CONS *S* J)))))) 00022990 00023000 (MAPC2 (LAMBDA (U *PI*) 00023010 (MAPCAR U 00023020 (FUNCTION 00023030 (LAMBDA(J) 00023040 (MAPCAR J (FUNCTION (LAMBDA (K) (*PI* K))))))))) 00023050 00023060 (MEXPR (LAMBDA (U V) 00023070 (COND ((NULL V) NIL) 00023080 ((ATOM V) (EQ U V)) 00023090 (T (OR (MEXPR U (CAR V)) (MEXPR U (CDR V))))))) 00023100 00023110 (NCONS (LAMBDA (U V) 00023120 (COND ((NULL U) V) (T (CONS U V))))) 00023130 00023140 (NLIST (LAMBDA (U N) 00023150 (COND ((ZEROP N) NIL) (T (CONS U (NLIST U (SUB1 N))))))) 00023160 00023170 (NTH (LAMBDA (U N) 00023180 (COND ((ONEP N) (CAR U)) (T (NTH (CDR U) (SUB1 N)))))) 00023190 00023200 (POSN (LAMBDA (U V) 00023210 (COND ((EQ U (CAR V)) 1) (T (ADD1 (POSN U (CDR V))))))) 00023220 00023230 (REMOVE (LAMBDA (X N) 00023240 (COND ((MINUSP N) (ERRACH (LIST (QUOTE REMOVE) X N))) 00023250 ((NULL X) NIL) 00023260 ((ZEROP N) (CDR X)) 00023270 (T (CONS (CAR X) (REMOVE (CDR X) (SUB1 N))))))) 00023280 00023290 (REVPR (LAMBDA (U) 00023300 (CONS (CDR U) (CAR U)))) 00023310 00023320 (RPLACW (LAMBDA (U V) 00023330 (COND 00023340 ((OR (ATOM U) (ATOM V)) (ERRACH (LIST (QUOTE RPLACW) U V))) 00023350 (T (RPLACD (RPLACA U (CAR V)) (CDR V)))))) 00023360 00023370 (REPEATS (LAMBDA (X) 00023380 (COND ((NULL X) NIL) 00023390 ((MEMBER (CAR X) (CDR X)) (CONS (CAR X) (REPEATS (CDR X)))) 00023400 (T (REPEATS (CDR X)))))) 00023410 00023420 (UNION (LAMBDA (X Y) 00023430 (COND ((NULL X) Y) 00023440 (T 00023450 (UNION (CDR X) 00023460 (COND ((MEMBER (CAR X) Y) Y) 00023470 (T (CONS (CAR X) Y)))))))) 00023480 00023490 )) 00023500 00023510 DEFINE (( 00023520 00023530 (REPPRI (LAMBDA (U V) 00023540 (MESPRI NIL U (QUOTE (REPRESENTED BY)) V NIL))) 00023550 00023560 (REDEFPRI (LAMBDA (U) 00023570 (COND ((NULL U) NIL) 00023580 (T 00023590 (MESPRI (QUOTE (ASSIGNMENT FOR)) 00023600 U 00023610 (QUOTE (REDEFINED)) 00023620 NIL 00023630 NIL))))) 00023640 00023650 (MESPRI (LAMBDA (U V W X Y) 00023660 (PROG (Z) 00023670 (COND 00023680 ((AND (NULL Y) (NULL *MSG)) (RETURN NIL)) 00023690 ((AND OFL* (OR *FORT (NOT *NAT))) (GO B))) 00023700 A (LPRIM U) 00023710 (MAPRIN V) 00023720 (PRINC* **BLANK) 00023730 (LPRI W) 00023740 (MATHPRINT X) 00023750 (COND ((NULL OFL*) (RETURN NIL)) (Z (RETURN (WRS OFL*)))) 00023760 B (WRS NIL) 00023770 (SETQ Z T) 00023780 (GO A)))) 00023790 00023800 (LPRIM (LAMBDA (U) 00023810 (PROG2 (TERPRI*) (LPRI (CONS (QUOTE ***) U))))) 00023820 00023830 (ERRACH (LAMBDA (U) 00023840 (PROG NIL 00023850 (LPRIE (QUOTE (CATASTROPHIC ERROR *****)) T) 00023860 (PRINTTY U) 00023870 (PRINTTY **BLANK) 00023880 (LPRIE (QUOTE 00023890 (PLEASE SEND 00023900 OUTPUT 00023910 AND 00023920 INPUT 00023930 LISTING 00023940 TO 00023950 A 00023960 C 00023970 HEARN 00023980 *****)) 00023990 T) 00024000 (ERROR*)))) 00024010 00024020 (ERRPRI1 (LAMBDA (U) 00024030 (MESPRI (QUOTE (ASSIGNMENT)) U (QUOTE (NOT ALLOWED)) NIL T))) 00024040 00024050 (ERRPRI2 (LAMBDA (U) 00024060 (MESPRI (QUOTE (FORMAT)) U (QUOTE (INCORRECT)) NIL T))) 00024070 00024080 )) 00024090 00024100 DEFINE (( 00024110 00024120 (ORDAD (LAMBDA (A U) 00024130 (COND ((NULL U) (LIST A)) 00024140 ((ORDP A (CAR U)) (CONS A U)) 00024150 (T (CONS (CAR U) (ORDAD A (CDR U))))))) 00024160 00024170 (ORDN (LAMBDA (U) 00024180 (COND ((NULL U) NIL) 00024190 ((NULL (CDR U)) U) 00024200 ((NULL (CDDR U)) (ORD2 (CAR U) (CADR U))) 00024210 (T (ORDAD (CAR U) (ORDN (CDR U))))))) 00024220 00024230 (ORD2 (LAMBDA (U V) 00024240 (COND ((ORDP U V) (LIST U V)) (T (LIST V U))))) 00024250 00024260 (ORDP (LAMBDA (U V) 00024270 (COND ((NULL U) (NULL V)) 00024280 ((NULL V) T) 00024290 ((ATOM U) 00024300 (COND 00024310 ((ATOM V) 00024320 (COND ((NUMBERP U) (AND (NUMBERP V) (NOT (LESSP U V)))) 00024330 ((NUMBERP V) T) 00024340 (T (ORDERP U V)))) 00024350 (T T))) 00024360 ((ATOM V) NIL) 00024370 ((EQUAL (CAR U) (CAR V)) (ORDP (CDR U) (CDR V))) 00024380 (T (ORDP (CAR U) (CAR V)))))) 00024390 00024400 )) 00024410 00024420 DEFINE (( 00024430 00024440 (ADDSQ (LAMBDA (U V) 00024450 (COND ((EQUAL (CDR U) (CDR V)) 00024460 (CONS (ADDF (CAR U) (CAR V)) (CDR U))) 00024470 ((NULL (CAR U)) V) 00024480 ((NULL (CAR V)) U) 00024490 ((NULL *MCD) (CONS (ADDF (MKSQP U) (MKSQP V)) 1)) 00024500 (T 00024510 ((LAMBDA(Z) 00024520 ((LAMBDA(X Y) 00024530 (COND ((OR (NULL X) (NULL Y)) (ERRACH (QUOTE ADDSQ))) (T 00024531 (CONS (ADDF (MULTF Y (CAR U)) (MULTF X (CAR V))) 00024540 (MULTF Y (CDR U)))) 00024550 )) 00024551 (QUOTF (CDR U) Z) 00024560 (QUOTF (CDR V) Z))) 00024570 (GCD1 (CDR U) (CDR V))))))) 00024580 00024590 (ADDF (LAMBDA (U V) 00024600 (COND ((NULL U) V) 00024610 ((NULL V) U) 00024620 ((ATOM U) (ADDN U V)) 00024630 ((ATOM V) (ADDN V U)) 00024640 ((EQUAL (CAAR U) (CAAR V)) 00024650 ((LAMBDA(X) 00024660 (COND ((NULL X) (ADDF (CDR U) (CDR V))) 00024670 (T 00024680 (CONS (CONS (CAAR U) X) (ADDF (CDR U) (CDR V)))))) 00024690 (ADDF (CDAR U) (CDAR V)))) 00024700 ((ORDP (CAAR U) (CAAR V)) (CONS (CAR U) (ADDF (CDR U) V))) 00024710 (T (CONS (CAR V) (ADDF U (CDR V))))))) 00024720 00024730 (ADDN (LAMBDA (N V) 00024740 (COND ((NULL V) N) 00024750 ((ATOM V) 00024760 ((LAMBDA (M) (COND ((ZEROP M) NIL) (T M))) (PLUS N V))) 00024770 (T (CONS (CAR V) (ADDN N (CDR V))))))) 00024780 00024790 (MULTSQ (LAMBDA (U V) 00024800 (COND 00024810 ((OR (NULL (CAR U)) (NULL (CAR V))) (CONS NIL 1)) 00024820 (T 00024830 ((LAMBDA(X Y) 00024840 (COND ((AND X Y) (CONS (MULTF X Y) 1)) 00024850 (X (CONS (MULTF X (CAR V)) (CDR U))) 00024860 (Y (CONS (MULTF (CAR U) Y) (CDR V))) 00024870 (T 00024880 (CONS (MULTF (CAR U) (CAR V)) 00024890 (MULTF (CDR U) (CDR V)))))) 00024900 (QUOTF (CAR U) (CDR V)) 00024910 (QUOTF (CAR V) (CDR U))))))) 00024920 00024930 (MULTF (LAMBDA (U V) 00024940 (PROG (X Y Z) 00024950 (COND ((OR (NULL U) (NULL V)) (RETURN NIL)) 00024960 ((ATOM U) (RETURN (MULTN U V))) 00024970 ((ATOM V) (RETURN (MULTN V U))) 00024980 ((OR *EXP *NCMP) (GO A))) 00024990 (SETQ U (MKSFP U 1)) 00025000 (SETQ V (MKSFP V 1)) 00025010 (COND ((ATOM U) (RETURN (MULTN U V))) 00025020 ((ATOM V) (RETURN (MULTN V U)))) 00025030 A (SETQ X (CAAAR U)) 00025040 (SETQ Y (CAAAR V)) 00025050 (COND 00025060 ((OR (ATOM X) 00025070 (ATOM Y) 00025080 (NOT (ATOM (CAR X))) 00025090 (NOT (ATOM (CAR Y)))) 00025100 (GO B)) 00025110 ((AND (EQ (CAR X) (CAR Y)) 00025120 (SETQ Z (GET (CAR X) (QUOTE MRULE))) 00025130 (NOT 00025140 (EQ (SETQ Z (*APPLY Z (LIST (CAAR U) (CAAR V)))) 00025150 (QUOTE FAILED)))) 00025160 (RETURN 00025170 (ADDF (MULTF Z (MULTF (CDAR U) (CDAR V))) 00025180 (ADDF (MULTF (LIST (CAR U)) (CDR V)) 00025190 (MULTF (CDR U) V))))) 00025200 ((AND (FLAGP (CAR X) (QUOTE NONCOM)) 00025210 (FLAGP (CAR Y) (QUOTE NONCOM))) 00025220 (GO B1))) 00025230 B (COND ((EQ X Y) (GO C)) 00025240 ((ORDP (CAAR U) (CAAR V)) (GO B1))) 00025250 (SETQ X (MULTF U (CDAR V))) 00025260 (SETQ Y (MULTF U (CDR V))) 00025270 (RETURN (COND ((NULL X) Y) (T (CONS (CONS (CAAR V) X) Y)))) 00025280 B1 (SETQ X (MULTF (CDAR U) V)) 00025290 (SETQ Y (MULTF (CDR U) V)) 00025300 (RETURN (COND ((NULL X) Y) (T (CONS (CONS (CAAR U) X) Y)))) 00025310 C (SETQ X (MKSP X (PLUS (CDAAR U) (CDAAR V)))) 00025320 (SETQ Y 00025330 (ADDF (MULTF (LIST (CAR U)) (CDR V)) 00025340 (MULTF (CDR U) V))) 00025350 (RETURN 00025360 (COND 00025370 ((NULL (CDR X)) 00025380 (COND ((NULL (CAAR X)) Y) 00025390 (T 00025400 (ADDF (MULTF (CAAR X) 00025410 (MULTF (CDAR U) 00025420 (COND 00025430 ((EQUAL (CDAR X) 1) (CDAR V)) 00025440 (T 00025450 (MULTF 00025460 (MKSQP (CONS 1 (CDAR X))) 00025470 (CDAR V)))))) 00025480 Y)))) 00025490 ((NULL (SETQ U (MULTF (CDAR U) (CDAR V)))) Y) 00025495 (T (CONS (CONS X U) Y))))))) 00025500 00025510 (MULTF2 (LAMBDA (U V) 00025520 (MULTF (LIST (CONS U 1)) V))) 00025530 00025540 (MULTN (LAMBDA (N V) 00025550 (COND ((NULL V) NIL) 00025560 ((ZEROP N) NIL) 00025570 ((ONEP N) V) 00025580 ((NUMBERP V) (TIMES N V)) 00025590 ((EQ (CAR V) (QUOTE QUOTIENT)) 00025591 (MKFR (TIMES N (CADR V)) (CADDR V))) 00025592 (T 00025600 (CONS (CONS (CAAR V) (MULTN N (CDAR V))) 00025610 (MULTN N (CDR V))))))) 00025620 00025630 )) 00025640 00025650 DEFINE (( 00025660 00025670 (REVAL (LAMBDA (U) 00025680 (COND ((AND (NUMBERP U) (FIXP U)) U) 00025690 ((VECTORP U) U) 00025700 (T ((LAMBDA (X) 00025710 (COND ((AND (EQCAR X (QUOTE MINUS)) (NUMBERP (CADR X))) 00025712 (MINUS (CADR X))) 00025714 (T X))) 00025716 (PREPSQ (AEVAL1 U))))))) 00025718 00025720 (AEVAL (LAMBDA (U) 00025730 (COND 00025740 ((EQCAR U (QUOTE *COMMA*)) (REDERR (QUOTE (SYNTAX ERROR)))) 00025750 (T (MK*SQ (AEVAL1 U)))))) 00025760 00025770 (AEVAL1 (LAMBDA (U) 00025780 (PROG2 (RSET2) 00025790 (COND ((MATEXPR U) (MATSM U)) (T (SUBS2 (SIMP* U))))))) 00025800 00025810 (MATEXPR (LAMBDA (U) 00025820 NIL)) 00025830 00025840 (MK*SQ (LAMBDA (U) 00025880 (COND ((NULL (CAR U)) 0) 00025890 ((AND (ATOM (CAR U)) (EQUAL (CDR U) 1)) (CAR U)) 00025900 ((EQCAR U (QUOTE MAT)) U) 00025910 (T (CONS (QUOTE *SQ) (CONS U *SQVAR*)))))) 00025920 00025930 (RSET2 (LAMBDA NIL 00025940 (PROG2 (MAP RPLIS* 00025950 (FUNCTION (LAMBDA (J) (RPLACW (CDAR J) (CAAR J))))) 00025960 (SETQ RPLIS* NIL)))) 00025970 00025980 )) 00025990 00026000 DEFINE (( 00026010 00026020 (MKSP (LAMBDA (U P) 00026030 (PROG (V X Y) 00026040 (SETQ U (FKERN U)) 00026050 A0 (SETQ V (CDDR U)) 00026060 A (COND ((OR (NULL V) (NULL SUBFG*)) (GO B)) 00026070 ((SETQ X (ASSOC (QUOTE ASYMP) V)) (GO L1)) 00026080 ((SETQ X (ASSOC (QUOTE REP) V)) (GO L2)) 00026090 ((AND (NOT (ATOM (CAR U))) 00026110 (ATOM (CAAR U)) 00026120 (FLAGP (CAAR U) (QUOTE VOP)) 00026130 (VCREP U)) 00026140 (GO A0))) 00026150 B (RETURN (GETPOWER U P)) 00026170 L1 (COND 00026180 ((NOT (LESSP P (CDR X))) (RETURN (LIST (CONS NIL 1))))) 00026190 (SETQ V (DELASC (CAR X) V)) 00026200 (GO A) 00026210 L2 (SETQ V (CDDDR X)) 00026220 (COND ((LESSP P (CADDR X)) (GO B)) 00026230 ((AND (CAR V) 00026231 (NOT (FLAGP** (CAR U) (QUOTE WEIGHT)))) (GO L3))) 00026232 (SETQ SUBL* (CONS V SUBL*)) 00026240 (SETQ Y (SIMPCAR (CDR X))) 00026250 (COND 00026260 ((NOT (ASSOC (QUOTE HOLD) (CDDR U))) (GO L21)) 00026270 ((EQUAL (CDR Y) 1) (SETQ Y (CONS (MKSFP (CAR Y) 1) 1))) 00026280 (T (SETQ Y (MKSQP Y)))) 00026290 L21 (RPLACA V (MK*SQ Y)) 00026295 (GO L31) 00026300 L3 (SETQ Y (SIMPCAR V)) 00026305 (COND((AND(EQCAR (CAR V)(QUOTE *SQ))(NULL(CADDAR V)))(GO L21)))00026310 L31 (SETQ V Y) 00026315 (SETQ X (CADDR X)) 00026320 (COND ((ONEP X) (RETURN (LIST (NMULTSQ V P))))) 00026330 (SETQ Y (DIVIDE P X)) 00026340 C (SETQ V (NMULTSQ V (CAR Y))) 00026370 (COND 00026380 ((NOT (ZEROP (CDR Y))) 00026390 (SETQ V 00026400 (CONS (MULTF2 (GETPOWER U (CDR Y)) (CAR V)) 00026410 (CDR V))))) 00026420 (RETURN (LIST V))))) 00026470 00026500 (FKERN (LAMBDA (U) 00026510 (PROG (V) 00026520 (COND ((NOT (ATOM U)) (GO A0)) 00026530 ((SETQ V (GET U (QUOTE APROP))) (RETURN V))) 00026540 (SETQ V (LIST U NIL)) 00026550 (PUT U (QUOTE APROP) V) 00026560 (RETURN V) 00026570 A0 (COND ((NOT (ATOM (CAR U))) (SETQ V EXLIST*)) 00026580 ((NOT (SETQ V (GET (CAR U) (QUOTE KLIST)))) (GO B))) 00026590 A (COND ((EQUAL U (CAAR V)) (RETURN (CAR V))) 00026600 ((ORDP U (CAAR V)) 00026610 (RETURN 00026620 (CAR 00026630 (RPLACW V 00026640 (CONS (LIST U NIL) 00026650 (CONS (CAR V) (CDR V))))))) 00026660 ((NULL (CDR V)) 00026670 (RETURN (CADR (RPLACD V (LIST (LIST U NIL))))))) 00026680 (SETQ V (CDR V)) 00026690 (GO A) 00026700 B (SETQ V (LIST (LIST U NIL))) 00026710 (PUT (CAR U) (QUOTE KLIST) V) 00026720 (GO A)))) 00026730 00026740 (GETPOWER (LAMBDA (U N) 00026750 (PROG (V) 00026760 (COND ((AND SUBFG* (NOT (ASSOC (QUOTE USED*) (CDR U)))) 00026761 (ACONC U (LIST (QUOTE USED*))))) 00026762 (SETQ V (CADR U)) 00026770 (COND 00026780 ((NULL V) 00026790 (RETURN (CAAR (RPLACA (CDR U) (LIST (CONS (CAR U) N))))))) 00026800 A (COND ((EQUAL N (CDAR V)) (RETURN (CAR V))) 00026810 ((LESSP N (CDAR V)) 00026820 (RETURN 00026830 (CAR 00026840 (RPLACW V 00026850 (CONS (CONS (CAAR V) N) 00026860 (CONS (CAR V) (CDR V))))))) 00026870 ((NULL (CDR V)) 00026880 (RETURN (CADR (RPLACD V (LIST (CONS (CAAR V) N))))))) 00026890 (SETQ V (CDR V)) 00026900 (GO A)))) 00026910 00026920 (NMULTSQ (LAMBDA (U N) 00026930 (PROG (X) 00026940 (COND 00026950 ((NULL (CAR U)) (RETURN U)) 00026955 ((NULL *EXP) 00026960 (RETURN (CONS (MKSFP (CAR U) N) (MKSFP (CDR U) N))))) 00026970 (SETQ X U) 00026980 A (COND ((ONEP N) (RETURN X))) 00026990 (SETQ X (MULTSQ U X)) 00027000 (SETQ N (SUB1 N)) 00027010 (GO A)))) 00027020 00027030 )) 00027040 00027050 DEFINE (( 00027060 00027070 (MKSF (LAMBDA (U N) 00027080 ((LAMBDA(X) 00027090 (COND 00027100 ((NULL (CDR X)) 00027110 (COND ((EQUAL (CDAR X) 1) (CAAR X)) 00027120 (T (MULTF (MKSQP (CONS 1 (CDAR X))) (CAAR X))))) 00027130 (T (LIST (CONS X 1))))) 00027140 (MKSP U N)))) 00027150 00027160 (MKSFP (LAMBDA (U N) 00027170 (COND ((KERNLP U) (NMULTF U N)) 00027180 (T 00027190 (PROG2 (SETQ SUB2* T) 00027200 (COND ((MINUSF U) (MULTN -1 (MKSF (MULTN -1 U) N))) 00027210 (T (MKSF U N)))))))) 00027220 00027230 (MKSQP (LAMBDA (U) 00027240 (COND ((NULL (CAR U)) NIL) 00027250 ((OR (EQUAL (CDR U) 1) (EQUAL (CDR (SETQ U (CANCEL U))) 1)) 00027260 (COND (*EXP (CAR U)) (T (MKSFP (CAR U) 1)))) 00027270 (T 00027280 (PROG NIL 00027290 (SETQ SUB2* T) 00027300 (RETURN 00027310 (COND (*EXP 00027320 (MULTF (CAR U) 00027330 (MKSF (MK*SQ 00027340 (CONS 1 (MKSFP (CDR U) 1))) 00027350 1))) 00027360 ((MINUSF (CAR U)) 00027370 (MULTN -1 00027380 (MKSF 00027390 (MK*SQ 00027400 (CONS (MULTN -1 (CAR U)) 00027410 (MKSFP (CDR U) 1))) 00027420 1))) 00027430 (T 00027440 (MKSF (MK*SQ 00027450 (CONS (CAR U) (MKSFP (CDR U) 1))) 00027460 1))))))))) 00027470 00027480 (MKSQ (LAMBDA (U N) 00027570 ((LAMBDA(X) 00027580 (COND ((NULL (CDR X)) (CAR X)) (T (CONS (LIST (CONS X 1)) 1)))) 00027590 (MKSP U N)))) 00027600 00027610 )) 00027620 00027630 DEFINE (( 00027640 00027650 (SIMP* (LAMBDA (U) 00027660 (COND ((LESSP (SCNT U) SNO*) (ISIMPQ (SIMP U))) 00027670 ((EQ (CAR U) (QUOTE PLUS)) (SIMPADD (CDR U))) 00027680 ((EQ (CAR U) (QUOTE MINUS)) (NEGSQ (SIMP* (CARX (CDR U))))) 00027690 ((EQ (CAR U) (QUOTE TIMES)) (ISIMPQ* (TSCAN (CDR U)))) 00027700 (T (ISIMPQ (SIMP U)))))) 00027710 00027720 (SIMPADD (LAMBDA (U) 00027730 (PROG (Z) 00027740 (SETQ Z (CONS NIL 1)) 00027750 A (COND ((NULL U) (RETURN Z))) 00027760 (SETQ Z (ADDSQ (SIMP* (CAR U)) Z)) 00027770 (SETQ U (CDR U)) 00027780 (GO A)))) 00027790 00027800 (ISIMPQ* (LAMBDA (U) 00027810 (PROG (X) 00027820 (SETQ U (REVERSE (MAPCAR U (FUNCTION SIMP)))) 00027830 (SETQ SV* (CONS NIL 1)) 00027840 (ISIMPQ*1 (CDR U) (CAR U)) 00027850 (SETQ X SV*) 00027860 (SETQ SV* NIL) 00027870 (RETURN X)))) 00027880 00027890 (ISIMPQ*1 (LAMBDA (U V) 00027900 (PROG (X Y) 00027910 (COND ((NULL U) (RETURN (SETQ SV* (ADDSQ (ISIMPQ V) SV*))))) 00027920 (SETQ X (CAAR U)) 00027930 (SETQ Y (MULTF (CDAR U) (CDR V))) 00027940 (SETQ V (CAR V)) 00027950 A (COND ((NULL X) (RETURN NIL)) 00027960 ((ATOM X) 00027970 (RETURN (ISIMPQ*1 (CDR U) (CONS (MULTN X V) Y))))) 00027980 (ISIMPQ*1 (CDR U) (CONS (MULTF (LIST (CAR X)) V) Y)) 00027990 (SETQ X (CDR X)) 00028000 (GO A)))) 00028010 00028020 (ISIMPQ (LAMBDA (U) 00028020 U)) 00028020 00028020 (TSCAN (LAMBDA (U) 00028030 (COND ((NULL U) NIL) 00028040 ((ATOM U) (ERRACH (LIST (QUOTE TSCAN) U))) 00028050 ((EQ (CAR U) (QUOTE TIMES)) (TSCAN (CDR U))) 00028060 ((AND (NOT (ATOM (CAR U))) (EQ (CAAR U) (QUOTE TIMES))) 00028070 (APPEND (TSCAN (CDAR U)) (TSCAN (CDR U)))) 00028080 (T (CONS (CAR U) (TSCAN (CDR U))))))) 00028090 00028100 (SCNT (LAMBDA (U) 00028110 (COND ((OR (NULL U) (EQUAL U 0)) 0) 00028120 ((ATOM U) 1) 00028130 ((EQ (CAR U) (QUOTE PLUS)) 00028140 (*EVAL 00028150 (CONS (QUOTE PLUS) (MAPCAR (CDR U) (FUNCTION SCNT))))) 00028160 ((MEMBER (CAR U) (QUOTE (TIMES G CONS EPS))) 00028170 (*EVAL 00028180 (CONS (QUOTE TIMES) (MAPCAR (CDR U) (FUNCTION SCNT))))) 00028190 ((FLAGP (CAR U) (QUOTE UNIP)) (SCNT (CADR U))) 00028200 ((EQ (CAR U) (QUOTE EXPT)) 00028210 (COND 00028220 ((OR (ATOM (CADR U)) (NOT (NUMBERP (CADDR U)))) 1) 00028230 (T 00028240 ((LAMBDA(X) 00028250 (COND ((LESSP X 2) 1) 00028260 (T (TIMES 2 X (ABS (*EVAL (CADDR U))))))) 00028270 (SCNT (CADR U)))))) 00028280 ((AND (EQ (CAR U) (QUOTE *SQ)) GAMIDEN*) (TERMS1 (CAADR U))) 00028290 (T 1)))) 00028300 00028310 )) 00028320 00028330 DEFINE (( 00028340 00028350 (SIMP (LAMBDA (U) 00028360 (PROG (X) 00028370 A (COND ((ATOM U) (RETURN (SIMPATOM U))) 00028380 ((OR (NOT (ATOM (CAR U))) (NUMBERP (CAR U))) (GO E)) 00028390 ((AND (SETQ X (OPMTCH U)) (SETQ U X)) (GO A)) 00028400 ((SETQ X (GET (CAR U) (QUOTE SIMPFN))) 00028410 (RETURN 00028420 (COND 00028430 ((EQ X (QUOTE IDEN)) (SIMPIDEN U)) 00028440 (T (*APPLY X (LIST (CDR U))))))) 00028450 ((GET (CAR U) (QUOTE **ARRAY)) (GO D)) 00028460 ((FLAGP (CAR U) (QUOTE OPFN)) 00028470 (SETQ U (*APPLY (CAR U) (CDR U)))) 00028480 ((GET (CAR U) (QUOTE INFIX)) (GO E)) 00028490 ((MEMBER (CAR U) (QUOTE (COND PROG))) 00028500 (RETURN (SIMP (*EVAL U)))) 00028510 ((NOT (REDMSG (CAR U) (QUOTE OPERATOR) T)) (ERROR*)) 00028520 (T (MKOP (CAR U)))) 00028530 (GO A) 00028540 D (SETQ U (CONS (CAR U) (MAPCAR (CDR U) (FUNCTION REVAL)))) 00028550 (COND 00028560 ((NOT (NUMLIS (CDR U))) 00028570 (REDERR 00028580 (APPEND (QUOTE (INCORRECT ARRAY ARGUMENTS FOR)) 00028590 (LIST (CAR U))))) 00028600 ((AND (SETQ X (GETEL U)) (SETQ U X)) (GO A)) 00028610 (T (RETURN (MKSQ U 1)))) 00028620 E (CURERR (QUOTE (SYNTAX ERROR)) NIL)))) 00028630 00028640 (SIMPATOM (LAMBDA (U) 00028650 (COND((NULL U)(REDERR(QUOTE(NIL USED IN ALGEBRAIC EXPRESSION)))) 00028660 ((NUMBERP U) 00028670 (COND ((ZEROP U) (CONS NIL 1)) 00028680 ((FIXP U) (CONS U 1)) 00028690 (*FLOAT (CONS (PLUS 0.0 U) 1)) 00028700 (T 00028710 ((LAMBDA(Z) 00028720 (PROG2 (REPPRI U 00028730 (LIST 00028740 (QUOTE QUOTIENT) 00028750 (CAR Z) 00028760 (CDR Z))) 00028770 Z)) 00028780 (MAKFRC U))))) 00028790 ((VECTORP U) 00028800 (REDERR 00028810 (CONS (QUOTE VECTOR) (CONS U (QUOTE (USED AS SCALAR)))))) 00028820 (T (MKSQ U 1))))) 00028830 00028840 (MAKFRC (LAMBDA (U) 00028850 (PROG (X Y) 00028860 (SETQ X (FIX (TIMES **MILLION U))) 00028870 (SETQ Y (GCDN **MILLION X)) 00028880 (RETURN (CONS (QUOTIENT X Y) (QUOTIENT **MILLION Y)))))) 00028890 00028900 (MKOP (LAMBDA (U) 00028910 (COND ((MEMBER U FRLIS*) (REDERR (CONS (QUOTE OPERATOR) 00028920 (CONS U (QUOTE (CANNOT BE ARBITRARY)))))) 00028922 (T (PUT U (QUOTE SIMPFN) (QUOTE IDEN)))))) 00028924 00028930 (SIMPCAR (LAMBDA (U) 00028940 (SIMP (CAR U)))) 00028950 00028960 (VECTORP (LAMBDA (U) 00028970 NIL)) 00028980 00028990 (SIMPEXPT (LAMBDA (U) 00029000 (PROG (N X) 00029010 (COND 00029020 ((AND (NUMBERP (SETQ N (CARX (CDR U)))) (FIXP N)) (GO A))) 00029030 (SETQ X *FLOAT) 00029040 (SETQ *FLOAT NIL) 00029050 (SETQ N (CANCEL (SIMP N))) 00029060 (SETQ *FLOAT X) 00029070 (COND ((AND (ATOM (CAR N)) (EQUAL (CDR N) 1)) (GO A0))) 00029080 (SETQ X (PREPSQ (SIMPCAR U))) 00029090 (SETQ N (PREPSQ N)) 00029100 (COND ((EQCAR X (QUOTE TIMES)) (GO B)) 00029101 ((AND (EQCAR X (QUOTE MINUS)) 00029102 (NOT (NUMBERP (CADR X)))) 00029103 (RETURN 00029104 (MULTSQ (SIMPEXPT (LIST -1 N)) 00029105 (SIMPEXPT (LIST (CADR X) N))))) 00029106 ((EQCAR X (QUOTE QUOTIENT)) 00029107 (RETURN 00029108 (MULTSQ (SIMPEXPT (LIST (CADR X) N)) 00029109 (SIMPEXPT 00029110 (LIST (CADDR X) (LIST (QUOTE MINUS) N)))))) 00029111 ((EQCAR X (QUOTE EXPT)) 00029112 (AND (SETQ N 00029113 (REVAL (LIST (QUOTE TIMES) (CADDR X) N))) 00029114 (SETQ X (CADR X))))) 00029115 (RETURN 00029116 (COND ((EQUAL X 0) (CONS NIL 1)) 00029117 ((EQUAL X 1) (CONS 1 1)) 00029118 ((AND (ATOM X) (MEMBER N FRLIS*)) 00029119 (CONS (LIST (CONS (CONS X N) 1)) 1)) 00029120 (T 00029121 (PROG2 (AND (NOT (MEMBER X EXPTL*)) 00029122 (NOT (NUMBERP X)) 00029123 (SETQ EXPTL* (CONS X EXPTL*))) 00029124 (MKSQ (LIST (QUOTE EXPT) X N) 1))))) 00029125 A0 (SETQ N (CAR N)) 00029170 (COND ((NULL N) (SETQ N 0))) 00029172 A (RETURN 00029180 (COND ((EQUAL N 0) (CONS 1 1)) 00029190 ((ATOM (CAR U)) 00029200 (COND ((NULL N) (CONS 1 1)) 00029210 ((NUMBERP (CAR U)) 00029220 (COND 00029230 ((ZEROP (CAR U)) (CONS NIL 1)) 00029240 ((MINUSP N) 00029250 (CONS 1 (EXPT (CAR U) (MINUS N)))) 00029260 (T (CONS (EXPT (CAR U) N) 1)))) 00029270 ((MINUSP N) 00029280 (LIST 1 (CONS (MKSP (CAR U) (MINUS N)) 1))) 00029290 (T (MKSQ (CAR U) N)))) 00029300 ((MINUSP N) (REVPR (NMULTSQ (SIMPCAR U) (MINUS N)))) 00029310 (T (NMULTSQ (SIMPCAR U) N)))) 00029311 B (SETQ U (CDDR X)) 00029312 (SETQ X (SIMPEXPT (LIST (CADR X) N))) 00029313 C (COND ((NULL U) (RETURN X))) 00029314 (SETQ X (MULTSQ (SIMPEXPT (LIST (CAR U) N)) X)) 00029315 (SETQ U (CDR U)) 00029316 (GO C)))) 00029317 00029318 (MEXPT (LAMBDA (U V) 00029340 (COND 00029350 ((NOT (EQUAL (CADAR U) (CADAR V))) (QUOTE FAILED)) 00029360 (T 00029370 ((LAMBDA(X) 00029380 (COND ((EQUAL X 0) 1) 00029390 ((AND (NUMBERP X) (EQUAL (CADAR U) (QUOTE (MINUS 1)))) 00029400 (COND ((ZEROP (REMAINDER X 2)) 1) (T -1))) 00029410 (T (MKSQP (MKSQ (LIST (QUOTE EXPT) (CADAR U) X) 1))))) 00029450 (REVAL 00029460 (LIST (QUOTE PLUS) 00029470 (LIST (QUOTE TIMES) (CDR U) (CADDAR U)) 00029480 (LIST (QUOTE TIMES) (CDR V) (CADDAR V))))))))) 00029490 00029500 )) 00029510 00029520 DEFLIST (((EXPT MEXPT)) MRULE) 00029530 00029540 DEFINE (( 00029550 00029560 (SIMPIDEN (LAMBDA (*S*) 00029570 (PROG (Y Z) 00029580 (COND ((FLAGP (CAR *S*) (QUOTE VOP)) (GO E))) 00029590 (SETQ *S* 00029600 (CONS (CAR *S*) (MAPCAR (CDR *S*) (FUNCTION REVAL)))) 00029610 B (COND ((SETQ Z (OPMTCH *S*)) (RETURN (SIMP Z))) 00029620 ((FLAGP (CAR *S*) (QUOTE SYMMETRIC)) 00029630 (SETQ *S* (CONS (CAR *S*) (ORDN (CDR *S*))))) 00029640 ((FLAGP (CAR *S*) (QUOTE ANTISYMMETRIC)) (GO D))) 00029650 C (SETQ *S* (MKSQ *S* 1)) 00029660 (RETURN (COND (Y (NEGSQ *S*)) (T *S*))) 00029670 D (COND ((REPEATS (CDR *S*)) (RETURN (CONS NIL 1))) 00029680 ((NOT (PERMP (SETQ Z (ORDN (CDR *S*))) (CDR *S*))) 00029690 (SETQ Y T))) 00029700 (SETQ *S* (CONS (CAR *S*) Z)) 00029710 (GO C) 00029720 E (COND ((ATOMLIS (CDR *S*)) (GO B))) 00029730 (RETURN 00029740 (MKVARG (CDR *S*) 00029750 (FUNCTION 00029760 (LAMBDA (J) (SIMPIDEN (CONS (CAR *S*) J))))))))) 00029770 00029780 (NEGSQ (LAMBDA (U) 00029790 (CONS (MULTN -1 (CAR U)) (CDR U)))) 00029800 00029810 (SIMPMINUS (LAMBDA (U) 00029820 (NEGSQ (SIMP (CARX U))))) 00029830 00029840 (SIMPPLUS (LAMBDA (U) 00029850 (PROG (Z) 00029860 (SETQ Z (CONS NIL 1)) 00029870 A (COND ((NULL U) (RETURN Z))) 00029880 (SETQ Z (ADDSQ (SIMPCAR U) Z)) 00029890 (SETQ U (CDR U)) 00029900 (GO A)))) 00029910 00029920 (SIMPQUOT (LAMBDA (U) 00029930 ((LAMBDA(X) 00029940 (COND 00029950 ((NULL (CDR X)) (REDERR (QUOTE (ZERO DENOMINATOR)))) 00029960 (T (MULTSQ (SIMPCAR U) X)))) 00029970 (SIMPRECIP (CDR U))))) 00029980 00029990 (SIMPRECIP (LAMBDA (U) 00030000 ((LAMBDA(X) 00030010 (COND 00030020 ((NULL (CAR X)) (REDERR (QUOTE (ZERO DENOMINATOR)))) 00030030 ((AND *FLOAT (ATOM (CAR X))) 00030040 (CONS (MULTN (RECIP (PLUS 0.0 (CAR X))) (CDR X)) 1)) 00030050 (T (REVPR X)))) 00030060 (SIMP (CARX U))))) 00030070 00030080 (SIMPTIMES (LAMBDA (U) 00030090 (PROG (X) 00030100 (SETQ X (SIMPCAR U)) 00030110 A (SETQ U (CDR U)) 00030120 (COND ((NULL (CAR X)) (RETURN (CONS NIL 1))) 00030130 ((NULL U) (RETURN X))) 00030140 (SETQ X (MULTSQ X (SIMPCAR U))) 00030150 (GO A)))) 00030160 00030170 (SIMPSUBS (LAMBDA (U) 00030180 (PROG (X Y Z) 00030190 (SETQ U (REVERSE U)) 00030200 (SETQ Y (SUBS2 (SIMPCAR U))) 00030210 (SETQ U (CDR U)) 00030220 A (COND ((NULL U) (GO B)) 00030230 ((NOT (MEMBER (CAAR U) (QUOTE (EQUAL SETQ)))) 00030240 (GO ERR)) 00030250 ((VECTORP (SETQ X (CADAR U))) (GO C)) 00030260 ((OR (NOT (KERNP (SETQ X (SIMP X)))) 00030270 (NOT (EQUAL (CDR X) 1)) 00030280 (NOT (EQUAL (CDAAR X) 1)) 00030290 (NOT (EQUAL (CDAAAR X) 1))) 00030300 (GO ERR))) 00030310 (SETQ X (CAAAAR X)) 00030320 C (SETQ Z (CONS (CONS X (CADDAR U)) Z)) 00030330 (SETQ U (CDR U)) 00030340 (GO A) 00030350 B (RETURN (SIMP (SUBLIS Z (PREPSQ Y)))) 00030360 ERR (ERRPRI1 (CAR U)) 00030370 (ERROR*)))) 00030380 00030390 (SIMP*SQ (LAMBDA (U) 00030400 (COND ((NULL (CADR U)) (SIMP (PREPSQ (CAR U)))) (T (CAR U))))) 00030410 00030420 )) 00030430 00030440 DEFINE (( 00030450 00030460 (SUBS2 (LAMBDA (U) 00030470 (PROG (X) 00030480 (RSET2) 00030490 (SETQ U (EXPSQ U)) 00030500 (COND ((AND (NULL EXPTL*) 00030505 (OR (NULL MATCH*) (NULL SUBFG*))) (GO A))) 00030510 (COND (EXPTL* (SETQ U (EXPTCHK U)))) 00030515 (SETQ X MCHFG*) 00030520 (SETQ U (MULTSQ (SUBS31 (CAR U)) (REVPR (SUBS31 (CDR U))))) 00030530 (SETQ MCHFG* X) 00030540 A (RETURN (CANCEL U))))) 00030550 00030560 (CANCEL (LAMBDA (U) 00030570 (PROG (X) 00030580 (COND ((NULL (CAR U)) (RETURN (CONS NIL 1))) 00030590 ((OR *FLOAT (EQUAL (CDR U) 1)) (GO C))) 00030600 (SETQ X (GCD1 (CDR U) (CAR U))) 00030610 (SETQ U (CONS (QUOTF (CAR U) X) (QUOTF (CDR U) X))) 00030620 C (RETURN (MKCANON U))))) 00030630 00030640 (MKCANON (LAMBDA (U) 00030650 (COND ((MINUSF (CDR U)) 00030660 (CONS (MULTN -1 (CAR U)) (MULTN -1 (CDR U)))) 00030670 (T U)))) 00030680 00030690 (MINUSF (LAMBDA (U) 00030700 (COND ((NULL U) NIL) 00030701 ((ATOM U) (MINUSP U)) 00030702 ((EQ (CAR U) (QUOTE QUOTIENT)) (MINUSP (CADR U))) 00030703 (T (MINUSF (CDAR U)))))) 00030704 00030720 )) 00030730 00030740 DEFINE (( 00030750 00030760 (EXPSQ (LAMBDA (U) 00030770 (COND ((OR (NULL SUB2*) (NULL *EXP)) U) 00030780 (T 00030790 ((LAMBDA(X Y) 00030800 (CONS (MULTF (CAR X) (CDR Y)) (MULTF (CDR X) (CAR Y)))) 00030810 (EXPAND (CAR U)) 00030820 (COND (*XDN (EXPAND (CDR U))) (T (CONS (CDR U) 1)))))))) 00030830 00030840 (EXPAND (LAMBDA (U) 00030850 (PROG (W X Y Z) 00030860 (COND ((ATOM U) (RETURN (CONS U 1)))) 00030870 (SETQ X U) 00030880 (SETQ Z (CONS NIL 1)) 00030890 A (COND 00030900 ((NULL X) 00030910 (RETURN 00030920 (COND ((EQUAL (CAR Z) U) (CONS U (CDR Z))) (T Z)))) 00030930 ((ATOM X) (GO E))) 00030940 (SETQ Y (EXPAND (CDAR X))) 00030950 (COND 00030960 ((AND (NOT (ATOM (SETQ W (CAAAR X)))) 00030970 (OR (EQ (CAR W) (QUOTE *SQ)) (NOT (ATOM (CAR W))))) 00030980 (GO C))) 00030990 (SETQ Z (ADDSQ (CONS (MULTF2 (CAAR X) (CAR Y)) (CDR Y)) Z)) 00031000 B (SETQ X (CDR X)) 00031010 (GO A) 00031020 C (SETQ Z 00031030 (ADDSQ 00031040 (MULTSQ 00031050 (COND 00031060 ((EQ (CAR W) (QUOTE *SQ)) 00031070 (NMULTSQ (EXPSQ (CADR W)) (CDAAR X))) 00031080 ((NULL (CDAAR X)) (EXPSQ W)) 00031090 (T (NMULTSQ (EXPAND W) (CDAAR X)))) 00031100 Y) 00031110 Z)) 00031120 (GO B) 00031130 E (SETQ Z (ADDSQ (CONS X 1) Z)) 00031140 (SETQ X NIL) 00031150 (GO A)))) 00031160 00031170 )) 00031180 00031181 DEFINE (( 00031182 00031183 (EXSCAN (LAMBDA (U) 00031184 (COND ((ATOM U) U) 00031185 (T 00031186 (ADDF 00031187 (MULTF2 00031188 (COND 00031189 ((MEMBER (CAAAR U) EXPTL*) 00031190 (MKSP (LIST (QUOTE EXPT) (CAAAR U) 1) (CDAAR U))) 00031191 (T (CAAR U))) 00031192 (EXSCAN (CDAR U))) 00031193 (EXSCAN (CDR U))))))) 00031194 00031195 (EXPTCHK (LAMBDA (U) 00031196 (PROG (V W X Y Y1 Z) 00031197 (SETQ V (EXSCAN (CAR U))) 00031198 (SETQ W (CDR U)) 00031199 (SETQ X (CONS FACTORS* ORDN*)) 00031200 (SETQ FACTORS* NIL) 00031201 (SETQ ORDN* 0) 00031202 (SETQ Y (CKRN W)) 00031203 A (COND ((ATOM Y) (GO C))) 00031204 (SETQ Y1 (CAAAR Y)) 00031205 (COND 00031206 ((AND (NOT (MEMBER Y1 EXPTL*)) (NOT (EQCAR Y1 (QUOTE EXPT)))) 00031207 (GO B))) 00031208 (SETQ V 00031209 (MULTF2 00031210 (MKSP 00031211 (COND 00031212 ((MEMBER Y1 EXPTL*) (LIST (QUOTE EXPT) Y1 -1)) 00031213 (T 00031214 (LIST (QUOTE EXPT) 00031215 (CADR Y1) 00031216 (PREPSQ (SIMPMINUS (CDDR Y1)))))) 00031217 (CDAAR Y)) 00031218 V)) 00031219 (SETQ Z (CONS (CAAR Y) Z)) 00031220 B (SETQ Y (CDAR Y)) 00031221 (GO A) 00031222 C (SETQ FACTORS* (CAR X)) 00031223 (SETQ ORDN* (CDR X)) 00031224 (SETQ X 1) 00031225 D (COND ((NULL Z) (GO E))) 00031226 (SETQ X (LIST (CONS (CAR Z) X))) 00031227 (SETQ Z (CDR Z)) 00031228 (GO D) 00031229 (COND ((EQUAL V (CAR U)) (SETQ V (CAR U)))) 00031230 E (RETURN (CONS V (QUOTF W X)))))) 00031231 00031232 )) 00031233 00031234 DEFINE (( 00031235 00031236 (SUBS31 (LAMBDA (U) 00031237 (COND ((ATOM U) (CONS U 1)) 00031238 (T 00031239 (ADDSQ 00031250 ((LAMBDA(X) 00031260 (COND ((NULL MCHFG*) (CONS (LIST (CAR U)) 1)) 00031270 ((AND MCHFG* (NOT (SETQ MCHFG* NIL)) *RESUBS) 00031280 (SUBS2 X)) 00031290 (T X))) 00031300 (SUBS3T (CAR U) MATCH*)) 00031310 (SUBS31 (CDR U))))))) 00031320 00031330 (SUBS3T (LAMBDA (U V) 00031340 (SUBS3T0 (SUBS3T1 U V)))) 00031350 00031360 (SUBS3T0 (LAMBDA (X) 00031370 (PROG (Y) 00031380 (COND ((OR (CAR X) (ATOM (CDR X))) (RETURN X))) 00031390 (SETQ Y (MULTSQ (SIMP (CAADR X)) (CADDR X))) 00031400 (COND 00031410 ((CDADR X) 00031420 (SETQ Y 00031430 (MULTSQ 00031440 (REVPR (SIMPTIMES (EXCHK (CDADR X) NIL))) 00031450 Y)))) 00031460 (RETURN (CANCEL Y))))) 00031470 00031480 (SUBS3T1 (LAMBDA (U V) 00031490 (PROG (X Y Z) 00031500 (SETQ X (MTCHK (CAR U) V)) 00031510 (COND 00031520 ((NULL X) 00031530 (RETURN (COND ((NULL MCHFG*) U) (T (CONS (LIST U) 1))))) 00031540 ((AND (NULL (CAAR X)) 00031550 (SETQ MCHFG* T) 00031560 (SETQ Y 00031570 (LIST NIL 00031580 (CONS (CADDAR X) (CADR (CDDAR X))) 00031590 (SUBS32 (CDR U) MATCH*)))) 00031600 (GO B)) 00031610 ((AND (NOT (ATOM (CDR U))) (NULL (CDDR U))) (GO A))) 00031620 (SETQ Y (SUBS32 (CDR U) X)) 00031630 (COND ((NULL MCHFG*) (RETURN (CONS (CAR U) Y)))) 00031640 A0 (SETQ X (LIST (CONS (CAR U) 1))) 00031650 (SETQ Z (GCD1 X (CDR Y))) 00031660 (RETURN 00031670 (COND ((NULL Z) (MULTS2 (CAR U) Y)) 00031680 ((EQUAL X Z) (CONS (CAR Y) (QUOTF (CDR Y) X))) 00031690 (T 00031700 (CONS (MULTF (QUOTF X Z) (CAR Y)) 00031710 (QUOTF (CDR Y) Z))))) 00031720 A (SETQ Y (SUBS3T1 (CADR U) X)) 00031730 (COND ((AND (NULL (CAR Y)) (NOT (ATOM (CDR Y)))) (GO B)) 00031740 ((NULL MCHFG*) (RETURN (LIST (CAR U) Y))) 00031750 (T (GO A0))) 00031760 B (COND 00031770 ((AND (CDADR Y) (EQUAL (CADADR Y) (CAR U))) 00031780 (RETURN (LIST NIL (CONS (CAADR Y) (CDDADR Y)) (CADDR Y)))) 00031790 ((AND (NOT (ATOM (CAAR U))) 00031800 (FLAGP** (CAAAR U) (QUOTE NONCOM)) 00031810 (SETQ Y (SUBS3T0 Y))) 00031820 (GO A0)) 00031830 (T 00031840 (RETURN (LIST NIL (CADR Y) (MULTS2 (CAR U) (CADDR Y)))))))) 00031850 ) 00031860 00031870 (MULTS2 (LAMBDA (U V) 00031880 (CONS (MULTF2 U (CAR V)) (CDR V)))) 00031890 00031900 (SUBS32 (LAMBDA (U V) 00031910 (PROG (B X Y) 00031920 A (COND 00031930 ((ATOM U) 00031940 (RETURN 00031950 (COND (MCHFG* 00031960 (COND ((NULL X) (CONS U 1)) 00031970 (T (ADDSQ (CONS U 1) X)))) 00031980 (T (APPEND X U)))))) 00031990 (SETQ Y (SUBS3T (CAR U) V)) 00032000 (COND ((NULL MCHFG*) (SETQ X (APPEND X (LIST Y)))) 00032010 (B (SETQ X (ADDSQ Y X))) 00032020 ((SETQ B T) (SETQ X (ADDSQ (CONS X 1) Y)))) 00032030 (SETQ U (CDR U)) 00032040 (GO A)))) 00032050 00032060 (MKKL (LAMBDA (U V) 00032070 (COND ((NULL U) V) (T (MKKL (CDR U) (LIST (CONS (CAR U) V))))))) 00032080 00032090 )) 00032100 00032110 DEFINE (( 00032120 00032130 (MTCHK (LAMBDA (U V1) 00032140 (PROG (V W X Y Z) 00032150 A0 (COND ((NULL V1) (RETURN Z))) 00032160 (SETQ V (CAR V1)) 00032170 (SETQ W (CAR V)) 00032180 A (COND ((NULL W) (GO D)) 00032190 ((AND (EQUAL U (CAR W)) (SETQ Y (LIST NIL))) (GO B)) 00032200 ((NOT (ATOM (CAR U))) (GO A1)) 00032210 ((NOT (ATOM (CAAR W))) (GO D)) 00032220 ((OR FRLIS* (ORDP (CAR U) (CAAR W))) (GO A2)) 00032230 (T (GO E))) 00032231 A1 (COND ((EQ (CAAR U) (CAAAR W)) (GO A2)) 00032232 ((FLAGP** (CAAR U) (QUOTE NONCOM)) (GO C1)) 00032234 ((NULL (ORDP (CAAR U) (CAAAR W))) (GO E)) 00032240 (T (GO D))) 00032250 A2 (COND 00032260 ((OR (AND (NOT (MEMBER (CDAR W) FRLIS*)) 00032270 (OR (AND (CAADR V) 00032280 (NOT (EQUAL (CDR U) (CDAR W)))) 00032290 (LESSP (CDR U) (CDAR W)))) 00032300 (NOT (SETQ Y (MCHK (CAR U) (CAAR W))))) 00032310 (GO C)) 00032320 ((MEMBER (CDAR W) FRLIS*) 00032321 (SETQ Y 00032322 (MAPCONS U (CONS (CDAR W) (CDR U)))))) 00032324 B (COND ((NULL Y) (GO C)) 00032330 ((AND (NULL 00032340 (CAR 00032350 (SETQ X 00032360 (CONS (SUBLIS (CAR Y) 00032370 (DELETE (CAR W) (CAR V))) 00032380 (LIST (CADR V) 00032390 (SUBLIS (CAR Y) (CADDR V)) 00032400 (CONS 00032410 (SUBLIS (CAR Y) (CAR W)) 00032420 (CADDDR V))))))) 00032430 (*EVAL (SUBLIS (CAR Y) (CDADR V)))) 00032440 (RETURN (LIST X)))) 00032450 (SETQ Z (CONS X Z)) 00032460 (SETQ Y (CDR Y)) 00032470 (GO B) 00032480 C (COND 00032490 ((AND (NOT (ATOM (CAR U))) 00032500 (FLAGP** (CAAR U) (QUOTE NONCOM))) 00032510 (GO C1))) 00032520 (SETQ W (CDR W)) 00032530 (GO A) 00032540 C1 (COND ((AND (CADDDR V) (NOT (NOCP (CADDDR V)))) (GO E))) 00032550 D (SETQ Z (APPEND Z (LIST V))) 00032580 E (SETQ V1 (CDR V1)) 00032590 (GO A0)))) 00032600 00032710 (NOCP (LAMBDA (U) 00032720 (OR (NULL U) 00032730 (AND (OR (ATOM (CAAR U)) 00032740 (NOT (FLAGP** (CAAAR U) (QUOTE NONCOM)))) 00032750 (NOCP (CDR U)))))) 00032760 00032770 (MCHK (LAMBDA (U V) 00032780 (COND ((EQUAL U V) (LIST NIL)) 00032790 ((OR (NULL U) (NULL V)) NIL) 00032800 ((MEMBER V FRLIS*) (LIST (LIST (CONS V (EMTCH U))))) 00032810 ((OR (ATOM U) (ATOM V)) NIL) 00032820 ((EQ (CAR U) (CAR V)) (MCHARG (CDR U) (CDR V) (CAR U))) 00032830 (T NIL)))) 00032840 00032850 (MCHARG (LAMBDA (*S* V W) 00032860 ((LAMBDA(X) 00032870 (COND 00032880 ((MTP V) 00032890 (COND 00032900 (X 00032910 (COND 00032920 ((FLAGP W (QUOTE SYMMETRIC)) 00032930 (MAPLIST (PERMUTATIONS V) 00032940 (FUNCTION 00032950 (LAMBDA(J) 00032960 (PAIR (CAR J) 00032970 (MAPCAR *S* (FUNCTION EMTCH))))))) 00032980 ((FLAGP W (QUOTE ANTISYMMETRIC)) 00032990 (ERRACH (QUOTE (NOT YET)))) 00033000 (T (LIST (PAIR V (MAPCAR *S* (FUNCTION EMTCH))))))) 00033010 ((AND (EQUAL (LENGTH V) 2) (FLAGP W (QUOTE NARY))) 00033020 (MCHARG (CDR (MKBIN (CONS W *S*))) V W)) 00033030 (T NIL))) 00033040 (X (MCHARG1 *S* V (FLAGP W (QUOTE SYMMETRIC)) (LIST NIL))) 00033050 (T NIL))) 00033060 (EQUAL (LENGTH *S*) (LENGTH V))))) 00033070 00033080 (MCHARG1 (LAMBDA (U V FLG W) 00033090 (PROG (X Z) 00033100 (COND ((NULL U) (RETURN W)) 00033110 ((NULL FLG) 00033120 (RETURN 00033130 (MCHARG3 U (CDR V) (MCHK (CAR U) (CAR V)) FLG W)))) 00033140 (SETQ X (MCHARG2 (CAR U) V)) 00033150 A (COND ((NULL X) (RETURN Z))) 00033160 (SETQ Z (APPEND (MCHARG3 U (CDAR X) (CAAR X) FLG W) Z)) 00033170 (SETQ X (CDR X)) 00033180 (GO A)))) 00033190 00033200 (MCHARG2 (LAMBDA (U V) 00033210 (PROG (X Y Z) 00033220 A (COND ((NULL V) (RETURN (REVERSE Z))) 00033230 ((SETQ Y (MCHK U (CAR V))) 00033240 (SETQ Z 00033250 (CONS (CONS Y (APPEND (REVERSE X) (CDR V))) 00033260 Z)))) 00033270 (SETQ X (CONS (CAR V) X)) 00033280 (SETQ V (CDR V)) 00033290 (GO A)))) 00033300 00033310 (MCHARG3 (LAMBDA (U V *S* FLG W) 00033320 (PROG (Z) 00033330 A (COND ((NULL *S*) (RETURN Z))) 00033340 (SETQ Z 00033350 (APPEND (MCHARG1 (CDR U) 00033360 (SUBLIS (CAR *S*) V) 00033370 FLG 00033380 (MAPLIST W 00033390 (FUNCTION 00033400 (LAMBDA(J) 00033410 (APPEND 00033420 (CAR *S*) 00033430 (CAR J)))))) 00033440 Z)) 00033450 (SETQ *S* (CDR *S*)) 00033460 (GO A)))) 00033470 00033480 (MKBIN (LAMBDA (U) 00033490 (COND ((OR (NULL (CDDR U)) (NULL (CDDDR U))) U) 00033500 (T (MKBIN1 (CAR U) (CDR U)))))) 00033510 00033520 (MKBIN1 (LAMBDA (U V) 00033530 (COND ((NULL (CDDR V)) (CONS U V)) 00033540 (T (LIST U (CAR V) (MKBIN1 U (CDR V))))))) 00033550 00033560 (MTP (LAMBDA (V) 00033570 (OR (NULL V) 00033580 (AND (MEMBER (CAR V) FRLIS*) 00033590 (NOT (MEMBER (CAR V) (CDR V))) 00033600 (MTP (CDR V)))))) 00033610 00033620 (PERMUTATIONS (LAMBDA (*S*) 00033630 (COND ((NULL *S*) (LIST NIL)) 00033640 ((NULL (CDR *S*)) (LIST *S*)) 00033650 (T 00033660 (MAPCON *S* 00033670 (FUNCTION 00033680 (LAMBDA(J) 00033690 (MAPCONS 00033700 (PERMUTATIONS (DELETE (CAR J) *S*)) 00033710 (CAR J))))))))) 00033720 00033730 )) 00033740 00033750 DEFINE (( 00033760 00033770 (EMTCH (LAMBDA (U) 00033780 (COND ((ATOM U) U) 00033790 (T ((LAMBDA (X) (COND (X X) (T U))) (OPMTCH U)))))) 00033800 00033810 (OPMTCH (LAMBDA (U) 00033820 (PROG (X Y) 00033830 (COND ((NULL SUBFG*) (RETURN NIL))) 00033840 (SETQ X (GET (CAR U) (QUOTE OPMTCH*))) 00033850 A (COND ((NULL X) (RETURN NIL)) 00033860 ((AND (NULL (CAADAR X)) 00033870 (SETQ Y (MCHARG (CDR U) (CAAR X) (CAR U))) 00033880 (*EVAL (SUBLIS (CAR Y) (CDADAR X)))) 00033890 (GO B))) 00033900 (SETQ X (CDR X)) 00033910 (GO A) 00033920 B (RETURN (SUBLIS (CAR Y) (CADDAR X)))))) 00033930 00033940 )) 00033950 00033960 DEFINE (( 00033970 00033980 (ORDER (LAMBDA (U) 00033990 (PROG NIL 00034000 A (COND ((NULL U) (RETURN NIL)) 00034010 ((OR (NOT (ATOM (CAR U))) (NUMBERP (CAR U))) (GO B))) 00034020 (PUT (CAR U) (QUOTE ORDER) ORDN*) 00034030 (SETQ ORDN* (ADD1 ORDN*)) 00034040 B (SETQ U (CDR U)) 00034050 (GO A)))) 00034060 00034070 (FORMOP (LAMBDA (U) 00034080 (COND ((ATOM U) U) 00034090 (T 00034100 (ADDOF (MULTOP (CAAR U) (FORMOP (CDAR U))) 00034110 (FORMOP (CDR U))))))) 00034120 00034130 (ADDOF (LAMBDA (U V) 00034140 (COND ((NULL U) V) 00034150 ((NULL V) U) 00034160 ((ATOM U) (CONS (CAR V) (ADDOF U (CDR V)))) 00034170 ((ATOM V) (ADDOF V U)) 00034180 ((EQUAL (CAAR U) (CAAR V)) 00034190 (CONS (CONS (CAAR U) (ADDOF (CDAR U) (CDAR V))) 00034200 (ADDOF (CDR U) (CDR V)))) 00034210 ((ORDOP (CAAR U) (CAAR V)) (CONS (CAR U) (ADDOF (CDR U) V))) 00034220 (T (CONS (CAR V) (ADDOF U (CDR V))))))) 00034230 00034240 (MULTOP (LAMBDA (U V) 00034250 (COND ((EQ (CAR U) (QUOTE K*)) V) (T (MULTOP1 U V))))) 00034260 00034270 (MULTOP1 (LAMBDA (U V) 00034280 (COND ((NULL V) NIL) 00034290 ((OR (ATOM V) (ORDOP U (CAAR V))) (LIST (CONS U V))) 00034300 (T 00034310 (CONS (CONS (CAAR V) (MULTOP1 U (CDAR V))) 00034320 (MULTOP1 U (CDR V))))))) 00034330 00034340 (ORDOP (LAMBDA (U V) 00034350 (COND ((NULL U) (NULL V)) 00034360 ((NULL V) NIL) 00034370 ((AND (MEMBER U FACTORS*) (NOT (MEMBER V FACTORS*))) T) 00034380 ((AND (MEMBER V FACTORS*) (NOT (MEMBER U FACTORS*))) NIL) 00034390 ((ATOM U) 00034400 (COND 00034410 ((ATOM V) 00034420 (COND ((NUMBERP U) (AND (NUMBERP V) (NOT (LESSP U V)))) 00034430 ((NUMBERP V) T) 00034440 ((ZEROP ORDN*) (ORDERP U V)) 00034445 (T 00034450 ((LAMBDA(X Y) 00034460 (COND ((AND X Y) (LESSP X Y)) 00034470 (X T) 00034480 (Y NIL) 00034490 (T (ORDERP U V)))) 00034500 (GET U (QUOTE ORDER)) 00034510 (GET V (QUOTE ORDER)))))) 00034520 ((MEMBER U FACTORS*) T) 00034530 (T (NOT (MEMBER (CAR V) FACTORS*))))) 00034540 ((ATOM V) (MEMBER (CAR U) FACTORS*)) 00034550 ((EQUAL (CAR U) (CAR V)) (ORDOP (CDR U) (CDR V))) 00034560 (T (ORDOP (CAR U) (CAR V)))))) 00034570 00034580 (QUOTOF (LAMBDA (P Q) 00034590 (COND ((NULL P) NIL) 00034600 ((EQUAL P Q) 1) 00034610 ((EQUAL Q 1) P) 00034620 ((NUMB Q) 00034630 (COND 00034640 ((NUMB P) 00034650 (COND ((AND (ATOM P) (ATOM Q)) (MKFR P Q)) 00034660 (T (ERRACH (LIST (QUOTE QUOTOF) P Q))))) 00034670 (T 00034680 (CONS (CONS (CAAR P) (QUOTOF (CDAR P) Q)) 00034690 (QUOTOF (CDR P) Q))))) 00034700 ((NUMB P) 00034710 (LIST 00034720 (CONS (CONS (CAAAR Q) (MINUS (CDAAR Q))) 00034730 (QUOTOF P (CDARX Q))))) 00034740 (T 00034750 ((LAMBDA(X Y) 00034760 (COND 00034770 ((EQ (CAR X) (CAR Y)) 00034780 ((LAMBDA(N W Z) 00034790 (COND ((ZEROP N) (ADDOF W Z)) 00034800 (T (CONS (CONS (CONS (CAR Y) N) W) Z)))) 00034810 (DIFFERENCE (CDR X) (CDR Y)) 00034820 (QUOTOF (CDAR P) (CDARX Q)) 00034830 (QUOTOF (CDR P) Q))) 00034840 ((ORDOP X Y) 00034850 (CONS (CONS X (QUOTOF (CDAR P) Q)) (QUOTOF (CDR P) Q))) 00034860 (T 00034870 (LIST 00034880 (CONS (CONS (CAR Y) (MINUS (CDR Y))) 00034890 (QUOTOF P (CDARX Q))))))) 00034900 (CAAR P) 00034910 (CAAR Q)))))) 00034920 00034930 )) 00034940 00034950 DEFINE (( 00034960 00034970 (CKRN (LAMBDA (U) 00034980 (PROG (X) 00034990 (COND ((KERNLOP U) (RETURN U))) 00035000 A (SETQ X (CONS (CKRN (CDAR U)) X)) 00035010 (COND 00035020 ((NULL (CDR U)) (RETURN (LIST (CONS (CAAR U) (GCK X))))) 00035030 ((OR (ATOM (CDR U)) (NOT (EQ (CAAAR U) (CAAADR U)))) 00035040 (RETURN (GCK (CONS (CKRN (CDR U)) X))))) 00035050 (SETQ U (CDR U)) 00035060 (GO A)))) 00035070 00035080 (GCK (LAMBDA (U) 00035090 (COND ((NULL U) 1) 00035100 ((NULL (CDR U)) (CAR U)) 00035110 (T (GCK (CONS (GCK1 (CAR U) (CADR U)) (CDDR U))))))) 00035120 00035130 (GCK1 (LAMBDA (U V) 00035140 (COND ((OR (NULL U) (NULL V)) (ERRACH (QUOTE GCK1))) 00035150 ((EQUAL U V) U) 00035160 ((NUMB U) 00035170 (COND 00035180 ((NUMB V) 00035190 (COND ((AND (ATOM U) (ATOM V)) (GCDN U V)) (T 1))) 00035200 (T (GCK1 U (CDARX V))))) 00035210 ((NUMB V) (GCK1 (CDARX U) V)) 00035220 (T 00035230 ((LAMBDA(X Y) 00035240 (COND 00035250 ((EQ (CAR X) (CAR Y)) 00035260 (LIST 00035270 (CONS 00035280 (COND ((GREATERP (CDR X) (CDR Y)) Y) (T X)) 00035290 (GCK1 (CDARX U) (CDARX V))))) 00035300 ((ORDOP X Y) (GCK1 (CDARX U) V)) 00035310 (T (GCK1 U (CDARX V))))) 00035320 (CAAR U) 00035330 (CAAR V)))))) 00035340 00035350 )) 00035360 00035370 DEFINE (( 00035380 00035390 (PREPSQ (LAMBDA (U) 00035400 (COND ((NULL (CAR U)) 0) 00035410 (T 00035420 ((LAMBDA(X) 00035430 (COND 00035440 ((OR *RAT (AND (NOT *FLOAT) *DIV) UPL* DNL*) 00035450 (REPLUS (PREPSQ1 (CAR X) NIL (CDR X)))) 00035460 (T 00035470 (SQFORM X 00035480 (FUNCTION 00035490 (LAMBDA (J) (REPLUS (PREPSQ1 J NIL 1)))))))) 00035500 (CONS (FORMOP (CAR U)) (FORMOP (CDR U)))))))) 00035510 00035520 (SQFORM (LAMBDA (U *PI*) 00035530 ((LAMBDA(X Y) 00035540 (COND ((EQUAL Y 1) X) (T (LIST (QUOTE QUOTIENT) X Y)))) 00035550 (*PI* (CAR U)) 00035560 (*PI* (CDR U))))) 00035570 00035580 (PREPSQ1 (LAMBDA (U V W) 00035590 (PROG (X Y Z) 00035600 (COND ((NULL U) (RETURN NIL)) 00035610 ((AND (NOT (ATOM U)) 00035620 (OR (MEMBER (CAAAR U) FACTORS*) 00035630 (AND (NOT (ATOM (CAAAR U))) 00035640 (MEMBER (CAAAAR U) FACTORS*)))) 00035650 (RETURN 00035660 (NCONC (PREPSQ1 (CDAR U) (CONS (CAAR U) V) W) 00035670 (PREPSQ1 (CDR U) V W)))) 00035680 ((NULL (KERNLP U)) (GO A))) 00035690 (SETQ U (MKKL V U)) 00035700 (SETQ V NIL) 00035710 A (SETQ X (CKRN U)) 00035720 (COND ((NULL DNL*) (GO A1))) 00035730 (SETQ Z (CKRN* X DNL*)) 00035740 (SETQ X (QUOTOF X Z)) 00035750 (SETQ U (QUOTF U Z)) 00035760 (SETQ W (QUOTOF W Z)) 00035770 A1 (SETQ Y (CKRN W)) 00035780 (COND ((NULL UPL*) (GO A2))) 00035790 (SETQ Z (CKRN* Y UPL*)) 00035800 (SETQ Y (QUOTOF Y Z)) 00035810 (SETQ U (QUOTOF U Z)) 00035820 (SETQ W (QUOTOF W Z)) 00035830 A2 (COND ((AND (NULL *DIV) (NULL *FLOAT)) (SETQ Y (GCK1 X Y)))) 00035840 (SETQ U (MKCANON (CONS (QUOTOF U Y) (QUOTOF W Y)))) 00035850 (COND ((AND *GCD (ZEROP ORDN*)) (SETQ U (CANCEL U)))) 00035852 (SETQ X (QUOTOF X Y)) 00035860 (COND 00035870 ((AND *ALLFAC (NULL *DIV) (NOT (EQUAL X (CAR U)))) (GO B)) 00035880 ((NULL V) (GO D))) 00035890 (SETQ V (EXCHK V NIL)) 00035900 (GO C) 00035910 D (SETQ U (PREPSQ2 U)) 00035920 (RETURN 00035930 (COND ((EQCAR U (QUOTE PLUS)) (CDR U)) (T (LIST U)))) 00035940 B (COND ((AND (EQUAL X 1) (NULL V)) (GO D))) 00035950 (SETQ U (CONS (QUOTOF (CAR U) X) (CDR U))) 00035960 (SETQ V (PREPF (MKKL V X))) 00035970 (COND ((EQUAL U (CONS 1 1)) (RETURN V)) 00035980 ((EQCAR V (QUOTE TIMES)) (SETQ V (CDR V))) 00035990 (T (SETQ V (LIST V)))) 00036000 C (RETURN (LIST (RETIMES (ACONC V (PREPSQ2 U)))))))) 00036010 00036020 (CKRN* (LAMBDA (U V) 00036030 (COND ((NULL U) (ERRACH (QUOTE CKRN*))) 00036040 ((ATOM U) 1) 00036050 ((MEMBER (CAAAR U) V) 00036060 (LIST (CONS (CAAR U) (CKRN* (CDARX U) V)))) 00036070 (T (CKRN* (CDARX U) V))))) 00036080 00036090 (UP (LAMBDA (U) 00036100 (FACTOR1 U T (QUOTE UPL*)))) 00036110 00036120 (DOWN (LAMBDA (U) 00036130 (FACTOR1 U T (QUOTE DNL*)))) 00036140 00036150 )) 00036160 00036170 DEFLIST (((UP RLIS) (DOWN RLIS)) STAT) 00036180 00036190 DEFINE (( 00036200 00036210 (REPLUS (LAMBDA (U) 00036220 (COND ((ATOM U) U) 00036230 ((NULL (CDR U)) (CAR U)) 00036240 (T (CONS (QUOTE PLUS) U))))) 00036250 00036260 (RETIMES (LAMBDA (U) 00036270 (PROG (X Y) 00036275 A (COND ((NULL U) (GO D)) 00036280 ((NOT (EQCAR (CAR U) (QUOTE MINUS))) (GO B))) 00036285 (SETQ X (NOT X)) 00036290 (COND ((EQUAL (CADAR U) 1) (GO C)) 00036295 (T (SETQ U (CONS (CADAR U) (CDR U))))) 00036300 B (SETQ Y (CONS (CAR U) Y)) 00036305 C (SETQ U (CDR U)) 00036310 (GO A) 00036315 D (SETQ Y (COND ((NULL Y) 1) 00036320 ((CDR Y) (CONS (QUOTE TIMES) (REVERSE Y))) 00036325 (T (CAR Y)))) 00036330 (RETURN (COND (X (LIST (QUOTE MINUS) Y)) (T Y)))))) 00036335 00036350 (PREPSQ2 (LAMBDA (U) 00036360 (SQFORM U (FUNCTION PREPF)))) 00036370 00036380 (PREPF (LAMBDA (U) 00036390 (PROG (X) 00036395 (COND ((AND (MINUSF U) (SETQ X T)) (SETQ U (MULTN -1 U)))) 00036400 (SETQ U (REPLUS (PREPF1 U NIL))) 00036405 (RETURN (COND (X (LIST (QUOTE MINUS) U)) (T U)))))) 00036410 00036415 (PREPF1 (LAMBDA (U V) 00036420 (COND ((NULL U) NIL) 00036430 ((NUMB U) 00036440 (LIST (RETIMES (NUMCONS (MINUSCHK U) (EXCHK V NIL))))) 00036450 (T 00036460 (NCONC (PREPF1 (CDAR U) (CONS (CAAR U) V)) 00036470 (PREPF1 (CDR U) V)))))) 00036480 00036490 (NUMB (LAMBDA (U) 00036500 (OR (NUMBERP U) (EQCAR U (QUOTE QUOTIENT))))) 00036510 00036520 (NUMCONS (LAMBDA (N V) 00036530 (COND ((NULL V) (LIST N)) ((EQUAL N 1) V) (T (CONS N V))))) 00036540 00036550 (KERNLOP (LAMBDA (U) 00036560 (OR (NUMB U) (AND (NULL (CDR U)) (KERNLOP (CDAR U)))))) 00036570 00036580 (EXCHK (LAMBDA (U V) 00036590 (COND ((NULL U) V) 00036600 ((ONEP (CDAR U)) (EXCHK (CDR U) (CONS (SQCHK (CAAR U)) V))) 00036610 (T 00036620 (EXCHK (CDR U) 00036630 (CONS (LIST (QUOTE EXPT) (SQCHK (CAAR U)) (CDAR U)) 00036640 V)))))) 00036650 00036660 (SQCHK (LAMBDA (U) 00036670 (COND ((ATOM U) ((LAMBDA (X) 00036675 (COND (X X) (T U))) (GET U (QUOTE NEWNAME)))) 00036680 ((EQ (CAR U) (QUOTE *SQ)) (PREPSQ (CADR U))) 00036685 ((AND (EQ (CAR U) (QUOTE EXPT)) (EQUAL (CADDR U) 1)) 00036690 (CADR U)) 00036695 ((ATOM (CAR U)) U) 00036700 (T (PREPF U))))) 00036710 00036720 (MINUSCHK (LAMBDA (U) 00036730 (COND 00036740 ((ATOM U) 00036750 (COND ((MINUSP U) (LIST (QUOTE MINUS) (MINUS U))) (T U))) 00036760 ((MINUSP (CADR U)) 00036770 (LIST (QUOTE MINUS) 00036780 (LIST (QUOTE QUOTIENT) (MINUS (CADR U)) (CADDR U)))) 00036790 (T U)))) 00036800 00036810 (MKFR (LAMBDA (U V) 00036820 (COND (*FLOAT (QUOTIENT (PLUS 0.0 U) V)) 00036830 (T 00036840 ((LAMBDA(M) 00036850 ((LAMBDA(N1 N2) 00036860 (COND ((ONEP N2) N1) 00036870 (T (LIST (QUOTE QUOTIENT) N1 N2)))) 00036880 (QUOTIENT U M) 00036890 (QUOTIENT V M))) 00036900 (GCDN U V)))))) 00036910 00036920 )) 00036930 00036940 DEFLIST (((*SQ SQPRINT)) SPECPRN) 00036950 00036960 DEFINE (( 00036970 00036980 (SQPRINT (LAMBDA (U) 00036990 (PROG (Z) 00037000 (SETQ Z ORIG*) 00037010 (COND ((LESSP POSN* 20) (SETQ ORIG* POSN*))) 00037020 (MAPRIN 00037030 (SETQ *OUTP 00037040 (COND ((NULL (CAAR U)) 0) (T (PREPSQ (CAR U)))))) 00037050 (SETQ ORIG* Z)))) 00037060 00037070 (VARPRI (LAMBDA (U V W) 00037080 (PROG NIL 00037090 (COND ((NULL V) (RETURN NIL)) 00037100 (*FORT (GO D)) 00037110 ((AND (EQUAL V 0) U *NERO) (GO C))) 00037120 (COND ((NULL W) (TERPRI*))) 00037130 (COND ((EQCAR V (QUOTE MAT)) (GO M)) ((NULL U) (GO A))) 00037140 (INPRINT (QUOTE SETQ) (GET (QUOTE SETQ) (QUOTE INFIX)) U) 00037150 (OPRIN (QUOTE SETQ)) 00037160 A (MAPRIN V) 00037170 (COND (W (GO C)) 00037180 ((AND (NULL *NAT) (NULL *FORT)) (PRINC* **DOLLAR))) 00037190 C (RETURN V) 00037210 D (SETQ COUNT* 1) 00037220 (COND ((AND (ATOM V) (NOT (NUMBERP V))) (GO A))) 00037221 (SETQ FORTVAR* (QUOTE ANS)) 00037230 (COND ((OR (NULL U) (NOT (ATOM (CAR U)))) (GO E))) 00037240 (SETQ FORTVAR* (CAR U)) 00037250 E (COND ((GREATERP POSN* 5) (GO A))) 00037260 (SPACES 6) 00037265 (PRINC FORTVAR*) 00037270 (OPRIN (QUOTE EQUAL)) 00037280 (SETQ POSN* (PLUS 7 (LENGTH (EXPLODE FORTVAR*)))) 00037281 (GO A) 00037290 M (MATPRI (CDR V) (COND (U (CAR U)) (T NIL))) 00037300 (GO C)))) 00037310 00037320 )) 00037330 00037340 DEFINE (( 00037350 00037360 (SIMPDF (LAMBDA (U) 00037370 (PROG (V X Y N) 00037380 (COND ((NULL SUBFG*) (RETURN (MKSQ (CONS (QUOTE DF) U) 1)))) 00037390 (SETQ V (CDR U)) 00037400 (SETQ U (SIMPCAR U)) 00037410 A (COND ((OR (NULL V) (NULL (CAR U))) (RETURN U))) 00037420 (SETQ X (COND ((NULL Y) (SIMP (CAR V))) (T Y))) 00037430 (SETQ Y NIL) 00037440 (COND 00037450 ((OR (NULL (KERNP X)) (NOT (ONEP (CDAAAR X)))) (GO E)) 00037460 ((OR (NULL (CDR V)) 00037470 (NOT 00037480 (NUMBERP 00037490 (SETQ N (PREPSQ (SETQ Y (SIMP (CADR V)))))))) 00037500 (GO C1))) 00037510 (SETQ Y NIL) 00037520 (SETQ V (CDR V)) 00037530 (SETQ X (CAAAAR X)) 00037540 C (COND ((ZEROP N) (GO D))) 00037550 (SETQ U (DIFF1 U X)) 00037560 (SETQ N (SUB1 N)) 00037570 (GO C) 00037580 C1 (SETQ U (DIFF1 U (CAAAAR X))) 00037590 D (SETQ V (CDR V)) 00037600 (GO A) 00037610 E (MESPRI (QUOTE (DIFFERENTIATION WITH RESPECT TO)) 00037620 (CAR V) 00037630 (QUOTE (NOT ALLOWED)) 00037640 NIL 00037650 T) 00037660 (ERROR*)))) 00037670 00037680 (DIFF1 (LAMBDA (U V) 00037690 (PROG (W X Y Z Z1) 00037700 (COND 00037710 ((KERNP (CONS (CDR U) 1)) (SETQ W (CONS (CAAADR U) 1)))) 00037720 (SETQ X (DIFF2 (CAR U) V)) 00037730 (SETQ Y 00037740 (COND ((NULL W) (DIFF2 (CDR U) V)) 00037750 (T (DIFFK (LIST (CONS W 1)) V)))) 00037760 (SETQ Z 00037770 (COND ((NULL (CAR X)) (CONS NIL 1)) 00037780 (T (CONS (CAR X) (MULTF (CDR X) (CDR U)))))) 00037790 (COND ((NULL (CAR Y)) (RETURN Z))) 00037800 (SETQ Z1 00037810 (NEGSQ 00037820 (MULTSQ Y 00037830 (COND ((NULL W) 00037840 (CONS (CAR U) (NMULTF (CDR U) 2))) 00037850 (T 00037860 (CONS (MULTN (CDAADR U) (CAR U)) 00037870 (MULTF2 W (CDR U)))))))) 00037880 (RETURN 00037890 (COND 00037900 ((AND *EXP *MCD) 00037910 (CANCEL 00037920 (CONS (ADDF (MULTF (CAR X) 00037930 (COND 00037940 ((NULL W) (MULTF (CDR U) (CDR Y))) 00037950 (T (MULTF2 W (CDR Y))))) 00037960 (MULTF (CDR X) (CAR Z1))) 00037970 (MULTF (CDR X) (CDR Z1))))) 00037980 (T (ADDSQ Z Z1))))))) 00037990 00038000 (DIFF2 (LAMBDA (U V) 00038010 (COND ((ATOM U) (CONS NIL 1)) 00038020 (T 00038030 (ADDSQ (DIFF2 (CDR U) V) 00038040 (ADDSQ (MULTS2 (CAAR U) (DIFF2 (CDAR U) V)) 00038050 (DIFFK U V))))))) 00038060 00038070 (DIFFK (LAMBDA (U *S*) 00038080 (PROG (V W X Y Z) 00038090 (SETQ X (CAAR U)) 00038100 (COND 00038110 ((AND (EQ (CAR X) *S*) (SETQ X (CONS 1 1))) (GO D)) 00038120 ((OR (ATOM (CAR X)) 00038130 (AND (ATOM (CAAR X)) (GET (CAAR X) (QUOTE **ARRAY)))) 00038140 (RETURN (COND ((AND (SETQ Z (FKERN (CAR X))) 00038150 (ASSOC (QUOTE REP) (CDDR Z))) 00038151 (MKSQ (LIST (QUOTE DF) (CAR X) *S*) 1)) 00038152 (T (CONS NIL 1)))))) 00038153 (SETQ Y (FKERN (CAR X))) 00038160 (COND 00038170 ((AND (SETQ V (ASSOC (QUOTE DFN) (CDDR Y))) 00038180 (SETQ V (ASSOC *S* (CADR V))) 00038190 (SETQ X (CDR V))) 00038200 (GO D)) 00038210 ((OR (AND (NOT (ATOM (CAAR X))) 00038220 (SETQ X (NMULTSQ (DIFF2 (CAR X) *S*) (CDR X)))) 00038230 (AND (EQ (CAAR X) (QUOTE *SQ)) 00038240 (SETQ X (DIFF1 (CADAR X) *S*)))) 00038250 (GO B)) 00038260 ((OR (NOT (SETQ V (GET* (CAAR X) (QUOTE DFN)))) 00038270 (NOT 00038280 (DFP (SETQ W 00038290 (MAPCAR (CDAR X) 00038300 (FUNCTION 00038310 (LAMBDA(J) 00038320 (DIFF1 (SIMP J) *S*))))) 00038330 V))) 00038340 (GO H))) 00038350 (SETQ Z (CDAR X)) 00038360 (SETQ X (CONS NIL 1)) 00038370 (COND 00038380 ((NULL 00038390 (*EVAL 00038400 (CONS (QUOTE OR) 00038410 (MAPCAR W 00038420 (FUNCTION 00038430 (LAMBDA(J) 00038440 (LIST (QUOTE QUOTE) (CAR J)))))))) 00038450 (GO B))) 00038460 A (COND ((NULL W) (GO B)) 00038470 ((CAAR W) 00038480 (SETQ X 00038490 (ADDSQ (MULTSQ (CAR W) 00038500 (SIMP 00038510 (SUBLIS 00038520 (PAIR (CAAR V) Z) 00038530 (CDAR V)))) 00038540 X)))) 00038550 (SETQ W (CDR W)) 00038560 (SETQ V (CDR V)) 00038570 (GO A) 00038580 B (COND 00038590 ((SETQ V (ASSOC (QUOTE DFN) (CDDR Y))) (GO C)) 00038600 (T (ACONC Y (SETQ V (LIST (QUOTE DFN) NIL))))) 00038610 (SETQ DSUBL* (CONS (CDR V) DSUBL*)) 00038620 C (RPLACA (CDR V) (XADD (CONS *S* X) (CADR V) NIL T)) 00038630 (COND ((NULL (CAR X)) (RETURN X))) 00038640 D (SETQ U (CAR U)) 00038650 (SETQ W 00038660 (COND ((ONEP (CDAR U)) (CDR U)) 00038670 (T 00038680 (MULTF2 (GETPOWER (COND (Y Y) 00038690 (T (FKERN (CAAR U)))) 00038700 (SUB1 (CDAR U))) 00038710 (MULTN (CDAR U) (CDR U)))))) 00038720 (RETURN (CONS (MULTF (CAR X) W) (CDR X))) 00038730 H (SETQ V 00038740 (COND 00038750 ((EQ (CAAR X) (QUOTE DF)) 00038760 (CONS (CAAR X) (CONS (CADAR X) 00038765 (ORDAD *S* (CDDAR X))))) 00038770 (T (LIST (QUOTE DF) (CAR X) *S*)))) 00038780 (SETQ X 00038790 (COND ((SETQ W (OPMTCH V)) (SIMP W)) (T (MKSQ V 1)))) 00038800 (GO B)))) 00038810 00038820 (DFP (LAMBDA (U V) 00038830 (COND ((NULL U) (NULL V)) 00038840 ((NULL V) NIL) 00038850 ((CAAR U) (AND (CAR V) (DFP (CDR U) (CDR V)))) 00038860 (T (DFP (CDR U) (CDR V)))))) 00038870 00038880 )) 00038890 00038900 DEFINE (( 00038910 00038920 (GCDN (LAMBDA (P Q) 00038930 (GCDN0 (ABS P) (ABS Q)))) 00038940 00038950 (GCDN0 (LAMBDA (P Q) 00038960 (COND ((EQUAL P Q) P) 00038970 (*FLOAT (COND ((GREATERP P Q) Q) (T P))) 00038980 ((GREATERP Q P) (GCDN1 Q P)) 00038990 (T (GCDN1 P Q))))) 00039000 00039010 (GCDN1 (LAMBDA (P Q) 00039020 ((LAMBDA (X) (COND ((ZEROP X) Q) (T (GCDN1 Q X)))) 00039030 (REMAINDER P Q)))) 00039040 00039050 )) 00039060 00039070 DEFINE (( 00039080 00039090 (QUOTF (LAMBDA (P Q) 00039100 (COND ((NULL P) NIL) 00039110 ((EQUAL P Q) 1) 00039120 ((EQUAL Q 1) P) 00039130 ((ATOM Q) 00039140 (COND 00039150 ((ATOM P) 00039160 (COND (*FLOAT (TIMES P (RECIP (PLUS 0.0 Q)))) 00039165 (T ((LAMBDA (Z) 00039170 (COND ((ZEROP (CDR Z)) (CAR Z)) 00039180 (T NIL))) 00039200 (DIVIDE P Q))))) 00039210 (T (QUOTK (CAAR P) P Q)))) 00039220 ((ATOM P) NIL) 00039230 (T 00039240 ((LAMBDA(X Y) 00039250 (COND 00039260 ((EQ (CAR X) (CAR Y)) 00039270 ((LAMBDA(N) 00039280 (COND 00039290 ((NOT (MINUSP N)) 00039300 ((LAMBDA(W) 00039310 (COND 00039320 (W 00039330 ((LAMBDA(V Y) 00039340 (COND ((NULL Y) V) 00039350 (T 00039360 ((LAMBDA(Z) 00039370 (COND (Z (APPEND V Z)) (T NIL))) 00039380 (QUOTF Y Q))))) 00039390 (COND ((ZEROP N) W) 00039400 (T (LIST (CONS (MKSP (CAR X) N) W)))) 00039410 (ADDF P 00039420 (MULTF 00039430 (COND ((ZEROP N) Q) 00039440 (T (MULTF2 (MKSP (CAR X) N) Q))) 00039450 (MULTN -1 W))))) 00039460 (T NIL))) 00039470 (QUOTF (CDAR P) (CDAR Q)))) 00039480 (T NIL))) 00039490 (DIFFERENCE (CDR X) (CDR Y)))) 00039500 ((ORDP X Y) (QUOTK X P Q)) 00039510 (T NIL))) 00039520 (CAAR P) 00039530 (CAAR Q)))))) 00039540 00039550 (QUOTK (LAMBDA (X P Q) 00039560 ((LAMBDA(W) 00039570 (COND (W 00039580 (COND ((NULL (CDR P)) (LIST (CONS X W))) 00039590 (T 00039600 ((LAMBDA(Y) 00039610 (COND (Y (CONS (CONS X W) Y)) (T NIL))) 00039620 (QUOTF (CDR P) Q))))) 00039630 (T NIL))) 00039640 (QUOTF (CDAR P) Q)))) 00039650 00039660 )) 00039670 00039680 DEFINE (( 00039690 00039700 (ABSONE (LAMBDA (U) 00039710 (AND (NUMBERP U) (ONEP (ABS U))))) 00039720 00039730 (CDARX (LAMBDA (U) 00039740 (COND ((NULL (CDR U)) (CDAR U)) 00039750 (T (ERRACH (LIST (QUOTE CDARX) U)))))) 00039760 00039770 )) 00039780 00039790 DEFINE (( 00039800 00039810 (PRMCON (LAMBDA (P) 00039820 (PROG (X Y Q) 00039830 (SETQ Q P) 00039840 (COND ((ATOM P) (ERRACH (LIST (QUOTE PRMCON) P))) 00039850 ((AND (NULL (CDR P)) (SETQ X (CAR P))) (GO B))) 00039860 (SETQ Y (CAAAR P)) 00039870 A (COND 00039880 ((OR (AND (OR (ATOM Q) (NOT (EQ (CAAAR Q) Y))) 00039890 (SETQ X (CONS 1 (GCD (REVERSE (CONS Q X)))))) 00039900 (AND (NULL (CDR Q)) 00039910 (SETQ X 00039920 (CONS (CAAR Q) (GCD (CONS (CDAR Q) X)))))) 00039930 (GO B))) 00039940 (SETQ X (CONS (CDAR Q) X)) 00039950 (SETQ Q (CDR Q)) 00039960 (GO A) 00039970 B (RETURN 00039980 (CONS (QUOTF P 00039990 (COND ((ATOM (CAR X)) (CDR X)) (T (LIST X)))) 00040000 X))))) 00040010 00040020 (GCD (LAMBDA (L) 00040030 (COND ((NULL (CDR L)) (CAR L)) 00040040 ((MEMBER 1 L) 1) 00040050 (T (GCD (CONS (GCD1 (CAR L) (CADR L)) (CDDR L))))))) 00040060 00040070 (GCD1 (LAMBDA (U V) 00040080 (COND 00040090 ((OR (NULL U) (NULL V)) (ERRACH (LIST (QUOTE GCD1) U V))) 00040100 ((EQUAL U V) U) 00040110 ((ATOM U) 00040120 (COND ((ATOM V) (GCDN U V)) 00040130 (T (GCD (NCONS (CDR V) (LIST U (CDAR V))))))) 00040140 ((ATOM V) (GCD (NCONS (CDR U) (LIST V (CDAR U))))) 00040150 (T 00040160 ((LAMBDA(X Y) 00040170 (COND ((EQ X Y) 00040180 (PROG (N W X1 Y1 Z Z1 Z2 Z3) 00040190 (SETQ X1 (PRMCON U)) 00040200 (SETQ Y1 (PRMCON V)) 00040210 (SETQ W 1) 00040220 (SETQ Z1 (CAR X1)) 00040230 (SETQ Z2 (CAR Y1)) 00040240 (COND 00040250 ((OR (NULL *GCD) (ABSONE Z1) (ABSONE Z2)) 00040260 (GO A)) 00040270 ((OR (ATOM Z1) (ATOM Z2)) 00040280 (ERRACH (LIST (QUOTE GCDK) U V X1 Y1))) 00040290 ((EQ (CAAAR Z1) (CAAAR Z2)) (GO C))) 00040300 A (SETQ W (MULTF W (GCD1 (CDDR X1) (CDDR Y1)))) 00040310 (RETURN 00040320 (COND 00040330 ((OR (ATOM (CADR X1)) (ATOM (CADR Y1))) W) 00040340 ((ORDP (CADR X1) (CADR Y1)) 00040350 (MULTF2 (CADR Y1) W)) 00040360 (T (MULTF2 (CADR X1) W)))) 00040370 C (COND ((ORDP Z1 Z2) (GO D))) 00040380 (SETQ Z Z1) 00040390 D1 (SETQ Z1 Z2) 00040400 (SETQ Z2 Z) 00040410 D (SETQ Z (REMK Z1 Z2)) 00040420 (COND (Z (GO G))) 00040430 (SETQ W (CAR (PRMCON Z2))) 00040440 (GO A) 00040450 G (COND ((NULL N) (GO H))) 00040460 (SETQ Z (QUOTF Z (NMULTF Z3 N))) 00040470 (COND 00040480 ((NULL Z) 00040490 (REDERR 00040500 (LIST (QUOTE (INTEGER OVERFLOW)) Z3 N)))) 00040510 H (SETQ N 00040520 (ADD1 (DIFFERENCE (CDAAR Z1) (CDAAR Z2)))) 00040530 (SETQ Z3 (CDAR Z2)) 00040540 (COND 00040550 ((OR (ATOM Z) 00040560 (NULL (CDR Z)) 00040570 (NOT (EQ (CAAAR Z) (CAAAR Z1)))) 00040580 (GO A))) 00040590 (GO D1))) 00040600 ((ORDP X Y) (GCD (CONS V (COEFF U X)))) 00040610 (T (GCD (CONS U (COEFF V Y)))))) 00040620 (CAAAR U) 00040630 (CAAAR V)))))) 00040640 00040650 (COEFF (LAMBDA (U A) 00040660 (COND ((NULL U) NIL) 00040670 ((OR (ATOM U) (NOT (EQ (CAAAR U) A))) (LIST U)) 00040680 (T (CONS (CDAR U) (COEFF (CDR U) A)))))) 00040690 00040700 (REMK (LAMBDA (U V) 00040710 (REMK1 U V (CAAR V) NIL))) 00040720 00040730 (REMK1 (LAMBDA (U V W Z) 00040740 (COND 00040750 ((AND (NOT (ATOM U)) (ORDP (CAAR U) W)) 00040760 (REMK1 (ADDF (MULTF (CDAR V) U) 00040770 ((LAMBDA(M X) 00040780 (COND ((ZEROP M) (MULTN -1 X)) 00040790 (T 00040800 (MULTF 00040810 (LIST (CONS (MKSP (CAAAR U) M) -1)) 00040820 X)))) 00040830 (DIFFERENCE (CDAAR U) (CDR W)) 00040840 (MULTF (CDAR U) V))) 00040850 V 00040860 W 00040870 (MULTF Z (CDAR V)))) 00040880 ((NULL Z) U) 00040890 (T (CANCEL (CONS U Z)))))) 00040900 00040910 (REMK* (LAMBDA (U V) 00040920 (REMK1 U V (CAAR V) 1))) 00040930 00040940 (NMULTF (LAMBDA (U N) 00040950 (COND ((OR *EXP (KERNLP U)) (NMULTF1 U N)) (T (MKSFP U N))))) 00040960 00040970 (NMULTF1 (LAMBDA (U N) 00040980 (COND ((ONEP N) U) (T (MULTF U (NMULTF1 U (SUB1 N))))))) 00040990 00041000 )) 00041010 00041020 DEFINE (( 00041030 00041040 (OPERATOR (LAMBDA (U) 00041050 (PROG NIL 00041060 (COND 00041070 ((EQ *MODE (QUOTE SYMBOLIC)) 00041080 (RETURN (FLAG U (QUOTE OPFN))))) 00041090 A (COND ((NULL U) (RETURN NIL)) 00041100 ((OR (NUMBERP (CAR U)) (NOT (ATOM (CAR U)))) 00041110 (LPRIM* 00041120 (CONS (CAR U) (QUOTE (CANNOT BE AN OPERATOR))))) 00041130 ((GET (CAR U) (QUOTE SIMPFN)) 00041140 (LPRIM* (CONS (CAR U) (QUOTE (ALREADY DEFINED))))) 00041150 (T (MKOP (CAR U)))) 00041160 (SETQ U (CDR U)) 00041170 (GO A)))) 00041180 00041190 (FACTOR (LAMBDA (U) 00041200 (FACTOR1 U T (QUOTE FACTORS*)))) 00041210 00041220 (FACTOR1 (LAMBDA (U V W) 00041230 (PROG (X Y) 00041240 (SETQ Y (GTS W)) 00041250 A (COND ((NULL U) (GO B)) 00041260 ((OR (KERNP (SETQ X (SIMPCAR U))) 00041270 (AND *SUPER (KERNP (SETQ X (MKSFP X 1))))) 00041280 (GO C)) 00041290 (T (ERRPRI2 (CAR U)))) 00041300 (GO D) 00041310 C (SETQ X (CAAAAR X)) 00041320 (COND (V (SETQ Y (CONS X Y))) 00041330 ((NOT (MEMBER X Y)) 00041340 (MESPRI NIL (CAR U) (QUOTE (NOT FOUND)) NIL NIL)) 00041350 (T (SETQ Y (DELETE X Y)))) 00041360 D (SETQ U (CDR U)) 00041370 (GO A) 00041375 B (PTS W Y)))) 00041380 00041390 (REMFAC (LAMBDA (U) 00041400 (FACTOR1 U NIL (QUOTE FACTORS*)))) 00041410 00041420 )) 00041430 00041440 DEFINE (( 00041450 00041460 (FORALLFN* (LAMBDA NIL 00041470 (FORALLFN (RVLIS)))) 00041480 00041490 (FORALLFN (LAMBDA (U) 00041500 (PROG (X Y) 00041510 (SETQ X (MAPCAR U (FUNCTION NEWVAR))) 00041520 (SETQ Y (PAIR U X)) 00041530 (SETQ MCOND* (SUBLIS Y MCOND*)) 00041540 (SETQ FRLIS* (UNION X FRLIS*)) 00041550 (SETQ X (LIST (COMMAND1 NIL))) 00041560 (COND (MCOND* (SETQ X (CONS (LIST (QUOTE SETQ) 00041570 (QUOTE MCOND*) (LIST (QUOTE QUOTE) MCOND*)) X)))) 00041580 (COND (Y (SETQ X (CONS (LIST (QUOTE SETQ) (QUOTE FRASC*) 00041590 (LIST (QUOTE QUOTE) Y)) X)))) 00041592 (RETURN (MKPROG NIL X))))) 00041594 00041600 )) 00041610 00041620 DEFINE (( 00041630 00041640 (LET (LAMBDA (U) 00041650 (LET0 U NIL))) 00041660 00041670 (LET0 (LAMBDA (U V) 00041680 (PROG NIL 00041690 A (COND ((NULL U) (RETURN (SETQ MCOND* (SETQ FRASC* NIL)))) 00041700 ((OR (NOT (EQCAR (CAR U) (QUOTE EQUAL))) (CDDDAR U)) 00041710 (ERRPRI2 (CAR U)))) 00041720 (LET2 (CADAR U) (CAR (CDDAR U)) V T) 00041730 (SETQ U (CDR U)) 00041740 (GO A)))) 00041750 00041760 (LET1 (LAMBDA (U V) 00041770 (LET2 U V NIL T))) 00041780 00041790 (LET2 (LAMBDA (U V W B) 00041800 (PROG (X Y Z) 00041810 (SETQ U (SUBLIS FRASC* U)) 00041812 (SETQ V (SUBLIS FRASC* V)) 00041814 (COND ((AND FRASC* (EQCAR V (QUOTE *SQ))) 00041816 (SETQ V (PREPSQ (CADR V))))) 00041818 A (SETQ X U) 00041820 (COND ((NUMBERP X) (GO LER1)) 00041840 ((NOT (ATOM X)) (GO D)) 00041850 ((AND (SETQ Y (GET X (QUOTE OLDNAME))) 00041860 (NOT (MEMBER Y (FLATTEN V)))) (LET2 Y V W B))) 00041870 (COND (B (GO A2))) 00041880 (REMPROP X (QUOTE NEWNAME)) 00041890 (REMPROP X (QUOTE OLDNAME)) 00041900 A2 (COND 00041950 ((AND (VECTORP X) (VLET X V B)) (RETURN NIL)) 00041960 ((AND (NULL B) (GET X (QUOTE **ARRAY))) (GO J2)) 00041970 (W (GO H)) 00041980 ((MATEXPR V) (GO J))) 00041990 B1 (SETQ X (SIMP0 X)) 00042000 C (SETQ X (CAAAR X)) 00042010 (SETQ Z (FKERN (CAR X))) 00042020 (COND ((NULL B) (RETURN (RPLACD (CDR Z) NIL))) 00042025 ((ASSOC (QUOTE USED*) (CDR Z)) (RMSUBS2))) 00042030 (XADD 00042040 (COND 00042050 ((AND (EQUAL V 0) (NOT (EQUAL (CDR X) 1))) 00042060 (CONS (QUOTE ASYMP) (CDR X))) 00042070 (T (LIST (QUOTE REP) V (CDR X) NIL))) 00042080 (CDR Z) 00042090 (SQCHK (CAR Z)) 00042100 T) 00042110 (RPLACW Z (DELASC (QUOTE DFN) Z)) 00042120 (RETURN NIL) 00042130 D (COND ((NOT (ATOM (CAR X))) (GO LER2)) 00042140 ((GET* (CAR X) (QUOTE **ARRAY)) (GO L)) 00042150 ((EQ (CAR X) (QUOTE DF)) (GO K)) 00042160 ((NOT (GET* (CAR X) (QUOTE SIMPFN))) (GO LER3)) 00042180 ((OR W 00042190 (EQ (CAR X) (QUOTE TIMES)) 00042200 (XN (FLATTEN (CDR X)) FRLIS*)) 00042210 (GO H))) 00042220 (SETQ X (SIMP0 X)) 00042230 (COND ((NOT (EQUAL (CDR X) 1)) (GO LER1))) 00042240 E (COND ((NOT (KERNP X)) (GO G)) 00042250 ((NOT (ONEP (CDAAR X))) 00042260 (SETQ V (LIST (QUOTE QUOTIENT) V (CDAAR X))))) 00042270 (GO C) 00042280 G (COND ((NOT (KERNLP (CAR X))) (GO M))) 00042290 (SETQ X U) 00042300 H (RMSUBS) 00042305 (COND 00042310 ((OR (NULL 00042320 (SETQ Y 00042330 (KERNLP 00042340 (CAR (SETQ X (SIMP0 X)))))) 00042350 (NOT (ATOM (CDR X)))) 00042360 (GO LER2)) 00042370 ((AND (ONEP Y) (ONEP (CDR X))) (GO H1))) 00042380 (SETQ V (LIST (QUOTE TIMES) (CDR X) V)) 00042390 (COND 00042400 ((NOT (ONEP Y)) 00042410 (SETQ V (ACONC V (LIST (QUOTE QUOTIENT) 1 Y))))) 00042420 H1 (SETQ X (KLISTT (CAR X))) 00042430 (SETQ Y 00042440 (LIST (CONS W (COND (MCOND* MCOND*) (T T))) 00042450 V 00042460 NIL)) 00042470 (COND 00042480 ((AND (NULL W) (NULL (CDR X)) (ONEP (CDAR X))) (GO H2))) 00042490 (RETURN (SETQ MATCH* (XADD (CONS X Y) MATCH* U B))) 00042500 H2 (SETQ X (CAAR X)) 00042510 (COND ((NOT (MATEXPR V)) (GO H3)) 00042511 ((NOT (REDMSG (CAR X) (QUOTE MATRIX) T)) (ERROR*))) 00042512 (FLAG (LIST (CAR X)) (QUOTE MATFN)) 00042513 H3 (RETURN (PUT (CAR X) 00042514 (QUOTE OPMTCH*) 00042530 (XADD (CONS (CDR X) Y) 00042540 (GET (CAR X) (QUOTE OPMTCH*)) 00042550 U B))) 00042560 J (SETQ MATP* T) 00042590 (COND ((GET X (QUOTE MATRIX)) (GO J1)) 00042600 ((NOT (REDMSG X (QUOTE MATRIX) T)) (ERROR*))) 00042610 (PUT X (QUOTE MATRIX) (QUOTE MATRIX)) 00042620 J1 (COND ((EQCAR V (QUOTE MAT)) (RETURN (SETM X V))) 00042630 (T (GO B1))) 00042640 J2 (REMPROP X (QUOTE MATRIX)) 00042650 (REMPROP X (QUOTE **ARRAY)) 00042660 (RETURN NIL) 00042670 K (COND 00042680 ((AND (NOT (ATOMLIS (CADR X))) (CDDDR X)) (GO LER1)) 00042690 ((AND (NOT (GET* (CAADR X) (QUOTE SIMPFN))) 00042700 (SETQ X (CADR X))) 00042710 (GO LER3)) 00042720 ((OR (NOT (FRLP (CDADR X))) 00042730 (NOT (FRLP (CDDR X))) 00042740 (NOT (MEMBER (CADDR X) (CDADR X)))) 00042750 (GO H))) 00042760 (SETQ Z (POSN (CADDR X) (CDADR X))) 00042770 (COND 00042780 ((NOT (GET (CAADR X) (QUOTE DFN))) 00042790 (PUT (CAADR X) 00042800 (QUOTE DFN) 00042810 (NLIST NIL (LENGTH (CDADR X)))))) 00042820 (COND 00042830 ((NULL (REPN (GET (CAADR X) (QUOTE DFN)) Z V X)) 00042840 (GO LER1))) 00042850 (RETURN NIL) 00042860 L (COND ((AND (SETQ Z (ASSOC* X (GET (CAR X) (QUOTE KLIST)))) 00042865 (ASSOC (QUOTE USED*) (CDR Z))) (RMSUBS2))) 00042870 (SETEL (CONS (CAR X) (MAPCAR (CDR X) (FUNCTION 00042875 REVAL))) V) 00042880 (RETURN NIL) 00042890 M (COND ((NULL *SUPER) (GO LER1))) 00042900 (SETQ X (CONS (MKSFP (CAR X) 1) 1)) 00042910 (GO E) 00042920 LER1 (ERRPRI2 U) 00042930 (ERROR*) 00042940 LER2 (ERRPRI1 U) 00042950 (ERROR*) 00042960 LER3 (COND ((NOT (REDMSG (CAR X) (QUOTE OPERATOR) T)) (ERROR*))) 00042970 (MKOP (CAR X)) 00042980 (GO A)))) 00042990 00043000 (FRLP (LAMBDA (U) 00043010 (OR (NULL U) (AND (MEMBER (CAR U) FRLIS*) (FRLP (CDR U)))))) 00043020 00043030 (SIMP0 (LAMBDA (U) 00043040 (PROG (X) 00043050 (SETQ SUBFG* NIL) 00043060 (SETQ X (SIMP U)) 00043070 (SETQ SUBFG* T) 00043080 (RETURN X)))) 00043090 00043100 (MATCH (LAMBDA (U) 00043220 (LET0 U T))) 00043230 00043240 (CLEAR (LAMBDA (U) 00043250 (PROG NIL 00043260 (RMSUBS) 00043270 A (COND ((NULL U) (RETURN (SETQ MCOND* (SETQ FRASC* NIL))))) 00043280 B (LET2 (CAR U) NIL NIL NIL) 00043330 (SETQ U (CDR U)) 00043340 (GO A)))) 00043350 00043360 (KLISTT (LAMBDA (U) 00043370 (COND ((ATOM U) NIL) (T (CONS (CAAR U) (KLISTT (CDARX U))))))) 00043380 00043390 )) 00043400 00043410 PTS (NOCMP* T) 00043411 00043412 DEFINE (( 00043420 00043430 (KERNP (LAMBDA (U) 00043440 (AND (ATOM (CDR U)) 00043450 (NOT (ATOM (CAR U))) 00043460 (NULL (CDAR U)) 00043470 (ATOM (CDAAR U))))) 00043480 00043490 (KERNLP (LAMBDA (U) 00043500 (COND ((ATOM U) U) ((NULL (CDR U)) (KERNLP (CDAR U))) (T NIL)))) 00043510 00043520 (RMSUBS (LAMBDA NIL 00043530 (PROG2 (RMSUBS1) (RMSUBS2)))) 00043531 00043532 (RMSUBS2 (LAMBDA NIL 00043533 (PROG2 (RPLACA *SQVAR* NIL) (SETQ *SQVAR* (LIST T))))) 00043534 00043550 (RMSUBS1 (LAMBDA NIL 00043560 (PROG NIL 00043570 (MAP (APPEND DSUBL* SUBL*) 00043580 (FUNCTION (LAMBDA (J) (RPLACA (CAR J) NIL)))) 00043590 (SETQ SUBL* NIL)))) 00043600 00043610 (XADD (LAMBDA (U V W B) 00043620 (PROG (X) 00043630 (SETQ X (ASSOC* (CAR U) V)) 00043640 (COND ((NULL X) (GO C)) ((NULL B) (GO B1))) 00043650 (RMSUBS1) 00043660 (RPLACD X (CDR U)) 00043670 A (RETURN V) 00043680 B1 (SETQ V (DELETE X V)) 00043690 (GO A) 00043700 C (COND ((NULL B) (MESPRI NIL W (QUOTE (NOT FOUND)) NIL NIL)) 00043710 (T (SETQ V (NCONC V (LIST U))))) 00043720 (GO A)))) 00043730 00043740 (REPN (LAMBDA (U N V W) 00043750 (PROG NIL 00043760 A (COND ((OR (NULL U) (ZEROP N)) (RETURN NIL)) 00043770 ((NOT (ONEP N)) (GO B)) 00043780 ((CAR U) (REDEFPRI W))) 00043790 (RETURN (RPLACA U (CONS (CDADR W) V))) 00043800 B (SETQ U (CDR U)) 00043810 (SETQ N (SUB1 N)) 00043820 (GO A)))) 00043830 00043840 (DENOM (LAMBDA (U) 00043850 (LET1 U (MK*SQ (CONS (CDR (SIMP *ANS)) 1))))) 00043860 00043870 (NUMER (LAMBDA (U) 00043880 (LET1 U (MK*SQ (CONS (CAR (SIMP *ANS)) 1))))) 00043890 00043900 (ND (LAMBDA (U V) 00043910 (PROG2 (NUMER U) (DENOM V)))) 00043920 00043930 (SAVEAS (LAMBDA (U) 00043940 (SETK U *ANS))) 00043950 00043960 (SETK (LAMBDA (U V) 00043970 (PROG2 (LET1 U 00043980 (COND 00043990 ((AND(NOT (ATOM U))(NOT (ATOM V))(XN (CDR U) FRLIS*)) 00044000 (PREPSQ (CADR V))) 00044010 (T V))) 00044020 V))) 00044030 00044040 (TERMS (LAMBDA NIL 00044050 (PRINTTY 00044060 (COND 00044070 ((EQCAR *ANS (QUOTE *SQ)) (TERMS1 (CAADR *ANS))) 00044080 (T (SCNT *ANS)))))) 00044090 00044100 (TERMS1 (LAMBDA (U) 00044110 (PROG (N) 00044120 (SETQ N 0) 00044130 A (COND ((NULL U) (RETURN N)) ((ATOM U) (RETURN (ADD1 N)))) 00044140 (SETQ N (PLUS N (TERMS1 (CDAR U)))) 00044150 (SETQ U (CDR U)) 00044160 (GO A)))) 00044170 00044180 )) 00044190 00044200 DEFINE (( 00044210 00044220 (ANTISYMMETRIC (LAMBDA (U) 00044230 (FLAG U (QUOTE ANTISYMMETRIC)))) 00044240 00044250 (SYMMETRIC (LAMBDA (U) 00044260 (FLAG U (QUOTE SYMMETRIC)))) 00044270 00044280 )) 00044290 00044300 FLAG ((PLUS TIMES CONS) SYMMETRIC) 00044310 00044320 FLAG ((PLUS TIMES) NARY) 00044321 00044322 DEFINE (( 00044330 00044340 (MKCOEFF (LAMBDA (U V) 00044350 (PROG (W X Y Z) 00044360 (COND ((NOT (ATOM U)) (SETQ U (REVAL U)))) 00044370 (SETQ X FACTORS*) 00044380 (SETQ FACTORS* (LIST U)) 00044390 (SETQ W 00044400 (COND 00044410 ((EQCAR *ANS (QUOTE *SQ)) (CADR *ANS)) 00044420 (T (SIMP *ANS)))) 00044430 (SETQ Y (CONS (FORMOP (CAR W)) (FORMOP (CDR W)))) 00044440 (COND 00044450 ((NULL (EQUAL (CDR Y) 1)) 00044460 (LPRIM* (QUOTE (MKCOEFF GIVEN RATIONAL FUNCTION))))) 00044470 (SETQ W (CDR Y)) 00044480 (SETQ Y (CAR Y)) 00044490 A (COND ((OR (ATOM Y) (NOT (EQUAL (CAAAR Y) U))) (GO B))) 00044500 (SETQ Z 00044510 (CONS (CONS (CDAAR Y) 00044520 (PREPSQ (CANCEL (CONS (CDAR Y) W)))) 00044530 Z)) 00044540 (SETQ Y (CDR Y)) 00044550 (GO A) 00044560 B (COND ((NULL Y) (GO B1))) 00044570 (SETQ Z (CONS (CONS 0 (PREPSQ (CANCEL (CONS Y W)))) Z)) 00044580 B1 (COND 00044590 ((OR (AND (NOT (ATOM V)) (ATOM (CAR V)) 00044595 (SETQ Y (GET* (CAR V) (QUOTE **ARRAY)))) 00044600 (AND (ATOM V) 00044605 (SETQ Y (GET* V (QUOTE **ARRAY))) 00044610 (NULL (CDR Y)))) 00044615 (GO G))) 00044630 (SETQ Y (EXPLODE V)) 00044640 (SETQ V NIL) 00044650 C (COND ((NULL Z) (GO D))) 00044660 (SETQ V 00044670 (CONS (LIST (QUOTE EQUAL) 00044680 (COMPRESS (APPEND Y (EXPLODE (CAAR Z)))) 00044690 (CDAR Z)) 00044700 V)) 00044710 (SETQ Z (CDR Z)) 00044720 (GO C) 00044730 D (*APPLY (QUOTE LET) (LIST V)) 00044740 (COND 00044760 (*MSG 00044770 (LPRI 00044780 (NCONC (MAPLIST V (FUNCTION CADAR)) 00044790 (QUOTE (ARE NON ZERO)))))) 00044800 E (SETQ FACTORS* X) 00044805 (RETURN NIL) 00044810 G (SETQ Z (REVERSE Z)) 00044815 (COND ((ATOM V) (SETQ V (LIST V (QUOTE *))))) 00044820 (COND 00044840 (*MSG 00044850 (LPRI 00044860 (APPEND (QUOTE (HIGHEST POWER IS)) (LIST (CAAR Z)))))) 00044870 (SETQ Y (PAIR (CDR V) Y)) 00044871 G0 (COND ((AND (MEMBER (QUOTE *) (FLATTEN (CAAR Y))) 00044872 (SETQ Y (PLUS (CDAR Y) (MINUS (REVAL 00044873 (SUBST 0 (QUOTE *) (CAAR Y))))))) (GO G1))) 00044874 (SETQ Y (CDR Y)) 00044875 (GO G0) 00044876 G1 (COND 00044877 ((GREATERP (CAAR Z) Y) (REDERR (QUOTE (ARRAY TOO SMALL))))) 00044890 H (COND 00044900 ((OR (NULL Z) (NOT (EQUAL Y (CAAR Z)))) 00044910 (SETEL (SUBST Y (QUOTE *) V) 0)) 00044915 (T (PROG2 (SETEL (SUBST Y (QUOTE *) V) (CDAR Z)) 00044920 (SETQ Z (CDR Z))))) 00044925 (COND ((ZEROP Y) (GO E))) 00044930 (SETQ Y (SUB1 Y)) 00044950 (GO H)))) 00044960 00044970 )) 00044980 00044990 00045000 DEFINE (( 00045010 00045020 (WEIGHT (LAMBDA (U) 00045030 (PROG (X Y) 00045040 (RMSUBS) 00045050 A (COND ((NULL U) (RETURN NIL)) 00045060 ((OR (NOT (EQ (CAAR U) (QUOTE EQUAL))) 00045070 (NOT (AND (ATOM (CADAR U)) 00045075 (NOT (NUMBERP (CADAR U))))) 00045080 (NOT 00045090 (AND (NUMBERP (CADDAR U)) 00045100 (FIXP (CADDAR U)) 00045110 (NOT (MINUSP (CADDAR U)))))) 00045115 (ERRPRI1 (CAR U)))) 00045120 (SETQ Y (CADAR U)) 00045125 (COND ((SETQ X (GET Y (QUOTE OLDNAME))) (GO C))) 00045130 (SETQ X (NEWVAR Y)) 00045135 (PUT Y (QUOTE NEWNAME) X) 00045140 (PUT X (QUOTE OLDNAME) Y) 00045145 (FLAG (LIST X) (QUOTE WEIGHT)) 00045150 B (LET2 X 00045155 (LIST (QUOTE TIMES) 00045160 Y 00045165 (LIST (QUOTE EXPT) (QUOTE K*) (CADDAR U))) 00045170 NIL 00045175 T) 00045180 (SETQ U (CDR U)) 00045185 (GO A) 00045190 C (COND ((NOT (FLAGP Y (QUOTE WEIGHT))) (ERRPRI1 (CAR U)))) 00045195 (SETQ Y X) 00045200 (SETQ X (CADAR U)) 00045205 (GO B)))) 00045210 00045215 (WTLEVEL (LAMBDA (N) 00045220 (PROG (X) 00045225 (SETQ N (REVAL N)) 00045230 (COND 00045235 ((NOT (AND (NUMBERP N) (FIXP N) (NOT (MINUSP N)))) 00045240 (ERRPRI1 N))) 00045245 (SETQ X (ASSOC (QUOTE ASYMP) (CDDR (FKERN (QUOTE K*))))) 00045250 (COND ((EQUAL N (CDR X)) (RETURN NIL)) 00045255 ((NOT (GREATERP N (CDR X))) (RMSUBS2))) 00045260 (RMSUBS1) 00045265 (RPLACD X N)))) 00045270 00045300 )) 00045310 00045320 PTS (NOCMP* NIL) 00045321 00045322 DEFLIST (((WEIGHT RLIS) (WTLEVEL NORLIS)) STAT) 00045330 00045340 LET1 ((EXPT K* 2) 0) 00045350 00045360 COMMENT ((ELEMENTARY FUNCTION PROPERTIES)) 00045370 00045380 DEFLIST (((LOG IDEN) (COS IDEN) (SIN IDEN)) SIMPFN) 00045390 00045400 DEFLIST (( 00045410 (LOG (((LOG E) (((LOG E) . 1)) (REP 1 1 NIL)) 00045420 ((LOG 1) (((LOG 1) . 1)) (REP 0 1 NIL)))) 00045430 (COS (((COS 0) (((COS 0) . 1)) (REP 1 1 NIL)))) 00045440 (SIN (((SIN 0) (((SIN 0) . 1)) (REP 0 1 NIL)))) 00045450 ) KLIST) 00045460 00045470 DEFLIST (( 00045480 (EXPT (((X Y) TIMES Y (EXPT X (PLUS Y (MINUS 1)))) 00045490 ((X Y) TIMES (LOG X) (EXPT X Y)))) 00045500 (LOG (((X) QUOTIENT 1 X))) 00045510 (COS (((X) MINUS (SIN X)))) 00045520 (SIN (((X) COS X))) 00045530 ) DFN) 00045540 00045550 DEFLIST (( 00045560 (COS ((((MINUS ***X)) (NIL . T) (COS ***X) NIL))) 00045570 (SIN ((((MINUS ***X)) (NIL . T) (MINUS (SIN ***X)) NIL))) 00045580 ) OPMTCH*) 00045590 00045600 PTS (FRLIS* (***X)) 00045610 00045620 DEFINE (( 00045630 00045640 (MSIMP (LAMBDA (U V) 00045650 (PROG (X Y Z) 00045660 (COND ((AND (NULL V) SUBFG*) (SETQ U (SUBLIS VREP* U)))) 00045670 (SETQ U (MSIMP1 U V)) 00045680 A1 (COND ((NULL U) (RETURN Z))) 00045690 A0 (SETQ X (CAR U)) 00045700 A (COND ((AND V (NULL X)) (GO D)) 00045710 ((NULL X) (GO NULLU)) 00045720 ((OR (AND (NULL V) (VECTORP (CAR X))) 00045730 (AND V (MATP (CAR X)))) 00045740 (GO B))) 00045750 BACK (SETQ X (CDR X)) 00045760 (GO A) 00045770 B (SETQ Y (LIST (CAR X))) 00045780 (SETQ X (CDR X)) 00045790 C (COND ((NULL X) (GO D)) 00045800 ((AND (NULL V) (VECTORP (CAR X))) 00045810 (REDERR 00045820 (APPEND (QUOTE (REDUNDANT VECTOR)) (LIST (CAR U))))) 00045830 ((AND V (MATP (CAR X))) (SETQ Y (ACONC Y (CAR X))))) 00045840 (SETQ X (CDR X)) 00045850 (GO C) 00045860 D (SETQ X (SETDIFF (CAR U) Y)) 00045870 (SETQ Z 00045880 (ADDM1 (CONS (COND ((NULL X) (CONS 1 1)) 00045890 (T (SIMPTIMES X))) 00045900 (REVERSE Y)) 00045910 Z)) 00045920 (SETQ U (CDR U)) 00045930 (GO A1) 00045940 E (VECTOR (LIST (CAAR U))) 00045950 (GO A0) 00045960 NULLU 00045970 (COND 00045980 ((AND (ATOM (CAAR U)) 00045990 (NOT (NUMBERP (CAAR U))) 00046000 (REDMSG (CAAR U) (QUOTE VECTOR) T)) 00046010 (GO E)) 00046020 (T 00046030 (REDERR 00046040 (APPEND (QUOTE (MISSING VECTOR)) (LIST (CAR U)))))) 00046050 (GO BACK)))) 00046060 00046070 (MSIMP1 (LAMBDA (U1 *S*) ((LAMBDA (U) 00046080 (COND ((NUMBERP U) (LIST (LIST U))) 00046090 ((ATOM U) 00046100 ((LAMBDA(X) 00046110 (COND ((AND X SUBFG* (EQUAL (CADDR X) 1)) 00046115 (MSIMP1 (CADR X) *S*)) 00046120 (T 00046130 (PROG2 00046140 (COND ((NULL *S*) (FLAG (LIST U) (QUOTE USED*))) 00046150 (T NIL)) 00046160 (LIST (LIST U)))))) 00046170 (ASSOC (QUOTE REP) (CDDR (FKERN U))))) 00046180 ((EQ (CAR U) (QUOTE PLUS)) 00046190 (MAPCON (CDR U) 00046200 (FUNCTION (LAMBDA (J) (MSIMP1 (CAR J) *S*))))) 00046210 ((EQ (CAR U) (QUOTE MINUS)) 00046220 (MSIMPTIMES (LIST -1 (CARX (CDR U))) *S*)) 00046230 ((EQ (CAR U) (QUOTE TIMES)) (MSIMPTIMES (CDR U) *S*)) 00046240 ((EQ (CAR U) (QUOTE QUOTIENT)) 00046241 (MSIMPTIMES (LIST (CADR U) 00046242 (LIST (QUOTE RECIP) (CARX (CDDR U)))) 00046243 *S*)) 00046244 ((OR (NULL *S*) (EQCAR U (QUOTE MAT)) (NOT (MATEXPR U))) 00046250 (LIST (LIST U))) 00046260 ((EQ (CAR U) (QUOTE RECIP)) (MSIMPRS (CARX (CDR U)) NIL)) 00046270 ((EQ (CAR U) (QUOTE SOLVE)) 00046280 (MSIMPRS (CADR U) (MATSIMP (MSIMP (CADDR U) T)))) 00046290 (T 00046340 ((LAMBDA(Z) 00046350 (COND 00046360 ((OR (NOT (EQ (CAR U) (QUOTE EXPT))) 00046370 (NOT (NUMBERP Z)) 00046380 (NOT (FIXP Z))) 00046390 (REDERR (QUOTE (MATRIX SYNTAX)))) 00046400 ((MINUSP Z) 00046410 (MSIMPRS 00046420 (CONS (QUOTE TIMES) (NLIST (CADR U) (MINUS Z))) NIL)) 00046430 (T (MSIMPTIMES (NLIST (CADR U) Z) T)))) 00046440 ((LAMBDA(Y) 00046450 (COND 00046460 ((AND (EQCAR Y (QUOTE MINUS)) (NUMBERP (CADR Y))) 00046470 (MINUS (CADR Y))) 00046480 (T Y))) 00046490 (REVAL (CADDR U))))))) (EMTCH U1)))) 00046500 00046510 (MSIMPTIMES (LAMBDA (U V) 00046520 (COND ((NULL U) (ERRACH (QUOTE MSIMPTIMES))) 00046530 ((NULL (CDR U)) (MSIMP1 (CAR U) V)) 00046540 (T 00046550 ((LAMBDA(*S*) 00046560 (MAPCON (MSIMPTIMES (CDR U) V) 00046570 (FUNCTION 00046580 (LAMBDA(*S1*) 00046590 (MAPCAR *S* 00046600 (FUNCTION 00046610 (LAMBDA(K) 00046620 (APPEND (CAR *S1*) K)))))))) 00046630 (MSIMP1 (CAR U) V)))))) 00046640 00046650 (ADDM1 (LAMBDA (U V) 00046660 (COND ((NULL V) (LIST U)) 00046670 ((EQUAL (CDR U) (CDAR V)) 00046680 ((LAMBDA(X) 00046690 (COND ((NULL (CAR X)) (CDR V)) 00046700 (T (CONS (CONS X (CDR U)) (CDR V))))) 00046710 (ADDSQ (CAR U) (CAAR V)))) 00046720 ((ORDP (CDR U) (CDAR V)) (CONS U V)) 00046730 (T (CONS (CAR V) (ADDM1 U (CDR V))))))) 00046740 00046750 )) 00046760 00046770 DEFINE (( 00046780 00046790 (MATP (LAMBDA (U) 00046800 (COND ((ATOM U) (FLAGP** U (QUOTE MATRIX))) 00046810 (T (EQCAR U (QUOTE MAT)))))) 00046820 00046830 (MATEXPR (LAMBDA (U) 00046840 (AND MATP* (MATEXPR1 U)))) 00046850 00046860 (MATEXPR1 (LAMBDA (U) 00046870 (COND ((NULL U) NIL) 00046880 ((ATOM U) (MATP U)) 00046890 ((MEMBER (CAR U) (QUOTE (*SQ DET TRACE))) NIL) 00046900 ((OR (FLAGP** (CAR U) (QUOTE MATFN)) (MATEXPR1 (CADR U))) T) 00046910 (T 00046920 (*EVAL 00046930 (CONS (QUOTE OR) (MAPCAR (CDR U) (FUNCTION MATEXPR1)))))))) 00046940 00046950 )) 00046960 00046970 FLAG ((MAT) MATFN) 00046971 00046972 DEFINE (( 00046980 00046990 (MATSM (LAMBDA (U) 00047000 ((LAMBDA(X) 00047010 (COND 00047020 ((AND (NULL (CDR X)) (NULL (CDAR X))) (SIMP (CAAR X))) 00047030 (T (CONS (QUOTE MAT) X)))) 00047040 (MAPC2 (MATSIMP (MSIMP U T)) 00047050 (FUNCTION (LAMBDA (J) (MK*SQ (SUBS2 J)))))))) 00047060 00047070 )) 00047080 00047090 DEFINE (( 00047100 00047110 (MATSIMP (LAMBDA (U) 00047120 (PROG (X) 00047130 (SETQ X (SMMULT (CAAR U) (MMULT (CDAR U)))) 00047140 A (SETQ U (CDR U)) 00047150 (COND ((NULL U) (RETURN X))) 00047160 (SETQ X (MADD X (SMMULT (CAAR U) (MMULT (CDAR U))))) 00047170 (GO A)))) 00047180 00047190 (MMULT (LAMBDA (U) 00047200 (PROG (Y Z) 00047210 (SETQ Y (GETM* (CAR U))) 00047220 A (SETQ U (CDR U)) 00047230 (COND ((NULL U) (RETURN Y))) 00047240 (SETQ Z (GETM* (CAR U))) 00047250 (COND 00047260 ((NOT (EQUAL (LENGTH (CAR Y)) (LENGTH Z))) 00047270 (REDERR (QUOTE (MATRIX MISMATCH))))) 00047280 (SETQ Y (MULTM Y Z)) 00047290 (GO A)))) 00047300 00047310 (SMMULT (LAMBDA (*S* V) 00047320 (COND ((EQUAL *S* (CONS 1 1)) V) 00047330 (T (MAPC2 V (FUNCTION (LAMBDA (J) (MULTSQ *S* J)))))))) 00047340 00047350 (GETM* (LAMBDA (U) 00047360 (COND ((EQCAR U (QUOTE MAT)) (SIMPDET* (CDR U))) 00047370 (T 00047380 ((LAMBDA(X) 00047390 (COND 00047400 ((OR (NULL X) (EQ X (QUOTE MATRIX))) 00047410 (REDERR 00047420 (CONS (QUOTE MATRIX) (CONS U (QUOTE (NOT SET)))))) 00047430 (T (MLIST U (CAR X) (CADR X))))) 00047440 (COND ((ATOM U) (GET U (QUOTE MATRIX))) (T NIL))))))) 00047450 00047460 (MLIST (LAMBDA (U M N) 00047470 (PROG (M1 N1 X Y Z) 00047480 (SETQ M1 M) 00047490 A (SETQ Y NIL) 00047500 (SETQ N1 N) 00047510 B (COND 00047520 ((NULL (SETQ X (GETEL (LIST U M1 N1)))) 00047530 (REDERR (CONS U (CONS (LIST M1 N1) (QUOTE (NOT SET))))))) 00047540 (SETQ Y (CONS (SIMP X) Y)) 00047550 (SETQ N1 (SUB1 N1)) 00047560 (COND ((NOT (ZEROP N1)) (GO B))) 00047570 (SETQ Z (CONS Y Z)) 00047580 (SETQ M1 (SUB1 M1)) 00047590 (COND ((ZEROP M1) (RETURN Z))) 00047600 (GO A)))) 00047610 00047620 )) 00047630 00047640 DEFINE (( 00047650 00047660 (MADD (LAMBDA (U V) 00047670 (MAPCAR (PAIR U V) 00047680 (FUNCTION (LAMBDA (J) (MADD1 (CAR J) (CDR J))))))) 00047690 00047700 (MADD1 (LAMBDA (U V) 00047710 (COND ((NULL U) NIL) 00047720 (T (CONS (ADDSQ (CAR U) (CAR V)) (MADD1 (CDR U) (CDR V))))))) 00047730 00047740 )) 00047750 00047760 DEFLIST (((MATRIX RLIS)) STAT) 00047770 00047780 DEFINE (( 00047790 00047800 (MATRIX (LAMBDA (U) 00047810 (PROG NIL 00047820 (SETQ MATP* T) 00047830 A (COND ((NULL U) (RETURN NIL)) 00047840 ((ATOM (CAR U)) 00047850 (PUT (CAR U) 00047860 (QUOTE MATRIX) 00047870 ((LAMBDA (X) (COND (X X) (T (QUOTE MATRIX)))) 00047880 (GET* (CAR U) (QUOTE **ARRAY))))) 00047890 (T 00047900 (PROG2 (*APPLY (QUOTE AARRAY) (LIST (LIST (CAR U)))) 00047910 (PUT (CAAR U) (QUOTE MATRIX) 00047915 (MAPCAR (CDAR U) (FUNCTION REVAL)))))) 00047920 (SETQ U (CDR U)) 00047930 (GO A)))) 00047940 00047950 )) 00047960 00047970 DEFINE (( 00047980 00047990 (MULTM (LAMBDA (U *S*) 00048000 (MAPCAR U 00048010 (FUNCTION 00048020 (LAMBDA (J) (MULTM1 J *S* (LENGTH (CAR *S*)) NIL)))))) 00048030 00048040 (MULTM1 (LAMBDA (U V N W) 00048050 (COND ((ZEROP N) W) 00048060 (T (MULTM1 U V (SUB1 N) (CONS (MELEM U V N) W)))))) 00048070 00048080 (MELEM (LAMBDA (U V N) 00048090 (COND ((NULL U) (CONS NIL 1)) 00048100 (T 00048110 ((LAMBDA (X) (COND ((NULL (CAR X)) (CONS NIL 1)) (T X))) 00048120 (ADDSQ (MULTSQ (CAR U) (NTH (CAR V) N)) 00048130 (MELEM (CDR U) (CDR V) N))))))) 00048140 00048150 )) 00048160 00048170 DEFINE (( 00048180 00048190 (MATPRI (LAMBDA (U X) 00048200 (PROG (V M N) 00048210 (SETQ M 1) 00048220 (COND ((NULL X) (SETQ X (QUOTE MAT)))) 00048230 A (COND ((NULL U) (RETURN NIL))) 00048240 (SETQ N 1) 00048250 (SETQ V (CAR U)) 00048260 B (COND ((NULL V) (GO C)) 00048270 ((AND (EQUAL (CAR V) 0) *NERO) (GO B1))) 00048280 (MAPRIN (LIST X M N)) 00048290 (OPRIN (QUOTE EQUAL)) 00048350 (SETQ ORIG* POSN*) 00048360 (MATHPRINT (CAR V)) 00048370 (SETQ ORIG* 0) 00048380 (TERPRI*) 00048390 B1 (SETQ V (CDR V)) 00048400 (SETQ N (ADD1 N)) 00048410 (GO B) 00048420 C (SETQ U (CDR U)) 00048430 (SETQ M (ADD1 M)) 00048440 (GO A)))) 00048450 00048460 )) 00048470 00048480 DEFINE (( 00048490 00048500 (SETM (LAMBDA (U V) 00048510 (PROG (N M X Y) 00048520 (SETQ V (CDR V)) 00048530 (SETQ Y (LIST (LENGTH V) (LENGTH (CAR V)))) 00048540 (COND 00048550 ((NOT (EQ (SETQ X (GET U (QUOTE MATRIX))) (QUOTE MATRIX))) 00048560 (GO A))) 00048570 (*APPLY (QUOTE AARRAY) (LIST (LIST (CONS U Y)))) 00048580 (PUT U (QUOTE MATRIX) Y) 00048590 (GO A1) 00048600 A (COND 00048610 ((NOT (EQUAL X Y)) (REDERR (QUOTE (MATRIX MISMATCH))))) 00048620 A1 (SETQ M 1) 00048630 B (SETQ Y (CAR V)) 00048640 (SETQ N 1) 00048650 C (COND ((NULL Y) (GO D))) 00048660 (SETEL (LIST U M N) (CAR Y)) 00048670 (SETQ N (ADD1 N)) 00048680 (SETQ Y (CDR Y)) 00048690 (GO C) 00048700 D (SETQ V (CDR V)) 00048710 (COND ((NULL V) (RETURN NIL))) 00048720 (SETQ M (ADD1 M)) 00048730 (GO B)))) 00048740 00048750 )) 00048760 00048770 DEFINE (( 00048780 00048790 (MSIMPRS (LAMBDA (U V) 00048800 ((LAMBDA(X) 00048810 (LIST 00048820 (LIST 00048830 (CONS (QUOTE MAT) 00048840 (MAPC2 00048850 (COND 00048860 ((AND (NULL (CDR X)) (NULL V)) 00048870 (SMMULT (REVPR (CAAR X)) 00048880 (*MATINV (MMULT (CDAR X)) NIL))) 00048890 (T (*MATINV (MATSIMP X) V))) 00048900 (FUNCTION MK*SQ)))))) 00048910 (MSIMP U T)))) 00048920 00048930 )) 00048940 00048950 DEFINE (( 00048960 00048970 (AUGMENT (LAMBDA (U V) 00048980 (COND ((NULL U) NIL) 00048990 (T 00049000 (CONS (APPEND (CAR U) (CAR V)) (AUGMENT (CDR U) (CDR V)))))) 00049010 ) 00049020 00049030 )) 00049040 00049050 DEFINE (( 00049060 00049070 (SETMATELEM (LAMBDA (U I J ELEM) 00049080 (PROG (A) 00049090 (SETQ A (NTH U I)) 00049100 LOOP (COND ((EQUAL J 1) (RETURN (RPLACA A ELEM)))) 00049110 (SETQ J (SUB1 J)) 00049120 (SETQ A (CDR A)) 00049130 (GO LOOP)))) 00049140 00049150 )) 00049160 00049170 DEFINE (( 00049180 00049190 (LIPSON (LAMBDA (U M N V) 00049200 (PROG (AA AA1 K K1 K2 I J TEMP BB C0 CI1 CI2 AAK) 00049210 (SETQ AA (CONS 1 1)) 00049220 (SETQ K 2) 00049230 BEG (SETQ K1 (SUB1 K)) 00049240 (SETQ K2 (SUB1 K1)) 00049250 (COND ((GREATERP K M) (GO FB)) ((EQUAL K 2) (GO PIVOT))) 00049260 (SETQ AA (REVPR (NTH (NTH U K2) K2))) 00049270 PIVOT 00049280 (SETQ AA1 (NTH (NTH U K1) K1)) 00049290 (COND ((NULL (EQUAL AA1 (CONS NIL 1))) (GO L2))) 00049300 (SETQ I K) 00049310 L (COND ((GREATERP I M) (GO SING)) 00049320 ((EQUAL (NTH (NTH U I) K1) (CONS NIL 1)) (GO L1))) 00049330 (SETQ J K1) 00049340 L0 (COND ((GREATERP J N) (GO PL2))) 00049350 (SETQ TEMP (NTH (NTH U I) J)) 00049360 (SETMATELEM U I J (NEGSQ (NTH (NTH U K1) J))) 00049370 (SETMATELEM U K1 J TEMP) 00049380 (SETQ J (ADD1 J)) 00049390 (GO L0) 00049400 L1 (SETQ I (ADD1 I)) 00049410 (GO L) 00049420 PL2 (SETQ AA1 (NTH (NTH U K1) K1)) 00049430 L2 (SETQ I K) 00049440 L2A (COND ((GREATERP I M) (GO SING))) 00049450 (SETQ BB 00049460 (ADDSQ (MULTSQ AA1 (NTH (NTH U I) K)) 00049470 (NEGSQ 00049480 (MULTSQ (NTH (NTH U K1) K) 00049490 (NTH (NTH U I) K1))))) 00049500 (COND ((EQUAL BB (CONS NIL 1)) (GO L2B))) 00049510 (GO L3) 00049520 L2B (SETQ I (ADD1 I)) 00049530 (GO L2A) 00049540 L3 (SETQ C0 (MULTSQ BB AA)) 00049550 (COND ((EQUAL K M) (GO EV)) ((EQUAL I K) (GO COMP))) 00049560 (SETQ J K1) 00049570 L3A (COND ((GREATERP J N) (GO COMP))) 00049580 (SETQ TEMP (NTH (NTH U I) J)) 00049590 (SETMATELEM U I J (NEGSQ (NTH (NTH U K) J))) 00049600 (SETMATELEM U K J TEMP) 00049610 (SETQ J (ADD1 J)) 00049620 (GO L3A) 00049630 COMP (SETQ I (ADD1 K)) 00049640 (SETQ AAK (NTH (NTH U K) K)) 00049650 COMP1 00049660 (COND ((GREATERP I M) (GO EV))) 00049670 (SETQ CI1 00049680 (MULTSQ (ADDSQ (MULTSQ (NTH (NTH U K1) K) 00049690 (NTH (NTH U I) K1)) 00049700 (NEGSQ (MULTSQ AA1 (NTH (NTH U I) K)))) 00049710 AA)) 00049720 (SETQ CI2 00049730 (MULTSQ (ADDSQ (MULTSQ (NTH (NTH U K) K1) 00049740 (NTH (NTH U I) K)) 00049750 (NEGSQ 00049760 (MULTSQ AAK (NTH (NTH U I) K1)))) 00049770 AA)) 00049780 (SETQ J (ADD1 K)) 00049790 COMP2 00049800 (COND ((GREATERP J N) (GO COMP3))) 00049810 (SETMATELEM U 00049820 I 00049830 J 00049840 (MULTSQ 00049850 (ADDSQ (MULTSQ (NTH (NTH U I) J) C0) 00049860 (ADDSQ 00049870 (MULTSQ (NTH (NTH U K) J) CI1) 00049880 (MULTSQ (NTH (NTH U K1) J) CI2))) 00049890 AA)) 00049900 (SETQ J (ADD1 J)) 00049910 (GO COMP2) 00049920 COMP3 00049930 (SETQ I (ADD1 I)) 00049940 (GO COMP1) 00049950 EV (SETMATELEM U K K C0) 00049960 (SETQ J (ADD1 K)) 00049970 EV1 (COND ((GREATERP J N) (GO BOT))) 00049980 (SETMATELEM U 00049990 K 00050000 J 00050010 (MULTSQ (ADDSQ (MULTSQ AA1 (NTH (NTH U K) J)) 00050020 (NEGSQ 00050030 (MULTSQ 00050040 (NTH (NTH U K) K1) 00050050 (NTH (NTH U K1) J)))) 00050060 AA)) 00050070 (SETQ J (ADD1 J)) 00050080 (GO EV1) 00050090 BOT (SETQ K (ADD1 (ADD1 K))) 00050100 (GO BEG) 00050110 FB (COND ((EQUAL (NTH (NTH U M) M) (CONS NIL 1)) (GO SING))) 00050120 (RETURN U) 00050130 SING (COND 00050140 ((NULL V) 00050150 (RETURN (PROG2 (SETMATELEM U N N (CONS NIL 1)) U)))) 00050160 (REDERR (QUOTE (SINGULAR MATRIX)))))) 00050170 00050180 )) 00050190 00050200 DEFINE (( 00050210 00050220 (BACKSUB (LAMBDA (U M N) 00050230 (PROG (DET IJ I J JJ SUM) 00050240 (SETQ DET (NTH (NTH U M) M)) 00050250 (SETQ J (ADD1 M)) 00050260 ROWM (COND ((GREATERP J N) (GO ROWS))) 00050270 (SETMATELEM U 00050280 M 00050290 J 00050300 (CANCEL (MULTSQ (NTH (NTH U M) J) (REVPR DET)))) 00050310 (SETQ J (ADD1 J)) 00050320 (GO ROWM) 00050330 ROWS (SETQ IJ 1) 00050340 ROWS1 00050350 (COND ((GREATERP IJ (SUB1 M)) (GO DONE))) 00050360 (SETQ I (DIFFERENCE M IJ)) 00050370 (SETQ JJ (ADD1 M)) 00050380 ROWS2 00050390 (COND ((GREATERP JJ N) (GO ROWS5))) 00050400 (SETQ J (ADD1 I)) 00050410 (SETQ DET (NTH (NTH U I) I)) 00050420 (SETQ SUM (CONS NIL 1)) 00050430 ROWS3 00050440 (COND ((GREATERP J M) (GO ROWS4))) 00050450 (SETQ SUM 00050460 (ADDSQ SUM 00050470 (CANCEL (MULTSQ (NTH (NTH U I) J) (NTH (NTH U J) JJ))))) 00050480 (SETQ J (ADD1 J)) 00050490 (GO ROWS3) 00050500 ROWS4 00050510 (SETMATELEM U 00050520 I 00050530 JJ 00050540 (CANCEL 00050550 (MULTSQ (ADDSQ (NTH (NTH U I) JJ) (NEGSQ SUM)) 00050560 (REVPR DET)))) 00050570 (SETQ JJ (ADD1 JJ)) 00050580 (GO ROWS2) 00050590 ROWS5 00050600 (SETQ IJ (ADD1 IJ)) 00050610 (GO ROWS1) 00050620 DONE (RETURN U)))) 00050630 00050640 )) 00050650 00050660 DEFINE (( 00050670 00050680 (RHSIDE (LAMBDA (U M) 00050690 (COND ((NULL U) NIL) 00050700 (T (CONS (RHSIDE1 (CAR U) M) (RHSIDE (CDR U) M)))))) 00050710 00050720 )) 00050730 00050740 DEFINE (( 00050750 00050760 (RHSIDE1 (LAMBDA (U M) 00050770 (PROG NIL 00050780 A (COND ((EQUAL M 0) (RETURN U))) 00050790 (SETQ U (CDR U)) 00050800 (SETQ M (SUB1 M)) 00050810 (GO A)))) 00050820 00050830 )) 00050840 00050850 DEFINE (( 00050860 00050870 (GENERATEIDENT (LAMBDA (N) 00050880 (PROG (I K U V) 00050890 (SETQ I 1) 00050900 (SETQ V NIL) 00050910 E (COND ((GREATERP I N) (GO A))) 00050920 (SETQ U NIL) 00050930 (SETQ K 1) 00050940 C (COND ((GREATERP K N) (GO D)) ((EQUAL K I) (GO B))) 00050950 (SETQ U (CONS (CONS NIL 1) U)) 00050960 (SETQ K (ADD1 K)) 00050970 (GO C) 00050980 B (SETQ U (CONS (CONS 1 1) U)) 00050990 (SETQ K (ADD1 K)) 00051000 (GO C) 00051010 D (SETQ I (ADD1 I)) 00051020 (SETQ V (CONS U V)) 00051030 (GO E) 00051040 A (RETURN V)))) 00051050 00051060 (*MATINV (LAMBDA (U V) 00051070 (PROG (A B M N X) 00051080 (SETQ A U) 00051090 (SETQ X SUBFG*) 00051092 (SETQ SUBFG* NIL) 00051094 (SETQ M (LENGTH A)) 00051100 (SETQ N (LENGTH (CAR A))) 00051110 (COND 00051120 ((NOT (EQUAL M N)) (REDERR (QUOTE (NON SQUARE MATRIX))))) 00051130 (SETQ B (COND (V V) (T (GENERATEIDENT M)))) 00051140 (COND 00051150 ((AND V (NOT (EQUAL M (LENGTH B)))) 00051160 (REDERR (QUOTE (EQUATION MISMATCH))))) 00051170 (SETQ A (AUGMENT A B)) 00051180 (SETQ N (LENGTH (CAR A))) 00051190 (SETQ A (LIPSON A M N T)) 00051200 (SETQ A (BACKSUB A M N)) 00051210 (SETQ SUBFG* X) 00051212 (RETURN (MAPC2 (RHSIDE A M) (FUNCTION 00051220 (LAMBDA (J) (SIMP (PREPSQ J))))))))) 00051221 00051230 )) 00051240 00051250 DEFINE (( 00051260 00051270 (SIMPDET (LAMBDA (U) 00051280 (SIMPDET1 U T))) 00051290 00051300 (SIMPTRACE (LAMBDA (U) 00051310 (SIMPDET1 U NIL))) 00051320 00051330 (SIMPDET1 (LAMBDA (U V) 00051340 (PROG (N) 00051350 (COND 00051360 ((AND (NOT (EQCAR (CAR U) (QUOTE *COMMA*))) 00051370 (NOT (MATEXPR (CAR U)))) 00051380 (REDERR (QUOTE (MATRIX EXPRESSION REQUIRED))))) 00051390 (SETQ U 00051400 (COND 00051410 ((EQCAR (CAR U) (QUOTE *COMMA*)) 00051420 (MAPCAR U 00051430 (FUNCTION 00051440 (LAMBDA(J) 00051450 (MAPCAR 00051460 (COND 00051470 ((EQCAR J (QUOTE *COMMA*)) (CDR J)) 00051480 (T J)) 00051490 (FUNCTION SIMP)))))) 00051500 (T (MATSIMP (MSIMP (CARX U) T))))) 00051510 (COND 00051520 ((NOT (EQUAL (LENGTH U) (LENGTH (CAR U)))) 00051530 (REDERR (QUOTE (NON SQUARE MATRIX))))) 00051540 (COND (V (RETURN (DETQ U)))) 00051550 (SETQ N 1) 00051560 (SETQ V (CONS NIL 1)) 00051570 A (COND ((NULL U) (RETURN V))) 00051580 (SETQ V (ADDSQ (NTH (CAR U) N) V)) 00051590 (SETQ U (CDR U)) 00051600 (SETQ N (ADD1 N)) 00051610 (GO A)))) 00051620 00051630 (SIMPDET* (LAMBDA (U) 00051640 (MAPC2 U (FUNCTION SIMP)))) 00051650 00051660 (SIMPMAT (LAMBDA (U) 00051670 (REDERR (QUOTE (MATRIX MISMATCH))))) 00051680 00051690 )) 00051700 00051710 DEFLIST (((DET SIMPDET) (TRACE SIMPTRACE) (MAT SIMPMAT)) SIMPFN) 00051720 00051730 DEFINE (( 00051740 00051750 (DETQ (LAMBDA (U) 00051760 (PROG (V X) 00051770 (SETQ X SUBFG*) 00051772 (SETQ SUBFG* NIL) 00051774 (SETQ V (LENGTH U)) 00051776 (SETQ V (NTH (NTH (LIPSON U V V NIL) V) V)) 00051777 (SETQ SUBFG* X) 00051778 (RETURN (SIMP (PREPSQ V)))))) 00051779 00051780 )) 00051790 00051800 DEFLIST (((CONS SIMPDOT)) SIMPFN) 00051810 00051820 FLAG ((CONS) VOP) 00051830 00051840 DEFINE (( 00051870 00051880 (VOP (LAMBDA (U) 00051890 (FLAG U (QUOTE VOP)))) 00051900 00051910 (VECTORP (LAMBDA (U) 00051920 (AND (ATOM U) 00051930 (NOT (NUMBERP U)) 00051940 (OR (FLAGP U (QUOTE MASS)) 00051950 (FLAGP U (QUOTE VECTOR)) 00051960 (MEMBER U INDICES*))))) 00051970 00051980 (ISIMPQ (LAMBDA (U) 00051990 (CONS (ISIMP (CAR U)) (CDR U)))) 00052000 00052010 (ISIMP (LAMBDA (U) 00052020 (COND 00052030 ((OR (NULL SUBFG*) 00052035 (AND (NULL INDICES*) 00052040 (NULL GAMIDEN*) 00052050 (NULL (GET (QUOTE EPS) (QUOTE KLIST))))) 00052060 U) 00052070 (T (ISIMP1 U INDICES* NIL NIL NIL))))) 00052080 00052090 (ISIMP1 (LAMBDA (U I V W X) 00052100 (COND 00052110 ((ATOM U) 00052120 (COND 00052130 ((OR V X) (REDERR (APPEND (QUOTE (UNMATCHED INDEX ERROR)) I))) 00052140 (W (MULTF (EMULT W) (ISIMP1 U I V NIL X))) 00052150 (T U))) 00052160 (T 00052170 (ADDF (ISIMP2 (CAR U) I V W X) 00052180 (COND ((NULL (CDR U)) NIL) 00052190 (T (ISIMP1 (CDR U) I V W X)))))))) 00052200 00052210 (ISIMP2 (LAMBDA (U I V W X) 00052220 (PROG (Z) 00052230 (COND ((ATOM (SETQ Z (CAAR U))) (GO A)) 00052240 ((AND (EQ (CAR Z) (QUOTE CONS)) (XN (CDR Z) I)) 00052250 (RETURN (DOTSUM U I V W X))) 00052260 ((EQ (CAR Z) (QUOTE G)) (RETURN (SPUR0 U I V W X))) 00052270 ((EQ (CAR Z) (QUOTE EPS)) (RETURN (ESUM U I V W X)))) 00052280 A (RETURN (MULTF2 (CAR U) (ISIMP1 (CDR U) I V W X)))))) 00052290 00052300 (DOTSUM (LAMBDA (U I V W X) 00052310 (PROG (I1 N U1 U2 V1 Y Z) 00052320 (SETQ N (CDAR U)) 00052330 (COND 00052340 ((NOT (MEMBER (CAR (SETQ U1 (CDAAR U))) I)) 00052350 (SETQ U1 (REVERSE U1)))) 00052360 (SETQ U2 (CADR U1)) 00052370 (SETQ U1 (CAR U1)) 00052380 (SETQ V1 (CDR U)) 00052390 (COND ((EQUAL N 2) (GO H)) ((NOT (ONEP N)) (REDERR U))) 00052400 A (COND 00052410 ((NOT (MEMBER U1 I)) 00052420 (RETURN (MULTF (MKDOT U1 U2) (ISIMP1 V1 I1 V W X))))) 00052430 A1 (SETQ I1 (DELETE U1 I)) 00052440 (COND ((EQ U1 U2) (RETURN (MULTN 4 (ISIMP1 V1 I1 V W X)))) 00052450 ((NOT (SETQ Z (ASSOC U1 V))) (GO C)) 00052460 ((MEMBER U2 I) (GO D))) 00052470 (SETQ U1 (CDR Z)) 00052480 (GO E) 00052490 C (COND 00052500 ((SETQ Z (MEMLIS U1 X)) 00052510 (RETURN 00052520 (SPUR0 (CONS (CONS (CONS (QUOTE G) (SUBST U2 U1 Z)) 1) 00052530 V1) 00052540 I1 00052550 V 00052560 W 00052570 (DELETE Z X)))) 00052580 ((SETQ Z (MEMLIS U1 W)) 00052590 (RETURN 00052600 (ESUM (CONS (CONS (CONS (QUOTE EPS) (SUBST U2 U1 Z)) 1) 00052610 V1) 00052620 I1 00052630 V 00052640 (DELETE Z W) 00052650 X))) 00052660 ((AND (MEMBER U2 I) (NULL Y)) (GO G))) 00052670 (RETURN (ISIMP1 V1 I (CONS (CONS U1 U2) V) W X)) 00052680 D (SETQ U1 U2) 00052690 (SETQ U2 (CDR Z)) 00052700 E (SETQ I I1) 00052710 (SETQ V (DELETE Z V)) 00052720 (GO A) 00052730 G (SETQ Y T) 00052740 (SETQ Z U1) 00052750 (SETQ U1 U2) 00052760 (SETQ U2 Z) 00052770 (GO A1) 00052780 H (COND ((EQ U1 U2) (REDERR U))) 00052790 (SETQ I (DELETE U1 I)) 00052800 (SETQ U1 U2) 00052810 (GO A)))) 00052820 00052830 )) 00052840 00052850 DEFINE (( 00052860 00052870 (VMULT (LAMBDA (U) 00052880 (PROG (Z) 00052890 (SETQ U 00052900 (REVERSE 00052910 (MAPCAR U (FUNCTION (LAMBDA (J) (MSIMP J NIL)))))) 00052920 A (COND ((NULL U) (RETURN Z)) 00052930 ((NULL Z) (SETQ Z (CAR U))) 00052940 (T (SETQ Z (VMULT1 (CAR U) Z)))) 00052950 (SETQ U (CDR U)) 00052960 (GO A)))) 00052970 00052980 (VMULT1 (LAMBDA (U *S1*) 00052990 (COND ((NULL *S1*) NIL) 00053000 (T 00053010 (MAPCON U 00053020 (FUNCTION 00053030 (LAMBDA(*S*) 00053040 (MAPCAR *S1* 00053050 (FUNCTION 00053060 (LAMBDA(J) 00053070 (CONS (MULTSQ (CAAR *S*) (CAR J)) 00053080 (APPEND (CDAR *S*) 00053090 (CDR J))))))))))))) 00053100 00053110 )) 00053120 00053130 DEFINE (( 00053140 00053150 (SIMPDOT (LAMBDA (U) 00053160 (COND ((CDDR U) (ERRACH (LIST (QUOTE SIMPDOT) U))) 00053170 (T 00053180 (MKVARG U 00053190 (FUNCTION 00053200 (LAMBDA(J) 00053210 (MKSQ (CONS (QUOTE CONS) (ORD2 (CAR J) (CADR J))) 00053220 1)))))))) 00053230 00053240 (MKVARG (LAMBDA (U *PI*) 00053250 (PROG (Z) 00053260 (SETQ U (VMULT U)) 00053270 (SETQ Z (CONS NIL 1)) 00053280 A (COND ((NULL U) (RETURN Z))) 00053290 (SETQ Z (ADDSQ (MULTSQ (*PI* (CDAR U)) (CAAR U)) Z)) 00053300 (SETQ U (CDR U)) 00053310 (GO A)))) 00053320 00053330 (MKDOT (LAMBDA (U V) 00053340 (MKSF (CONS (QUOTE CONS) (ORD2 U V)) 1))) 00053350 00053360 (VLET (LAMBDA (U V B) 00053370 (PROG2 00053375 (AND B (FLAGP U (QUOTE USED*)) (RMSUBS2)) 00053380 (SETQ VREP* (XADD (CONS U V) VREP* U B))))) 00053385 00053390 )) 00053400 00053410 DEFINE (( 00053420 00053430 (INDEX (LAMBDA (U) 00053440 (SETQ INDICES* (UNION INDICES* U)))) 00053450 00053460 (REMIND (LAMBDA (U) 00053470 (PROG2 (VECTOR U) (SETQ INDICES* (SETDIFF INDICES* U))))) 00053480 00053490 (MASS (LAMBDA (U) 00053500 (COND ((NULL U) NIL) 00053510 (T 00053520 (PROG2 (PUT (CADAR U) (QUOTE MASS) (CADDAR U)) 00053530 (MASS (CDR U))))))) 00053540 00053550 (MSHELL (LAMBDA (U) 00053560 (PROG (X Z) 00053570 A (COND ((NULL U) (RETURN (LET Z)))) 00053580 (SETQ X (GETMAS (CAR U))) 00053590 (SETQ Z 00053600 (CONS (LIST (QUOTE EQUAL) 00053610 (LIST (QUOTE CONS) (CAR U) (CAR U)) 00053620 (LIST (QUOTE TIMES) X X)) 00053630 Z)) 00053640 (SETQ U (CDR U)) 00053650 (GO A)))) 00053660 00053670 (GETMAS (LAMBDA (U) 00053680 ((LAMBDA(X) 00053690 (COND (X X) (T (REDERR (CONS U (QUOTE (HAS NO MASS))))))) 00053700 (GET* U (QUOTE MASS))))) 00053710 00053720 (VECTOR (LAMBDA (U) 00053730 (FLAG U (QUOTE VECTOR)))) 00053740 00053750 )) 00053760 00053770 DEFINE (( 00053780 00053790 (VCREP (LAMBDA (U) 00053800 ((LAMBDA(X) 00053810 (COND 00053820 ((AND SUBFG* (NOT (EQUAL X (CAR U)))) 00053830 (NCONC U (LIST (LIST (QUOTE REP) X 1 NIL NIL)))) 00053840 (T NIL))) 00053850 (SUBLIS VREP* (CAR U))))) 00053860 00053870 )) 00053880 00053890 DEFLIST (((MSHELL RLIS) (MASS RLIS) (INDEX RLIS) (REMIND RLIS) (VECTOR 00053900 RLIS) (VOP RLIS)) STAT) 00053910 00053920 FLAG ((EPS) VOP) 00053950 00053960 DEFLIST (((G SIMPGAMMA) (EPS SIMPEPS)) SIMPFN) 00053970 00053980 FLAG ((G) NONCOM) 00053990 00054000 DEFLIST (((G GMULT)) MRULE) 00054010 00054020 DEFINE (( 00054030 00054040 (GMULT (LAMBDA (U V) 00054050 (COND 00054060 ((OR (NOT (EQUAL (CDR U) 1)) (NOT (EQUAL (CDR V) 1))) 00054070 (ERRACH (LIST (QUOTE GMULT) U V))) 00054080 ((NOT (EQ (CADAR U) (CADAR V))) (QUOTE FAILED)) 00054090 (T (GCHECK (REVERSE (CDDAR U)) (CDDAR V) (CADAR U)))))) 00054100 00054110 (NONCOM (LAMBDA (U) 00054120 (FLAG U (QUOTE NONCOM)))) 00054130 00054140 )) 00054150 00054160 DEFINE (( 00054170 00054180 (SPUR (LAMBDA (U) 00054190 (PROG2 (RMSUBS) 00054200 (MAP U 00054210 (FUNCTION 00054220 (LAMBDA(J) 00054230 (PROG2 (REMFLAG (LIST (CAR J)) (QUOTE NOSPUR)) 00054240 (REMFLAG (LIST (CAR J)) (QUOTE REDUCE))))))))) 00054250 00054260 (NOSPUR (LAMBDA (U) 00054270 (FLAG U (QUOTE NOSPUR)))) 00054280 00054290 (REDUCE (LAMBDA (U) 00054300 (PROG2 (NOSPUR U) (FLAG U (QUOTE REDUCE))))) 00054310 00054320 (SIMPGAMMA (LAMBDA (*S*) 00054330 (COND 00054340 ((OR (NULL *S*) (NULL (CDR *S*))) 00054350 (REDERR (QUOTE (MISSING ARGUMENTS FOR G OPERATOR)))) 00054360 (T 00054370 (PROG NIL 00054380 (SETQ GAMIDEN* (UNION (LIST (CAR *S*)) GAMIDEN*)) 00054390 (SETQ *NCMP T) 00054400 (RETURN 00054410 (MKVARG (CDR *S*) 00054420 (FUNCTION 00054430 (LAMBDA(J) 00054440 (CONS (GCHECK (REVERSE J) NIL (CAR *S*)) 00054450 1)))))))))) 00054460 00054470 (GCHECK (LAMBDA (U V L) 00054480 (COND ((EQ (CAR V) (QUOTE A)) (GCHKA U (CDR V) T L)) 00054490 (T (GCHKV U V T L))))) 00054500 00054510 (GCHKA (LAMBDA (U V X W) 00054520 (COND ((NULL U) (MULTN (NB X) (MKG (CONS (QUOTE A) V) W))) 00054530 ((EQ (CAR U) (QUOTE A)) (GCHKV (CDR U) V X W)) 00054540 (T (GCHKA (CDR U) (CONS (CAR U) V) (NOT X) W))))) 00054550 00054560 (GCHKV (LAMBDA (U V X L) 00054570 (COND ((NULL U) 00054580 (COND ((NULL V) (NB X)) (T (MULTN (NB X) (MKG V L))))) 00054590 ((EQ (CAR U) (QUOTE A)) (GCHKA (CDR U) V X L)) 00054600 (T (GCHKV (CDR U) (CONS (CAR U) V) X L))))) 00054610 00054620 (MKG (LAMBDA (U L) 00054630 (LIST (CONS (CONS (CONS (QUOTE G) (CONS L U)) 1) 1)))) 00054640 00054650 (MKA (LAMBDA (L) 00054660 (MKG (LIST (QUOTE A)) L))) 00054670 00054680 (MKG1 (LAMBDA (U L) 00054690 (COND 00054700 ((OR (NOT (FLAGP L (QUOTE NOSPUR))) 00054710 (NULL (CDR U)) 00054720 (CDDR U) 00054730 (ORDOP (CAR U) (CADR U)) 00054740 (EQ (CAR U) (QUOTE A))) 00054750 (MKG U L)) 00054760 (T 00054770 (ADDF (MULTN 2 (MKDOT (CAR U) (CADR U))) 00054780 (MULTN -1 (MKG (REVERSE U) L))))))) 00054790 00054800 (NB (LAMBDA (U) 00054810 (COND (U 1) (T -1)))) 00054820 00054830 )) 00054840 00054850 DEFINE (( 00054860 00054870 (SPUR0 (LAMBDA (U I V1 V2 V3) 00054880 (PROG (L V W I1 Z KAHP) 00054890 (SETQ L (CADAAR U)) 00054900 (SETQ V (CDDAAR U)) 00054910 (COND ((NOT (ONEP (CDAR U))) (SETQ V (APPN V (CDAR U))))) 00054920 (SETQ U (CDR U)) 00054930 (COND 00054940 ((AND (NOT (GET L (QUOTE NOSPUR))) 00054950 (OR (AND (EQ (CAR V) (QUOTE A)) 00054960 (OR (LESSP (LENGTH V) 5) 00054970 (NOT (EVENP (CDR V))))) 00054980 (AND (NOT (EQ (CAR V) (QUOTE A))) 00054990 (NOT (EVENP V))))) 00055000 (RETURN NIL)) 00055010 ((NULL I) (GO END))) 00055020 A (COND ((NULL V) (GO END1)) ((MEMBER (CAR V) I) (GO B))) 00055030 A1 (SETQ W (CONS (CAR V) W)) 00055040 (SETQ V (CDR V)) 00055050 (GO A) 00055060 B (COND ((MEMBER (CAR V) (CDR V)) (GO KAH1)) 00055070 ((MEMBER (CAR V) I1) (GO A1)) 00055080 ((SETQ Z (BASSOC (CAR V) V1)) (GO E)) 00055090 ((SETQ Z (MEMLIS (CAR V) V2)) 00055100 (RETURN 00055110 ((LAMBDA(X) 00055120 (COND 00055130 ((AND (FLAGP L (QUOTE REDUCE)) 00055140 (NULL V1) 00055150 (NULL V3) 00055160 (NULL (CDR V2))) 00055170 (MULTF (MKG* X L) (MULTF (MKEPS1 Z) (ISIMP U)))) 00055180 (T 00055190 (ISIMP1 00055200 (SPUR0 (CONS (CAAR (MKG X L)) U) 00055210 NIL 00055220 V1 00055230 (DELETE Z V2) 00055240 V3) 00055250 I 00055260 NIL 00055270 (LIST Z) 00055280 NIL)))) 00055290 (APPEND (REVERSE W) V)))) 00055300 ((SETQ Z (MEMLIS (CAR V) V3)) (GO C)) 00055310 (T 00055320 (RETURN 00055330 (ISIMP1 U 00055340 I 00055350 V1 00055360 V2 00055370 (CONS (CONS L (APPEND (REVERSE W) V)) 00055380 V3))))) 00055390 C (SETQ V3 (DELETE Z V3)) 00055400 (SETQ KAHP NIL) 00055410 (COND 00055420 ((AND (FLAGP L (QUOTE NOSPUR)) 00055430 (FLAGP (CAR Z) (QUOTE NOSPUR))) 00055440 (ERROR (QUOTE HELP))) 00055450 ((FLAGP (CAR Z) (QUOTE NOSPUR)) (SETQ KAHP (CAR Z)))) 00055460 (SETQ Z (CDR Z)) 00055470 (SETQ I1 NIL) 00055480 C1 (COND ((EQ (CAR V) (CAR Z)) (GO D))) 00055490 (SETQ I1 (CONS (CAR Z) I1)) 00055500 (SETQ Z (CDR Z)) 00055510 (GO C1) 00055520 D (SETQ Z (CDR Z)) 00055530 (SETQ I (DELETE (CAR V) I)) 00055540 (SETQ V (CDR V)) 00055550 (COND ((NOT (FLAGP L (QUOTE NOSPUR))) (GO D0))) 00055560 (SETQ W (CONS W (CONS V (CONS I1 Z)))) 00055570 (SETQ I1 (CAR W)) 00055580 (SETQ Z (CADR W)) 00055590 (SETQ V (CADDR W)) 00055600 (SETQ W (CDDDR W)) 00055610 D0 (SETQ W (REVERSE W)) 00055620 (COND 00055630 ((AND (OR (NULL V) (NOT (EQ (CAR W) (QUOTE A)))) 00055640 (SETQ V (APPEND V W))) 00055650 (GO D1)) 00055660 ((NOT (EVENP V)) (SETQ U (MULTN -1 U)))) 00055670 (SETQ V (CONS (QUOTE A) (APPEND V (CDR W)))) 00055680 D1 (COND (KAHP (SETQ L KAHP))) 00055690 (SETQ VARS* NIL) 00055700 (SETQ Z (MULTF (MKG (REVERSE I1) L) 00055710 (MULTF (BRACE V L I) (MULTF (MKG1 Z L) U)))) 00055720 (SETQ Z (ISIMP1 Z (APPEND VARS* I) V1 V2 V3)) 00055730 (COND ((NULL Z) (RETURN Z)) 00055780 ((NULL (SETQ Z (QUOTF Z 2))) 00055790 (ERRACH (LIST (QUOTE SPUR0) U I V1 V2 V3)))) 00055800 (RETURN Z) 00055810 E (SETQ V1 (DELETE Z V1)) 00055820 (SETQ I (DELETE (CAR W) I)) 00055830 (SETQ V (CONS (OTHER (CAR V) Z) (CDR V))) 00055840 (GO A) 00055850 KAH1 (COND ((EQ (CAR V) (CADR V)) (GO K2))) 00055860 (SETQ KAHP T) 00055870 (SETQ I1 (CONS (CAR V) I1)) 00055880 (GO A1) 00055890 K2 (SETQ I (DELETE (CAR V) I)) 00055900 (SETQ V (CDDR V)) 00055910 (SETQ U (MULTN 4 U)) 00055920 (GO A) 00055930 END (SETQ W (REVERSE V)) 00055940 END1 (COND (KAHP (GO END2)) 00055950 ((NULL (SETQ Z (SPURR W L NIL 1))) (RETURN NIL)) 00055960 (T (RETURN (COND ((AND (GET (QUOTE EPS) (QUOTE KLIST)) 00055970 (NOT (FLAGP L (QUOTE NOSPUR)))) 00055971 (ISIMP1 (MULTF Z U) I V1 V2 V3)) 00055972 (T (MULTF Z (ISIMP1 U I V1 V2 V3))))))) 00055973 END2 (SETQ VARS* NIL) 00055980 (SETQ Z (MULTF (KAHANE (REVERSE W) I1 L) U)) 00055990 (RETURN (ISIMP1 Z (APPEND VARS* (SETDIFF I I1)) V1 V2 V3))))) 00056000 00056040 (APPN (LAMBDA (U N) 00056050 (COND ((ONEP N) U) (T (APPEND U (APPN U (SUB1 N))))))) 00056060 00056070 (OTHER (LAMBDA (U V) 00056080 (COND ((EQ U (CAR V)) (CDR V)) (T (CAR V))))) 00056090 00056100 )) 00056110 00056120 DEFINE (( 00056130 00056140 (KAHANE (LAMBDA (U I L) 00056150 (PROG (K2 LD LU M P V W X Y) 00056160 (SETQ K2 0) 00056170 (SETQ M 0) 00056180 (SETQ W (LIST T T NIL)) 00056190 (COND ((EQ (CAR U) (QUOTE A)) (GO B))) 00056200 A (COND 00056210 ((AND (NULL U) (SETQ W (CONS NIL (CONS NIL (CONS NIL W))))) 00056220 (GO KETJAK)) 00056230 ((MEMBER (CAR U) I) (GO D))) 00056240 (SETQ P (NOT P)) 00056250 B (SETQ W (CONS (CAR U) W)) 00056260 C (SETQ U (CDR U)) 00056270 (GO A) 00056280 D (SETQ W (CONS (CAR U) (CONS P (CONS NIL W)))) 00056290 (SETQ X NIL) 00056300 KETJAK 00056310 (SETQ W (REVERSE W)) 00056320 TJARUM 00056330 (COND ((CADR W) (SETQ LU (CONS W LU))) 00056340 (T (SETQ LD (CONS W LD)))) 00056350 (COND ((NULL U) (GO DJANGER)) (X (GO MAS))) 00056360 (SETQ W (REVERSE W)) 00056370 (SETQ X T) 00056380 (GO TJARUM) 00056390 MAS (SETQ W (LIST T (SETQ P (NOT P)) (CAR U))) 00056400 (SETQ K2 (ADD1 K2)) 00056410 (GO C) 00056420 DJANGER 00056430 (SETQ LU (REVERSE LU)) 00056440 BARUNA 00056450 (COND ((NULL LU) (GO JAVA))) 00056460 (SETQ V (CAR LU)) 00056470 (SETQ LU (CDR LU)) 00056480 WAJANG 00056490 (SETQ X (CONS (CAR V) (CADR V))) 00056495 (SETQ P (NULL (CADDR V))) 00056500 (SETQ M (ADD1 M)) 00056510 (SETQ W NIL) 00056520 RINDIK 00056530 (SETQ Y (REVERSE V)) 00056540 R1 (COND ((CADR Y) (SETQ LU (DELETE Y LU))) 00056545 (T (SETQ LD (DELETE Y LD)))) 00056550 (COND ((EQ Y V) (GO RINDIK)) 00056555 (P (AND (SETQ V Y) 00056560 (SETQ X (CONS (CAR V) (CADR V))) 00056565 (SETQ P NIL)))) 00056570 (SETQ V (CDDDR V)) 00056575 BANDJAR 00056580 (COND ((CDDDR V) (GO SUBAK)) 00056585 ((NULL (CADDR V)) (GO WADAH)) 00056590 ((AND (EQ (CADDR V) (CAR X)) 00056595 (EQ (CADR V) (CDR X))) (GO BARIS))) 00056596 (SETQ V 00056600 (SASSOC (CADDR V) 00056605 (COND ((CADR V) LU) (T LD)) 00056610 (FUNCTION 00056650 (LAMBDA NIL (ERRACH (QUOTE KAHANE)))))) 00056660 (SETQ Y V) 00056670 (GO R1) 00056680 SUBAK 00056700 (SETQ W (CONS (CAR V) W)) 00056710 (SETQ V (CDR V)) 00056720 (GO BANDJAR) 00056730 WADAH 00056740 (SETQ U (MKG (REVERSE W) L)) 00056750 (GO BARUNA) 00056760 BARIS 00056770 (COND ((AND W (CDR X)) (SETQ W (NCONC (CDR W) (LIST (CAR W)))))) 00056775 (SETQ U (MULTF (BRACE W L NIL) U)) 00056780 (GO BARUNA) 00056790 JAVA (COND ((NULL LD) (GO HOME))) 00056800 (SETQ V (CAR LD)) 00056810 (SETQ LD (CDR LD)) 00056820 (GO WAJANG) 00056830 HOME (SETQ K2 (QUOTIENT K2 2)) 00056840 (SETQ X (EXPT 2 K2)) 00056850 (COND 00056860 ((ZEROP (REMAINDER (DIFFERENCE K2 M) 2)) 00056870 (SETQ X (MINUS X)))) 00056880 (RETURN (MULTN X U))))) 00056890 00056900 (BRACE (LAMBDA (U L I) 00056910 (COND ((NULL U) 2) 00056920 ((OR (XN I U) (FLAGP L (QUOTE NOSPUR))) 00056930 (ADDF (MKG1 U L) (MKG1 (REVERSE U) L))) 00056935 ((EQ (CAR U) (QUOTE A)) 00056940 (COND ((EVENP U) (ADDF (MKG U L) 00056950 (MULTN -1 (MKG (CONS (QUOTE A) 00056952 (REVERSE (CDR U))) L)))) 00056954 (T (MULTF (MKA L) (SPR2 (CDR U) L 2 NIL))))) 00056960 ((EVENP U) (SPR2 U L 2 NIL)) 00056970 (T (SPR1 U L 2 NIL))))) 00056980 00056990 (SPR1 (LAMBDA (U L N B) 00057000 (COND ((NULL U) NIL) 00057010 ((NULL (CDR U)) (MULTN N (MKG1 U L))) 00057020 (T 00057030 (PROG (M X Z) 00057040 (SETQ X U) 00057050 (SETQ M 0) 00057060 A (COND ((NULL X) (RETURN Z))) 00057070 (SETQ Z 00057080 (ADDF (MULTF (MKG1 (LIST (CAR X)) L) 00057090 (COND 00057100 ((NULL B) 00057110 (SPURR (REMOVE U M) L NIL N)) 00057120 (T (SPR1 (REMOVE U M) L N NIL)))) 00057130 Z)) 00057140 (SETQ X (CDR X)) 00057150 (SETQ N (MINUS N)) 00057160 (SETQ M (ADD1 M)) 00057170 (GO A)))))) 00057180 00057190 (SPR2 (LAMBDA (U L N B) 00057200 (COND ((AND (NULL (CDDR U)) (NULL B)) 00057210 (MULTN N (MKDOT (CAR U) (CADR U)))) 00057220 (T 00057230 ((LAMBDA (X) (COND (B (ADDF (SPR1 U L N B) X)) (T X))) 00057240 (ADDF (SPURR U L NIL N) 00057250 (MULTF (MKA L) 00057255 (SPURR (APPEND U (LIST (QUOTE A))) L NIL N)))))))) 00057260 00057270 (EVENP (LAMBDA (U) 00057410 (OR (NULL U) (NOT (EVENP (CDR U)))))) 00057420 00057430 (BASSOC (LAMBDA (U V) 00057440 (COND ((NULL V) NIL) 00057450 ((OR (EQ U (CAAR V)) (EQ U (CDAR V))) (CAR V)) 00057460 (T (BASSOC U (CDR V)))))) 00057470 00057480 (MEMLIS (LAMBDA (U V) 00057490 (COND ((NULL V) NIL) 00057500 ((MEMBER U (CAR V)) (CAR V)) 00057510 (T (MEMLIS U (CDR V)))))) 00057520 00057530 )) 00057540 00057550 DEFINE (( 00057560 00057570 (SPURR (LAMBDA (U L V N) 00057580 (PROG (M W X Y Z) 00057590 A (COND ((NULL U) (GO B)) ((MEMBER (CAR U) (CDR U)) (GO G))) 00057600 (SETQ V (CONS (CAR U) V)) 00057610 (SETQ U (CDR U)) 00057620 (GO A) 00057630 B (COND ((NULL V) (RETURN N)) 00057640 ((FLAGP L (QUOTE NOSPUR)) 00057650 (RETURN (MULTN N (MKG* V L)))) 00057660 (T (RETURN (SPRGEN V N)))) 00057670 G (SETQ X (CAR U)) 00057680 (SETQ Y (CDR U)) 00057690 (SETQ W Y) 00057700 (SETQ M 0) 00057710 H (COND 00057720 ((EQ X (CAR W)) 00057730 (RETURN 00057740 (ADDF (MULTF (MKDOT X X) (SPURR (DELETE X Y) L V N)) 00057750 Z)))) 00057760 (SETQ Z 00057770 (ADDF (MULTF (MKDOT X (CAR W)) 00057780 (SPURR (REMOVE Y M) L V (TIMES 2 N))) 00057790 Z)) 00057800 (SETQ W (CDR W)) 00057810 (SETQ N (MINUS N)) 00057820 (SETQ M (ADD1 M)) 00057830 (GO H)))) 00057840 00057850 (SPRGEN (LAMBDA (V N) 00057860 (PROG (X Z) 00057870 (COND 00057880 ((NOT (EQ (CAR V) (QUOTE A))) (RETURN (SPRGEN1 V N))) 00057890 ((NULL (SETQ X (COMB1 (SETQ V (CDR V)) 4 NIL))) 00057900 (RETURN NIL)) 00057910 ((NULL (CDR X)) (GO E))) 00057920 C (COND ((NULL X) (RETURN (MULTF2 (MKSP (QUOTE I) 1) Z)))) 00057930 (SETQ Z 00057940 (ADDF (MULTN (ASIGN (CAR X) V N) 00057950 (MULTF (MKEPS1 (CAR X)) 00057960 (SPRGEN1 (SETDIFF V (CAR X)) 1))) 00057970 Z)) 00057980 D (SETQ X (CDR X)) 00057990 (GO C) 00058000 E (SETQ Z (MULTN N (MKEPS1 (CAR X)))) 00058010 (GO D)))) 00058020 00058030 (ASIGN (LAMBDA (U V N) 00058031 (COND ((NULL U) N) 00058032 (T (ASIGN (CDR U) V (TIMES (ASIGN1 (CAR U) V -1) N)))))) 00058033 00058034 (ASIGN1 (LAMBDA (U V N) 00058035 (COND ((NULL V) (ERROR (QUOTE ARG))) 00058036 ((EQ U (CAR V)) N) 00058037 (T (ASIGN1 U (CDR V) (MINUS N)))))) 00058038 00058039 (SPRGEN1 (LAMBDA (U N) 00058040 (COND ((NULL U) NIL) 00058050 ((NULL (CDDR U)) (MULTN N (MKDOT (CAR U) (CADR U)))) 00058060 (T 00058070 (PROG (W X Y Z) 00058080 (SETQ X (CAR U)) 00058090 (SETQ U (CDR U)) 00058100 (SETQ Y U) 00058110 A (COND ((NULL U) (RETURN Z)) 00058120 ((NULL (SETQ W (MKDOT X (CAR U)))) (GO B))) 00058130 (SETQ Z 00058140 (ADDF (MULTF W (SPRGEN1 (DELETE (CAR U) Y) N)) 00058150 Z)) 00058160 B (SETQ N (MINUS N)) 00058170 (SETQ U (CDR U)) 00058180 (GO A)))))) 00058190 00058200 (COMB1 (LAMBDA (U N V) 00058210 ((LAMBDA(M) 00058220 (COND ((ONEP N) 00058230 (APPEND V (MAPCAR U (FUNCTION (LAMBDA (J) (LIST J)))))) 00058240 ((MINUSP M) NIL) 00058250 ((ZEROP M) (CONS U V)) 00058260 (T 00058270 (COMB1 (CDR U) 00058280 N 00058290 (APPEND V 00058300 (MAPCONS (COMB1 (CDR U) (SUB1 N) NIL) 00058310 (CAR U))))))) 00058320 (DIFFERENCE (LENGTH U) N)))) 00058330 00058340 )) 00058350 00058360 DEFINE (( 00058370 00058380 (SIMPEPS (LAMBDA (U) 00058390 (MKVARG U 00058400 (FUNCTION 00058410 (LAMBDA(J) 00058420 (CONS (COND ((REPEATS J) NIL) (T (MKEPS1 J))) 1)))))) 00058430 00058440 (MKEPS1 (LAMBDA (U) 00058450 ((LAMBDA(X) 00058460 (MULTN (NB (PERMP X U)) (MKSF (CONS (QUOTE EPS) X) 1))) 00058470 (ORDN U)))) 00058480 00058490 (PERMP (LAMBDA (U V) 00058500 (COND ((NULL U) T) 00058510 ((EQ (CAR U) (CAR V)) (PERMP (CDR U) (CDR V))) 00058520 (T (NOT (PERMP (CDR U) (SUBST (CAR V) (CAR U) (CDR V)))))))) 00058530 00058540 )) 00058550 00058560 DEFINE (( 00058570 00058580 (ESUM (LAMBDA (U I V W XX) 00058590 (PROG (X Y Z) 00058600 (SETQ X (CAR U)) 00058610 (SETQ U (CDR U)) 00058620 (COND 00058630 ((NOT (ONEP (CDR X))) 00058640 (SETQ U 00058650 (MULTF (NMULTF (MKEPS1 (CDAR X)) (SUB1 (CDR X))) 00058660 U)))) 00058670 (SETQ X (CDAR X)) 00058680 A (COND ((REPEATS X) (RETURN NIL))) 00058690 B (COND ((NULL X) 00058700 (RETURN (ISIMP1 U I V (CONS (REVERSE Y) W) XX))) 00058710 ((NOT (MEMBER (CAR X) I)) (GO D)) 00058720 ((NOT (SETQ Z (BASSOC (CAR X) V))) (GO C))) 00058730 (SETQ V (DELETE Z V)) 00058740 (SETQ I (DELETE (CAR X) I)) 00058750 (SETQ X 00058760 (APPEND (REVERSE Y) (CONS (OTHER (CAR X) Z) (CDR X)))) 00058770 (SETQ Y NIL) 00058780 (GO A) 00058790 C (COND ((SETQ Z (MEMLIS (CAR X) W)) (GO C1)) 00058800 ((SETQ Z (MEMLIS (CAR X) XX)) 00058810 (RETURN 00058820 (SPUR0 (CONS (CONS (CONS (QUOTE G) Z) 1) U) 00058830 I 00058840 V 00058850 (CONS (APPEND (REVERSE Y) X) W) 00058860 (DELETE Z XX))))) 00058870 (RETURN (ISIMP1 U I V (CONS (APPEND (REVERSE Y) X) W) XX)) 00058880 C1 (SETQ X (APPEND (REVERSE Y) X)) 00058890 (SETQ Y (XN I (XN X Z))) 00058900 (RETURN 00058910 (ISIMP1 (MULTF (EMULT1 Z X Y) U) 00058920 (SETDIFF I Y) 00058930 V 00058940 (DELETE Z W) 00058950 XX)) 00058960 D (SETQ Y (CONS (CAR X) Y)) 00058970 (SETQ X (CDR X)) 00058980 (GO B)))) 00058990 00059000 (EMULT (LAMBDA (U) 00059010 (COND ((NULL (CDR U)) (MKEPS1 (CAR U) 1)) 00059020 ((NULL (CDDR U)) (EMULT1 (CAR U) (CADR U) NIL)) 00059030 (T (MULTF (EMULT1 (CAR U) (CADR U) NIL) (EMULT (CDDR U))))))) 00059040 00059050 (EMULT1 (LAMBDA (U V I) 00059060 ((LAMBDA(X *S*) 00059070 ((LAMBDA(M N) 00059080 (COND ((EQUAL M 4) (TIMES 6 (TIMES 4 N))) 00059090 ((EQUAL M 3) 00059100 (MULTN (TIMES 6 N) (MKDOT (CAR X) (CAR *S*)))) 00059110 (T 00059120 (MULTN (TIMES N (COND ((ZEROP M) 1) (T M))) 00059130 (CAR 00059140 (DETQ 00059150 (MAPLIST X 00059160 (FUNCTION 00059170 (LAMBDA(*S1*) 00059180 (MAPLIST *S* 00059190 (FUNCTION 00059200 (LAMBDA 00059210 (J) 00059220 (CONS 00059230 (MKDOT 00059240 (CAR *S1*) 00059250 (CAR J)) 00059260 1))))))))))))) 00059270 (LENGTH I) 00059280 ((LAMBDA (J) (NB(COND((PERMP U (APPEND I X)) (NOT J)) (T J)))) 00059290 (PERMP V (APPEND I *S*))))) 00059300 (SETDIFF U I) 00059310 (SETDIFF V I)))) 00059320 00059330 )) 00059340 00059350 DEFLIST (((NONCOM RLIS) (SPUR RLIS) (NOSPUR RLIS) (REDUCE RLIS)) STAT) 00059360 00059370 00059380 PTS (NOCMP* T) 00059381 DEFINE (( 00059390 00059400 (MKG* (LAMBDA (U L) 00059410 (COND ((NULL U) 1) 00059420 ((NOT (FLAGP L (QUOTE REDUCE))) (MKG1 U L)) 00059430 ((LESSP (LENGTH U) 3) (MKG1 U L)) 00059440 ((AND (EQCAR U (QUOTE A)) (EQUAL (LENGTH U) 3)) 00059450 ((LAMBDA(Y) 00059460 (PROG2 (SETQ INDICES* (APPEND Y INDICES*)) 00059470 (ADDF (MULTF (MKA L) (MKDOT (CADR U) (CADDR U))) 00059480 (MULTF2 (MKSP (QUOTE I) 1) 00059490 (MULTF (MKG1 Y L) 00059500 (MKEPS1 00059510 (APPEND (CDR U) Y))))))) 00059520 (LIST (GENSYM) (GENSYM)))) 00059530 (T (RED* U L))))) 00059540 00059550 (RED* (LAMBDA (U L) 00059560 (PROG (I X) 00059570 (SETQ X (ACONC (EXPLODE L) (QUOTE I))) 00059580 (SETQ I 00059590 (LIST (COMPRESS (APPEND X (QUOTE (1)))) 00059600 (COMPRESS (APPEND X (QUOTE (2)))))) 00059610 (SETQ X (LIST (QUOTE A) (CAR I))) 00059620 (RETURN 00059630 (ADDF (SPURR NIL (QUOTE ***) U 3) 00059640 (ADDF (MULTF (MKG (QUOTE (A)) L) 00059650 (ISIMP1 00059660 (GCHECK (QUOTE (A)) U (QUOTE ***)) 00059670 NIL 00059680 NIL 00059690 NIL 00059700 NIL)) 00059710 (ADDF 00059720 (ISIMP1* 00059730 (ISIMP1 (GCHECK (LIST (CAR I)) U (QUOTE ***)) 00059740 NIL 00059750 NIL 00059760 NIL 00059770 NIL) 00059780 (LIST (CAR I)) 00059790 (LIST (LIST L (CAR I)))) 00059800 (ADDF (MULTN -1 00059810 (ISIMP1* 00059820 (ISIMP1 00059830 (GCHECK 00059840 (REVERSE X) 00059850 U 00059860 (QUOTE ***)) 00059870 NIL 00059880 NIL 00059890 NIL 00059900 NIL) 00059910 (CDR X) 00059920 (LIST (CONS L X)))) 00059930 (MULTF (MKSQP (CONS -1 2)) 00059940 (ISIMP1* 00059950 (ISIMP1 00059960 (GCHECK 00059970 (REVERSE I) 00059980 U 00059990 (QUOTE ***)) 00060000 NIL 00060010 NIL 00060020 NIL 00060030 NIL) 00060040 I 00060050 (LIST (CONS L I)))))))))))) 00060060 00060070 (ISIMP1* (LAMBDA (U I V) 00060080 (COND ((NULL U) NIL) (T (ISIMP1 U I NIL NIL V))))) 00060090 00060100 )) 00060110 00060120 INIT NIL 00060130 00060140 CHKPOINT (REDUCE) 00060145 00060150 COMMENT ((E N D O F R E D U C E P R O G R A M)) 00060160 00060170 00060180