SRRAT: use MRAT reader functions instead of CADDAR, etc.
[maxima.git] / archive / src / var-proclaims.lisp
blob1d2f5fc186f8bfc73586567e5ad96aae82916f6d
1 (proclaim
2 '(ftype (function (*) t) meval1
3 quot merror errrjf sort typep inf-signal mread $filename_merge
4 maclisp-typep SCAN-DIGITS dimension maset1 error cerror
5 $file_search mtell))
7 (proclaim '(SPECIAL
8 *mlambda-call-stack* *LAST-MEVAL1-FORM*
9 TRIM TRIM *EU* *BD* *BN* $MAXPRIME $ASSUMESCALAR $DOTIDENT
10 $SCALARMATRIXP $DOMXNCTIMES $DOSCMXOPS $DOMXMXOPS $DOALLMXOPS
11 $DOTASSOC $DOTEXPTSIMP $DOTDISTRIB $DOTSCRULES $DOT1SIMP
12 $DOT0NSCSIMP $DOT0SIMP $DOTCONSTRULES $OPTIMWARN $OPTIMPREFIX
13 *SUBEXP* $FORTFLOAT $FORTINDENT $FORTSPACES $OPPROPERTIES OPERS
14 *OPERS-LIST *INFSUMSIMP $PRODHACK $SUMHACK $SIMPSUM $ZEROBERN
15 $GENINDEX $GENSUMNUM $CAUCHYSUM $ZETA%PI $TIMER_DEVALUE
16 GCTIME-DEVALUE RUNTIME-DEVALUE $TIMER $TRACE_MAX_INDENT
17 $TRACE_BREAK_ARG $TRACE_SAFETY RETURN-TO-TRACE-HANDLE
18 PREDICATE-ARGLIST TRACE-INDENT-LEVEL TRACE-HANDLING-STACK
19 HARD-TO-TRACE $TRACE ALGNOTEXACT $ALGEXACT REALONLYRATNUM $REALONLY
20 $%RNUM_LIST $ALGDELTA FLAG4 $SOLVERADCAN $SOLVETRIGWARN
21 $SOLVENULLWARN $SOLVEFACTORS $SOLVEEXPLICIT $SOLVEDECOMPOSES
22 $PROGRAMMODE $SOLVE_INCONSISTENT_ERROR $LINSOLVEWARN $MULTIPLICITIES
23 $BREAKUP PRESERVE-DIRECTION LIMIT-ANSWERS SIMPLIMPLUS-PROBLEMS RD*
24 INFINITESIMALS REAL-INFINITIES INFINITIES $LET_RULE_PACKAGES
25 $CURRENT_LET_RULE_PACKAGE $DEFAULT_LET_RULE_PACKAGE $LETRAT
26 $LETVARSIMP MATCHREVERSE $MAXAPPLYHEIGHT $MAXAPPLYDEPTH *TMARRAYS*
27 $MATRIX_ELEMENT_TRANSPOSE $MATRIX_ELEMENT_ADD $MATRIX_ELEMENT_MULT
28 $RATMX TOP* $DETOUT $LINSOLVE_PARAMS $%RNUM *MOSESFLAG SOLVEXP *INV*
29 *RANK* $BACKSUBST $SPARSE $GLOBALSOLVE *S12* *LI3* *LI2* PIBY2
30 -SQRT3//2 SQRT3//2 -SQRT2//2 SQRT2//2 %PI//2 %PI//4 |-1//2| |1//2|
31 $HALFANGLES $LOGARC $EXPONENTIALIZE $TRIGSIGN $TRIGEXPANDTIMES
32 $TRIGEXPANDPLUS $TRIGEXPAND $TRIGINVERSES $%IARGS $%PIARGS
33 NONINTEGERL INTEGERL DEFINTDEBUG TRUNC-CONSTANTS?
34 $TAYLOR_ORDER_COEFFICIENTS TVAR-LIMITS $TAYLOR_SIMPLIFIER
35 $TAYLOR_LOGEXPAND $TAYLOR_TRUNCATE_POLYNOMIALS $MAXTAYORDER
36 $PSEXPAND *WITHIN-SRF?* TLIST CHANGEVP $ERFFLAG $LIFLAG
37 $INTEGRATION_CONSTANT_COUNTER COMPLEXSIGN RHS LHS EVENS ODDS MINUS
38 SIGN PATEVALLED LOCALS FACTORED $ASSUME_POS_PRED $ASSUME_POS LIMITP
39 $ASKEXP $SIGNBFLOAT $PREDERROR COMPLEXSIGN SIGN-IMAG-ERRP
40 $ACTIVECONTEXTS $CONTEXTS $CONTEXT CONMARK CONUNMRK LAB-HIGH-LAB
41 LABNUMBER LAB-HIGH-BIT CONNUMBER CONINDEX ULABS -L +L MARKS NOBJECTS
42 DOBJECTS DBCHECK DBTRACE -LABS +LABS CURRENT CONTEXTS CONTEXT
43 $POLYFACTOR $LISTDUMMYVARS $LISTCONSTVARS *DESCRIBE-INDEX-DIRECTORY*
44 *INDEX-FILE-TYPE* *DESCRIBE-INDICES* $ALL_MACSYMA_DOCUMENTATION
45 $DESCRIBE_DOCUMENTATION *PDP-DESCRIBE* *WORD* $POINTBOUND *ALPHA RB
46 LB FORTRANP $NEGSUMDISPFLAG $SQRTDISPFLAG $EXPTDISPFLAG $%EDISPFLAG
47 $PFEFORMAT $POWERDISP ATOM-CONTEXT $DISPLAY_FORMAT_INTERNAL
48 LINEARRAY $RMXCHAR $LMXCHAR $ABSBOXCHAR $BOXCHAR D-MOREFLUSH
49 D-MOREMSG DISPLAYP STRINGDISP $NOUNDISP $DERIVABBREV $LINEDISP
50 $LISPDISP $DISPLAY2D $LEFTJUST $STARDISP $CURSORDISP
51 LINE-GRAPHICS-TTY CHARACTER-GRAPHICS-TTY $PARSEWINDOW
52 SCAN-BUFFERED-TOKEN *SCAN-STRING-BUFFER* PARSE-TYI PARSE-TYIPEEK
53 *MREAD-EOF-OBJ* *MREAD-PROMPT* MACSYMA-OPERATORS *PARSE-STREAM*
54 ALPHABET ALPHABET ROMB-PRINT $ROMBERGIT_USED $ROMBERGABS $ROMBERGTOL
55 $ROMBERGMIN $ROMBERGIT TRAMP$-ALIST
56 *UNKNOWN-FUNCTIONS-INFO-STACK* *KNOWN-FUNCTIONS-INFO-STACK*
57 META-PROP-L META-PROP-P *FCALL-MEMORY* *TR-RUNTIME-WARNED*
58 $TR_WARN_BAD_FUNCTION_CALLS FORMS-TO-COMPILE-QUEUE
59 A-RANDOM-COUNTER-FOR-GEN-NAME *INFILE-NAME-KEY* *MAX-EXPT$-EXPAND*
60 *NUMBER-TYPES* WRAP-AN-IS $MACSYMA_EXTEND_WARNP $MODE_CHECK_ERRORP
61 $MODE_CHECK_WARNP $MODE_CHECKP $TR_EXPONENT
62 $TR_FLOAT_CAN_BRANCH_COMPLEX VALUE-ALIST UNBOUND-MEVAL-KLUDGE-FIX
63 LISP->LISP-TR-LAMBDA $TRANSLATE_FAST_ARRAYS TRF-START-HOOK
64 *PRETTY-PRINT-TRANSLATION* $TR_GEN_TAGS TR-DEFAULTF $TR_STATE_VARS
65 $TR_TRUE_NAME_OF_FILE_BEING_TRANSLATED $COMPGRIND TRANSL-FILE
66 $TR_WINDY $TR_FILE_TTY_MESSAGESP $TR_OUTPUT_FILE_DEFAULT
67 *TRANSL-FILE-DEBUG* $TR_BIND_MODE_HOOK $TR_BOUND_FUNCTION_APPLYP
68 $TR_OPTIMIZE_MAX_LOOP *$ANY-MODES* WARNED-UNDEFINED-VARIABLES
69 *TR-WARN-BREAK* TR-LAMBDA-PUNT-ASSIGNS MODE-INIT-VALUE-TABLE
70 BOOLEAN-OBJECT-TABLE $TR_PREDICATE_BRAIN_DAMAGE $TR_NUMER
71 $TR_ARRAY_AS_REF $TR_FUNCTION_CALL_DEFAULT *WARNED-MODE-VARS*
72 *WARNED-FEXPRS* *WARNED-UN-DECLARED-VARS*
73 $TR_WARN_UNDEFINED_VARIABLE $TR_WARN_MODE $TR_WARN_FEXPR
74 $TR_WARN_MEVAL $TR_WARN_UNDECLARED TR-UNIQUE TR-ABORT *TRANSL-DEBUG*
75 *TRANSL-BACKTRACE* TRANSLATE-TIME-EVALABLES SPECIALS ASSIGNS
76 NEED-PROG? RETURN-MODE RETURNS INSIDE-MPROG TR-PROGRET FEXPRS EXPRS
77 LEXPRS ARRAYS LOCAL TSTACK $SPECIAL $TRANSCOMPILE $TR_SEMICOMPILE
78 *UNTRANSLATED-FUNCTIONS-CALLED* $TRANSBIND MODULE-STACK
79 TRANSL-MODULES ARGSFREEOFP $RADSUBSTFLAG $RATDENOMDIVIDE $RATEXPAND
80 $RATEPSILON $RATPRINT FR-FACTOR *WITHINRATF* ALPHA ADN* INRATSIMP
81 TELLRATLIST $FACEXPAND $RATVARS $ALGEBRAIC $RATFAC $RATWEIGHTS
82 $NOREPEAT $DONTFACTOR $FACTORFLAG $KEEPFLOAT FACTORRESIMP *RATSIMP*
83 *RATWEIGHTS *FNEWVARSW VARLIST GENPAIRS GENVAR *ALPHA BIGPRIMES $GCD
84 *GCDL* $HOMOG_HACK CHECKFACTORS $SAVEFACTORS $BERLEFACT $INTFACLIM
85 LOW* ALGFAC* *IRREDS $RATALGDENOM $RATWTLVL ERRRJFFLAG HMODULUS
86 MODULUS *RESULTLIST $RESULTANT THR* $NEWFAC $NALGFAC SMALLPRIMES
87 ALPHA MM* MPLC* MINPOLY* *MX* *MIN* GAUSS
88 *MACSYMA-EXTEND-TYPES-SAVED*
89 $DONT_KILL_SYMBOLS_WITH_LISP_SOURCE_FILES AUTOLOAD $SHOWTIME
90 $FILE_STRING_PRINT $CHANGE_FILEDEFAULTS ALIASLIST $SHOWTIME
91 $MOREWAIT MOREFLUSH MORECONTINUE MOREMSG USER-TIMESOFAR CASEP $DIREC
92 $LINENUM $LINECHAR $OUTCHAR $INCHAR $% $PROMPT MOPL *COLLECT-ERRORS*
93 $DEMO_DIRECTORY_FILENAME $DEMO_FILE_TYPES $BATCH_FILE_TYPES
94 $FILE_TYPES *MACSYMA-STARTUP-QUEUE* $CANONICAL_TYPES
95 ACCUMULATED-TIME $__ $_ ABSFLAG GENERATE-ATAN2 IMPLICIT-REAL
96 $BETA_ARGS_SUM_TO_INTEGER $GAMMALIM $SUMSPLITFACT HALF%PI3 %PI2
97 HALF%PI FOURTH%PI %P%I MAX-BFLOAT-%E MAX-BFLOAT-%PI *DECFP *M FPPREC
98 BIGFLOAT%PI BIGFLOAT%E BFMHALF BFHALF BIGFLOATONE BIGFLOATZERO
99 $FPPREC $FPPRINTPREC $BFTRUNC $BFTORAT $FLOAT2BF *AFTERFLAG
100 MACHINE-MANTISSA-PRECISION DERIVSIMP ERRORSW DOSIMP $MAXNEGEX
101 $MAXPOSEX $EXPON $EXPOP $MX0SIMP $DOMXTIMES $DOMXPLUS $DOMXEXPT
102 $DOSCMXPLUS $NUMER_PBRANCH $SUMEXPAND $SIMP $NUMER $NEGDISTRIB
103 $FLOAT $MACROEXPANSION $USE_FAST_ARRAYS $SETCHECK MUNBINDP
104 FLOUNBOUND FIXUNBOUND MUNBOUND $ROOTSCONMODE $SUPERLOGCON
105 SUPERLOGCON $LOGCONCOEFFP DUMMY-VARIABLE-OPERATORS $VECT_CROSS
106 $COMBINEFLAG $ISOLATE_WRT_TIMES $EXPTISOLATE $ERROR_SYMS $ERROR_SIZE
107 $ERRORMSG $ERROR DEBUG $SUBLIS_APPLY_LAMBDA $NICEINDICESPREF
108 $RATVARSWITCH CANT-OPEN-COMPILE-MFORMAT WANT-OPEN-COMPILED-MFORMAT
109 MBINDING-USAGE TTYOFF WRITEFILEP MACSYMA-OPERATORS SYMBOLS-DEFINED
110 USE-SUBRCALL *ALL-ARRAYS* ^R ^W FORWARD-SLASH-STRING
111 $FORWARD-SLASH-SYMBOL VERTICAL-STROKE-CHAR PERIOD-CHAR
112 RIGHT-PARENTHESES-CHAR LEFT-PARENTHESES-CHAR FORWARD-SLASH-CHAR
113 BACK-SLASH-CHAR SEMI-COLON-CHAR DOUBLE-QUOTE-CHAR *RESET-VAR*
114 *MACSYMA-READTABLE* *SHARP-READ-BUFFER* *SCAN-STRING-BUFFER*
115 *MAXIMA-ARRAYS* *CL-MAKE-ARRAY-OPTION-REPLACEMENTS*
116 *MAKE-ARRAY-OPTION-REPLACEMENTS* *PRIMITIVE-DATA-TYPE-FUNCTION*
117 *ALLOW-REDEFINES* PRIN1 ERRSET *SHOW-ALL-DEBUG-INFO*
118 *CATCH-ERROR-STACK* *DISABLE-CATCH-ERROR* *CATCH-ERROR*
119 *ERROR-HANDLER-FUNCTION* *MACRO-FILE*))