--- /srv/rebuilderd/tmp/rebuilderdxlpF2I/inputs/maxima-src_5.49.0+dsfg-5~exp1_all.deb +++ /srv/rebuilderd/tmp/rebuilderdxlpF2I/out/maxima-src_5.49.0+dsfg-5~exp1_all.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-04-05 12:07:39.000000 debian-binary │ -rw-r--r-- 0 0 0 8620 2026-04-05 12:07:39.000000 control.tar.xz │ --rw-r--r-- 0 0 0 1200376 2026-04-05 12:07:39.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 1200412 2026-04-05 12:07:39.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/share/maxima/5.49.0/src/sys-proclaim.lisp │ │ │┄ Ordering differences only │ │ │ @@ -20,14 +20,21 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) (OR (MEMBER MAXIMA::UNKNOWN) (MEMBER T) (MEMBER NIL))) │ │ │ MAXIMA::POS-NEG-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) (T) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807) (T) (T)) │ │ │ + (OR (SYSTEM:TRUE) (NULL))) │ │ │ + MAXIMA::GF-PRIMPOLY-P2)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (RATIO (-9223372036854775808) (9223372036854775807)) (INTEGER * *) │ │ │ (MEMBER NIL))) │ │ │ F2CL-LIB::%REWIND)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -328,20 +335,17 @@ │ │ │ MAXIMA::GF-LOG-ERRCHK2 MAXIMA::FIXVL0 │ │ │ BIGFLOAT::|(PCL::FAST-METHOD NUMBERP (T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD COMPLEXP (T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD REALP (T))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (MEMBER │ │ │ - (RPLACD │ │ │ - MAXIMA::*SCHATC-ANS* │ │ │ - (CONS 'MAXIMA::*LOOP (CDR MAXIMA::*SCHATC-ANS*))))) │ │ │ - MAXIMA::PUSH-LOOP-CONTEXT)) │ │ │ + ((INTEGER * *) &REST T) │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ + MAXIMA::GF_N2L-IMPL MAXIMA::EF_N2L-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (VALUES &OPTIONAL (T) (T))) │ │ │ PCL::GET-OPTIMIZED-STD-SLOT-VALUE-USING-CLASS-METHOD-FUNCTION │ │ │ PCL::GET-OPTIMIZED-STD-ACCESSOR-METHOD-FUNCTION │ │ │ PCL::ACCESSOR-VALUES1 PCL::ACCESSOR-VALUES-INTERNAL │ │ │ PREGEXP::PREGEXP-READ-ESCAPED-NUMBER)) │ │ │ @@ -354,14 +358,23 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XLOOKUPCOLOR XLIB::XALLOCNAMEDCOLOR │ │ │ XLIB::XCREATEBITMAPFROMDATA)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T)) │ │ │ + (MEMBER │ │ │ + (RPLACD │ │ │ + MAXIMA::*SCHATC-ANS* │ │ │ + (CONS 'MAXIMA::*LOOP (CDR MAXIMA::*SCHATC-ANS*))))) │ │ │ + MAXIMA::PUSH-LOOP-CONTEXT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ @@ -556,14 +569,16 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION NIL (OR (SYSTEM:TRUE) (NULL))) COMPILER::REF-ENVIRONMENT │ │ │ COMPILER::EXIT-TO-FMLA-P COMPILER::MULTIPLE-VALUES-P │ │ │ COMPILER::TOP-LEVEL-SRC-P MAXIMA::VERIFY-HTML-INDEX MAXIMA::PROPG │ │ │ MAXIMA::CONTINUEP MAXIMA::FILL-IN-INVERSES │ │ │ MAXIMA::FORGET-GLOBAL-ASSUMPTIONS)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T) (INTEGER * *) (T)) (T)) MAXIMA::GF-POW)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T) (T) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -733,18 +748,14 @@ │ │ │ MAXIMA::COMPLEX-FLOAT-NUMERICAL-EVAL-P │ │ │ MAXIMA::COMPLEX-BIGFLOAT-NUMERICAL-EVAL-P MAXIMA::CARTESIAN-PRODUCT │ │ │ MAXIMA::SUM-VAR-SETS MAXIMA::$BOTHCOEF │ │ │ MAXIMA::LOAD-MACSYMA-MACROS-AT-RUNTIME MAXIMA::$UNORDER │ │ │ MAXIMA::$TAYLORINFO COMPUTE-RESTARTS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (SYSTEM:STD-INSTANCE) (T)) (VALUES)) │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (GEOMVIEW-PLOT T))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR *)) │ │ │ SYSTEM::MAKE-T-TYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ @@ -762,14 +773,24 @@ │ │ │ (SYSTEM:INTERPRETED-FUNCTION)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-SET-FUNCTION-ARGD CSTRUCT:C-SET-FUNCTION-ENV │ │ │ CSTRUCT:C-SET-FUNCTION-SELF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((INTEGER * *) (INTEGER * *)) (MEMBER -1 0 1)) │ │ │ + MAXIMA::JACOBI)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T) (T) (T) (T)) │ │ │ + (VALUES &OPTIONAL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T))) │ │ │ + MAXIMA::SUMSUM)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (OR (SIMPLE-ARRAY BIT *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)) │ │ │ &REST T) │ │ │ (INTEGER 0 1)) │ │ │ SYSTEM::BASET)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -965,19 +986,14 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE MAXIMA::TSTACK-SLOT)) (T)) │ │ │ MAXIMA::TSTACK-SLOT-MODE MAXIMA::TSTACK-SLOT-SPECIAL │ │ │ MAXIMA::TSTACK-SLOT-TBIND MAXIMA::TSTACK-SLOT-VAL-MODES)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((STRUCTURE MT19937:RANDOM-STATE)) (INTEGER 0 4294967295)) │ │ │ - MT19937:RANDOM-CHUNK)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((RANDOM-STATE)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-RANDOM-STATE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) &REST T) (OR (STRUCTURE) (MEMBER NIL))) │ │ │ PCL::FILL-CACHE)) │ │ │ @@ -1120,26 +1136,14 @@ │ │ │ (FUNCTION ((T) (T) (T) (T) (T)) NIL) │ │ │ PCL::|(FAST-METHOD SLOT-UNBOUND (T T T))| │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :BEFORE (BUILT-IN-CLASS T))| │ │ │ PCL::|(FAST-METHOD CHANGE-CLASS (STANDARD-OBJECT FUNCALLABLE-STANDARD-CLASS))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (SIMPLE-ARRAY T (*))) │ │ │ - MAXIMA::GF-X2ARRAY)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((INTEGER * *) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::GF-N2L-TWOARGS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) (T) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XLISTFONTS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -1164,15 +1168,14 @@ │ │ │ ((STRUCTURE INTL::DOMAIN-ENTRY)) (SIMPLE-ARRAY CHARACTER (*))) │ │ │ INTL::DOMAIN-ENTRY-LOCALE INTL::DOMAIN-ENTRY-DOMAIN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ PCL::|(FAST-METHOD SLOT-BOUNDP-USING-CLASS (STD-CLASS STANDARD-OBJECT STANDARD-EFFECTIVE-SLOT-DEFINITION))| │ │ │ MAXIMA::SLOW-OSCILLATION-P)) │ │ │ -(PROCLAIM '(FTYPE (FUNCTION ((T) (INTEGER * *)) (T)) MAXIMA::F2-POW)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (STRUCTURE PCL::CHECKING)) │ │ │ PCL::CHECKING-DFUN-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER -1 1)) MAXIMA::MRV-SIGN-ATAN │ │ │ @@ -2288,31 +2291,32 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER * *) (INTEGER 0 *) (INTEGER 0 *)) (INTEGER * *)) │ │ │ SYSTEM::POWM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((OR (SIMPLE-ARRAY LONG-FLOAT *) NIL) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT *) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (VALUES &REST T)) │ │ │ + MAXIMA::SORT-NGONS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T)) (T)) SYSTEM::NTP-LIST │ │ │ XLIB:WINDOW-DRAW-LATEX-XY │ │ │ PCL::|(FAST-METHOD FIND-METHOD (STANDARD-GENERIC-FUNCTION T T))| │ │ │ PCL::LOAD-DEFCLASS │ │ │ PCL::|(FAST-METHOD (SETF SLOT-VALUE-USING-CLASS) (T STD-CLASS STANDARD-OBJECT STANDARD-EFFECTIVE-SLOT-DEFINITION))| │ │ │ PCL::REAL-LOAD-DEFCLASS MAXIMA::FILL-ROW MAXIMA::DSUMPROD │ │ │ MAXIMA::ZGCD-LIFT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (OR (SIMPLE-ARRAY FIXNUM *) NIL) (OR (SIMPLE-ARRAY FIXNUM *) NIL)) │ │ │ - (OR (SIMPLE-ARRAY FIXNUM 1) (MEMBER NIL))) │ │ │ - MAXIMA::PERMUTATION-LEX-SUCCESSOR)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T) (T)) (VALUES (T) (T) (T) (T))) │ │ │ MAXIMA::GETFNCOEFF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (AND │ │ │ @@ -2351,23 +2355,15 @@ │ │ │ COUNT-IF-NOT COUNT-IF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::PV-TABLE)) PCL::MAKE-PV-TABLE │ │ │ PCL::|__si::MAKE-PV-TABLE|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) &REST T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ - (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ - (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ - MAXIMA::COERCE-MAXIMA-FUNCTION-OR-MAXIMA-LAMBDA │ │ │ - MAXIMA::COERCE-LISP-FUNCTION-OR-LISP-LAMBDA)) │ │ │ + (FUNCTION ((T)) (OR (INTEGER 0 1) (MEMBER NIL))) MAXIMA::OPIDENT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SHORT-FLOAT * *) (LONG-FLOAT * *) │ │ │ @@ -2436,29 +2432,28 @@ │ │ │ (NULL))) │ │ │ SLATEC::ZWRSK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (OR (INTEGER 0 *) (MEMBER NIL))) MAXIMA::NOTERMS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T) (T) (T) (T) (T)) (VALUES (T) (T) (T))) │ │ │ + MAXIMA::GF-DLOG-F)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR │ │ │ (LONG-FLOAT * *) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ MAXIMA::CHEBY-PRIME MT19937:%RANDOM-SINGLE-FLOAT │ │ │ MT19937:%RANDOM-DOUBLE-FLOAT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((STRUCTURE MAXIMA::GF-DATA)) (STRUCTURE MAXIMA::GF-DATA)) │ │ │ - MAXIMA::COPY-GF-DATA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM))) │ │ │ (INTEGER 0 2147483647)) │ │ │ CSTRUCT:C-SYMBOL-PAD3)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) (T) │ │ │ @@ -2493,14 +2488,18 @@ │ │ │ (OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL) │ │ │ (INTEGER 0 255)) │ │ │ &REST T) │ │ │ (SIMPLE-ARRAY CHARACTER (*))) │ │ │ STRING-UPCASE STRING-DOWNCASE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE MAXIMA::TC-STATE)) (INTEGER * *)) │ │ │ + MAXIMA::TC-STATE-NVARS MAXIMA::TC-STATE-NCOSETS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T)) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ SYSTEM::MERGE-WORD SYSTEM::SET-BIT-ARRAY-FIXNUM │ │ │ SYSTEM::BIT-ARRAY-FIXNUM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -2518,39 +2517,33 @@ │ │ │ (&REST T) │ │ │ (OR │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL))) │ │ │ SYSTEM:MAKE-FUNCTION-PLIST MAXIMA::$SETELMX MAXIMA::$ZN_NTH_ROOT │ │ │ MAXIMA::$ZN_MULT_TABLE MAXIMA::$ZN_POWER_TABLE)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T) (T)) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ + MAXIMA::GNUPLOT-CURVE-STYLE)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T)) (INTEGER 0 70368744177663)) CSTRUCT:C-T-CFW)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) (T)) │ │ │ (T)) │ │ │ MAXIMA::*F-MAYBE-NORMAL-BASIS)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (VALUES │ │ │ - (INTEGER * *) │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::GF-ORD-BY-TABLE)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T)) (VALUES (T) (T) (T) (T))) SYSTEM::UNBND)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) │ │ │ - MT19937::INT-INIT-RANDOM-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *)) │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *))) │ │ │ @@ -2848,14 +2841,20 @@ │ │ │ TRANSLATE-PATHNAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((INTEGER 0 *) (INTEGER * *)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ LOGBITP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + (&REST T) │ │ │ + (OR (MEMBER NIL) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER T))) │ │ │ + MAXIMA::NUMERICAL-EVAL-P)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER (MAXIMA::PEEK-ONE-TOKEN))) │ │ │ MAXIMA::FIRST-C)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) (MEMBER (CONS (INCF COMPILER::*LAST-LABEL*) NIL))) │ │ │ COMPILER::NEXT-LABEL)) │ │ │ @@ -2929,42 +2928,32 @@ │ │ │ (SETQ │ │ │ MAXIMA::TEXT NIL MAXIMA::DISPLA-P NIL MAXIMA::PRE-%-P NIL │ │ │ MAXIMA::POST-%-P NIL)))) │ │ │ MAXIMA::OUTPUT-TEXT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ - (VALUES (OR (SYSTEM:TRUE) (NULL)) (MEMBER "must be a string"))) │ │ │ - MAXIMA::STRING-PREDICATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T) (T) (T) (INTEGER * *)) (T)) INTL:DNGETTEXT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (VALUES │ │ │ &OPTIONAL (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (STRUCTURE PCL::CACHING) (STRUCTURE PCL::DISPATCH) │ │ │ (STRUCTURE PCL::CONSTANT-VALUE)) │ │ │ (MEMBER NIL)))) │ │ │ PCL::MAKE-FINAL-CACHING-DFUN)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T) (T) (T) (INTEGER * *)) (T)) INTL:DNGETTEXT)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ COMPILER::MF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((INTEGER 0 *) (INTEGER 0 *)) (INTEGER * *)) │ │ │ - MAXIMA::DIVSUM)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (AND │ │ │ (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ (NOT (OR (SYSTEM:TRUE) (NULL)))) │ │ │ (OR │ │ │ (OR │ │ │ @@ -3007,19 +2996,14 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (VALUES)) SYSTEM::DBL-BACKTRACE │ │ │ SYSTEM::BREAK-QUIT PCL::LIST-LARGE-CACHES MAXIMA::BREAK-FRAME │ │ │ MAXIMA::$ROOM MAXIMA::ROOM-IMPL ROOM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((STRUCTURE MAXIMA::EF-DATA)) (STRUCTURE MAXIMA::EF-DATA)) │ │ │ - MAXIMA::COPY-EF-DATA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER 0 *)) SYSTEM::BTP-COUNT │ │ │ COMPILER::CONS-COUNT COMPILER::MLL ANSI-LOOP::DESTRUCTURING-SIZE │ │ │ MAXIMA::NESTLEV MAXIMA::CONSSIZE MAXIMA::COMPLEXITY │ │ │ MAXIMA::TAYLOR-E-SIZE MAXIMA::ERROR-SIZE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T)) (INTEGER 0 33554431)) CSTRUCT:C-T-FW)) │ │ │ (PROCLAIM │ │ │ @@ -3036,30 +3020,14 @@ │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ SYSTEM:FUNCALLABLE-SYMBOL-FUNCTION MAXIMA::DEFS MAXIMA::DEFC │ │ │ MAXIMA::DEFA)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (OR │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::FFIB)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((INTEGER 0 268435454) &REST T) │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ @@ -3079,14 +3047,19 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ SYSTEM::NSYMS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((STRUCTURE MAXIMA::TC-STATE)) (STRUCTURE MAXIMA::TC-STATE)) │ │ │ + MAXIMA::COPY-TC-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) &REST T) │ │ │ (VALUES │ │ │ &OPTIONAL (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (STRUCTURE PCL::CHECKING) (STRUCTURE PCL::ONE-CLASS) │ │ │ (STRUCTURE PCL::DISPATCH) (STRUCTURE PCL::CACHING) │ │ │ @@ -3124,19 +3097,14 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ &REST T) │ │ │ (INTEGER 0 268435454)) │ │ │ ARRAY-ROW-MAJOR-INDEX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE MAXIMA::TC-STATE)) (T)) │ │ │ - MAXIMA::TC-STATE-SUBGROUP-GENERATORS MAXIMA::TC-STATE-ROW1-RELATIONS │ │ │ - MAXIMA::TC-STATE-MULTIPLY-TABLE MAXIMA::TC-STATE-RELATIONS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) (VALUES (OR (SYSTEM:TRUE) (NULL)) (T) (T))) │ │ │ MAXIMA::ORDER-LIMITS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -3185,19 +3153,34 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) (T)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XLOADQUERYFONT XLIB::XLOADFONT XLIB::XINITEXTENSION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (VALUES │ │ │ + (INTEGER * *) │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::GF-ORD-BY-TABLE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (MEMBER MAXIMA::$NO MAXIMA::$YES)) │ │ │ MAXIMA::EXP-CONVERG-FORM MAXIMA::SPECIAL-CONVERGENT-FORMP │ │ │ MAXIMA::IN-INTERVAL MAXIMA::SC-CONVERG-FORM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE MAXIMA::TC-STATE)) (T)) │ │ │ + MAXIMA::TC-STATE-SUBGROUP-GENERATORS MAXIMA::TC-STATE-ROW1-RELATIONS │ │ │ + MAXIMA::TC-STATE-MULTIPLY-TABLE MAXIMA::TC-STATE-RELATIONS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER (CDAR MAXIMA::KEY-VARS))) │ │ │ MAXIMA::DUMMY-VAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (INTEGER 1 1) (MEMBER NIL))) │ │ │ @@ -3378,18 +3361,14 @@ │ │ │ CSTRUCT:*OBJECT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (OR (INTEGER 0 12) (MEMBER NIL))) │ │ │ PCL::WRAPPER-FIELD)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (VALUES &OPTIONAL (LONG-FLOAT * *) (NULL))) │ │ │ - MAXIMA::ERF)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) (LONG-FLOAT * *) │ │ │ (LONG-FLOAT * *) (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES │ │ │ &OPTIONAL (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -3417,44 +3396,34 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ NIL (OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL)) │ │ │ XLIB::SAFE-CHAR MAXIMA::TYI*)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + ((T) (T)) │ │ │ + (VALUES │ │ │ + &OPTIONAL (T) │ │ │ (OR │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::GF-DLOG-BABY-GIANT MAXIMA::DLOG-BABY-GIANT MAXIMA::DLOG-RHO │ │ │ - MAXIMA::GF-DLOG-RHO-BRENT)) │ │ │ + (OR │ │ │ + (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL)) │ │ │ + (T) (T) (T) (T))) │ │ │ + MAXIMA::PRINT-ONE-FRAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (SYSTEM:STD-INSTANCE)) │ │ │ (OR │ │ │ (INTEGER 1 *) (RATIO (1) *) (SHORT-FLOAT 1.0S0 *) │ │ │ (LONG-FLOAT 1.0 *))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAX-EXPONENT (COMPLEX-BIGFLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T)) (OR (INTEGER 0 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::SIMP-CHARFUN MAXIMA::SIMP-KRON-DELTA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ (OR │ │ │ (OR │ │ │ @@ -3462,14 +3431,31 @@ │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ (SYSTEM::FILE-SYNONYM-STREAM)))) │ │ │ (SYSTEM:TRUE)) │ │ │ DELETE-FILE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (T) (T)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::GF-DLOG-BABY-GIANT MAXIMA::DLOG-BABY-GIANT MAXIMA::DLOG-RHO │ │ │ + MAXIMA::GF-DLOG-RHO-BRENT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T)) │ │ │ (VALUES │ │ │ &OPTIONAL │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) (LONG-FLOAT * *) │ │ │ @@ -3488,25 +3474,44 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((STRUCTURE SYSTEM::INSTREAM)) (STRUCTURE SYSTEM::INSTREAM)) │ │ │ SYSTEM::COPY-INSTREAM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::LOG-GAMMA-LANCZOS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (VALUES │ │ │ &OPTIONAL │ │ │ (OR │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION) │ │ │ (SYSTEM::IMPROPER-CONS (T) (T)) (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) (SYSTEM:INTERPRETED-FUNCTION)) │ │ │ (NULL))) │ │ │ PCL::EMIT-ONE-OR-N-INDEX-READER/WRITER PCL::EMIT-READER/WRITER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION NIL (STRUCTURE MAXIMA::GF-DATA)) MAXIMA::GF_GET_DATA-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T)) (NULL)) │ │ │ COMPILER::T3DEFUN-LOCAL-ENTRY COMPILER::C2STRUCTURE-SET │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :AFTER (STD-CLASS T))| │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :AFTER (STRUCTURE-CLASS T))| │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :AFTER (STRUCTURE-SLOT-DEFINITION T))| │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :BEFORE (STANDARD-METHOD T))| │ │ │ PCL::|(FAST-METHOD SHARED-INITIALIZE :BEFORE (STANDARD-ACCESSOR-METHOD T))| │ │ │ @@ -3556,14 +3561,15 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (VALUES │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ MAXIMA::NON-NEGATIVE-SPLIT)) │ │ │ +(PROCLAIM '(FTYPE (FUNCTION ((T) (INTEGER * *)) (T)) MAXIMA::F2-POW)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) &REST T) │ │ │ (VALUES │ │ │ (T) (MEMBER :SHORT :LONG :ARG) (T) │ │ │ (OR │ │ │ @@ -3691,26 +3697,49 @@ │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP)) │ │ │ &REST T) │ │ │ (VALUES (T) (OR (SYSTEM:TRUE) (NULL)))) │ │ │ GETHASH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ + (T) &REST T) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::SPLIT-STRING)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T)) (SIMPLE-ARRAY CHARACTER (*))) │ │ │ COMPILER::STUB COMPILER::NVFUN-WRAP COMPILER::MOD-ARGSTR │ │ │ COMPILER::INSUFFICIENT-ARG-STR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (STRUCTURE) (SYSTEM:STD-INSTANCE))) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-STRSTD-SSELF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:PROPER-CONS (T) (T)) (SHORT-FLOAT * *) (INTEGER * *) │ │ │ + (RATIO * *) (LONG-FLOAT * *) (SYSTEM::IMPROPER-CONS (T) (T)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ + MAXIMA::PMINUS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -3725,39 +3754,19 @@ │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)) │ │ │ (OR (OR (INTEGER 6 6) (INTEGER 0 3)) (MEMBER NIL)) (NULL) (NULL) │ │ │ (OR (INTEGER 0 9223372036854775807) (MEMBER NIL)) (NULL) (NULL))) │ │ │ SLATEC:DQAG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:PROPER-CONS (T) (T)) (SHORT-FLOAT * *) (INTEGER * *) │ │ │ - (RATIO * *) (LONG-FLOAT * *) (SYSTEM::IMPROPER-CONS (T) (T)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ - MAXIMA::PMINUS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((RATIO * *)) (INTEGER * *)) CSTRUCT:C-RATIO-NUM │ │ │ CSTRUCT:C-RATIO-DEN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (VALUES &REST T)) │ │ │ - MAXIMA::LUCAS MAXIMA::DBM-UP)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (INTEGER * *) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ @@ -4022,50 +4031,88 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-SYMBOL-SFDEF CSTRUCT:C-SYMBOL-HASH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (VALUES (NULL) (NULL))) PCL::SAUT-PROTOTYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((STRUCTURE MAXIMA::GF-DATA)) (STRUCTURE MAXIMA::GF-DATA)) │ │ │ + MAXIMA::COPY-GF-DATA)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ SYSTEM::HTENT-KEY FPE::REG-LOOKUP XLIB:WINDOW-QUERY-POINTER │ │ │ XLIB:WINDOW-WFUNCTION XLIB:WINDOW-FOREGROUND │ │ │ XLIB:WINDOW-GET-GEOMETRY XLIB:WINDOW-GET-GEOMETRY-B │ │ │ XLIB:WINDOW-FONT-INFO XLIB:WINDOW-BACKGROUND │ │ │ XLIB:WINDOW-GET-RAW-CHAR XLIB::XSTRINGTOCONTEXT XLIB::XOPENDISPLAY │ │ │ XLIB::GET-ST-POINT XLIB::WINDOW-QUERY-POINTER-B XLIB::GET-ST-POINT2 │ │ │ XLIB::XSTRINGTOKEYSYM XLIB::XDISPLAYNAME SYSTEM:TP6 SYSTEM:TP1 │ │ │ CSTRUCT:C-CFDATA-SELF SYSTEM:TP4 SYSTEM:TP7 SYSTEM:TP2 │ │ │ CSTRUCT:C-CFDATA-START SYSTEM:TP5 SYSTEM:ADDRESS │ │ │ CSTRUCT:C-SPICE-DUMMY SYSTEM:TP8 SYSTEM:TP0 CSTRUCT:C-T-FF │ │ │ SYSTEM:TP3 SXHASH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (INTEGER * *) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (OR (SYSTEM:TRUE) (NULL))) │ │ │ + MAXIMA::GF-IRR-P)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::FAST-INSTANCE-BOUNDP)) │ │ │ PCL::MAKE-FAST-INSTANCE-BOUNDP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE SYSTEM:TAG)) (STRUCTURE SYSTEM:TAG)) │ │ │ + COMPILER::COPY-TAG)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ (SYSTEM:TRUE)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD REALP (REAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE SYSTEM:TAG)) (STRUCTURE SYSTEM:TAG)) │ │ │ - COMPILER::COPY-TAG)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER (INCF COMPILER::*NEXT-CMACRO*))) │ │ │ COMPILER::NEXT-CMACRO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (T)) │ │ │ + (VALUES │ │ │ + (INTEGER * *) │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::NXTBINCOEF)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::FFIB)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR │ │ │ (SIMPLE-ARRAY CHARACTER 1) (SYSTEM:STRING-INPUT-STREAM) │ │ │ (TWO-WAY-STREAM) (BROADCAST-STREAM) (SYSTEM::FILE-SYNONYM-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-INPUT-STREAM) │ │ │ (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME) │ │ │ (SYSTEM:FILE-OUTPUT-STREAM) (SYSTEM:FILE-PROBE-STREAM) │ │ │ (SYSTEM::NON-FILE-SYNONYM-STREAM) (CONCATENATED-STREAM) │ │ │ @@ -4077,42 +4124,40 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ (&REST T) (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM))) │ │ │ SYSTEM::CURRENT-STEP-FUN ANSI-LOOP::LOOP-GENTEMP GENSYM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) (VALUES)) │ │ │ - MT19937::RANDOM-MT19937-UPDATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ MAXIMA::NZL MAXIMA::GF-X2L MAXIMA::P2CPOL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ - MAXIMA::MAKE_RANDOM_STATE-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ (VALUES │ │ │ &OPTIONAL (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (STRUCTURE PCL::CHECKING) (STRUCTURE PCL::CACHING) │ │ │ (STRUCTURE PCL::DISPATCH) (STRUCTURE PCL::CONSTANT-VALUE) │ │ │ (STRUCTURE PCL::DEFAULT-METHOD-ONLY)) │ │ │ (MEMBER NIL)))) │ │ │ PCL::MAKE-FINAL-CHECKING-DFUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER * *) (INTEGER * *) (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:PROPER-CONS (T) (T))) │ │ │ + MAXIMA::GCTIMES)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T)) │ │ │ (MEMBER (LIST (LIST 'MAXIMA::MDO) NIL NIL NIL NIL NIL NIL NIL))) │ │ │ MAXIMA::MAKE-MDO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ @@ -4174,15 +4219,16 @@ │ │ │ (FUNCTION │ │ │ ((OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME))) │ │ │ (OR │ │ │ (MEMBER :UNSPECIFIC) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER NIL))) │ │ │ CSTRUCT:C-PATHNAME-DIRECTORY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) &REST T) (INTEGER * *)) MAXIMA::TODD_COXETER-IMPL)) │ │ │ + (FUNCTION ((T)) (OR (INTEGER 0 268435452) (MEMBER NIL))) │ │ │ + COMPILER::STACK-SPACE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ @@ -4202,18 +4248,14 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ &REST T) │ │ │ (T)) │ │ │ SYSTEM:ASET)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (OR (INTEGER 0 268435452) (MEMBER NIL))) │ │ │ - COMPILER::STACK-SPACE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (BROADCAST-STREAM) (CONCATENATED-STREAM) (ECHO-STREAM) │ │ │ (OR │ │ │ (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ (OR (SYSTEM:STRING-INPUT-STREAM) (SYSTEM:STRING-OUTPUT-STREAM)) │ │ │ @@ -4234,19 +4276,14 @@ │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -2147483648 2147483647)) │ │ │ (INTEGER -128 127)) │ │ │ XLIB::CHAR-POS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((STRUCTURE MAXIMA::TC-STATE)) (STRUCTURE MAXIMA::TC-STATE)) │ │ │ - MAXIMA::COPY-TC-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T)) (SYSTEM:FUNCALLABLE-STD-INSTANCE)) │ │ │ PCL::|(FAST-METHOD ALLOCATE-INSTANCE (FUNCALLABLE-STANDARD-CLASS))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (VALUES │ │ │ @@ -4349,42 +4386,27 @@ │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -2147483648 2147483647) (INTEGER -2147483648 2147483647)) │ │ │ (T)) │ │ │ XLIB::SET-INT-ARRAY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T) (T) (T)) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ - MAXIMA::GNUPLOT-PLOT3D-COMMAND)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)) (T)) │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD RANDOM (COMMON-LISP:FLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (LONG-FLOAT 0.0 *)) │ │ │ F2CL-LIB:CDABS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) (T) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807) (T) (T)) │ │ │ - (OR (SYSTEM:TRUE) (NULL))) │ │ │ - MAXIMA::GF-PRIMPOLY-P2)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::ARG-INFO)) (STRUCTURE PCL::ARG-INFO)) │ │ │ PCL::COPY-ARG-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T) (T)) (MEMBER -1 0 1)) MAXIMA::COMPLM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::ONE-INDEX-DFUN-INFO)) │ │ │ @@ -4416,14 +4438,22 @@ │ │ │ (FUNCTION ((T)) (INTEGER 0 1)) COMPILER::F-TYPE CSTRUCT:C-T-PD1 │ │ │ CSTRUCT:C-T-M CSTRUCT:C-CFDATA-PROF CSTRUCT:C-T-MHASFILLP │ │ │ CSTRUCT:C-T-MADJUSTABLE CSTRUCT:C-T-F CSTRUCT:C-T-MWRITABLE │ │ │ CSTRUCT:C-T-H CSTRUCT:C-T-E)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (SHORT-FLOAT 0.0S0 (360.0S0)) (INTEGER 0 359) (RATIO (0) (360)) │ │ │ + (LONG-FLOAT 0.0 (360.0)))) │ │ │ + MAXIMA::PARSE-AZIMUTH)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ @@ -4803,19 +4833,14 @@ │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ STRING-LEFT-TRIM STRING-RIGHT-TRIM STRING-TRIM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ - MAXIMA::$MAKE_RANDOM_STATE MT19937:MAKE-RANDOM-STATE │ │ │ - MT19937::MAKE-RANDOM-OBJECT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T) (T) &REST T) (T)) │ │ │ XLIB:WINDOW-DRAW-ARC-XY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T)) (INTEGER 0 239)) COMPILER::UNSET-VAR-ALIASED)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -4977,14 +5002,20 @@ │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ WILD-PATHNAME-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T)) (LONG-FLOAT * *)) MAXIMA::FPCOFRAT1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((STRUCTURE MT19937:RANDOM-STATE)) │ │ │ + (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ + MT19937::COPY-RANDOM-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T)) │ │ │ (NOT │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER 1) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)))) │ │ │ SYSTEM::VERSION-PARSE SYSTEM::CANONICALIZE-PATHNAME-DIRECTORY)) │ │ │ (PROCLAIM │ │ │ @@ -5057,24 +5088,14 @@ │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAX-EXPONENT (COMMON-LISP:COMPLEX))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - (&REST T) │ │ │ - (OR │ │ │ - (MEMBER MAXIMA::$NOTCOMPARABLE MAXIMA::$UNKNOWN) │ │ │ - (OR │ │ │ - (MEMBER ">=") (MEMBER "<=") (MEMBER "=") (MEMBER "<") │ │ │ - (MEMBER ">") (MEMBER "=") (MEMBER "#")))) │ │ │ - MAXIMA::$COMPARE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (SYSTEM:STD-INSTANCE) (OR (INTEGER * *) (RATIO * *))) │ │ │ (VALUES &REST T)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-COMPLEX (BIGFLOAT COMMON-LISP:RATIONAL))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-ATAN (BIGFLOAT COMMON-LISP:RATIONAL))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG->= (BIGFLOAT COMMON-LISP:RATIONAL))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-<= (BIGFLOAT COMMON-LISP:RATIONAL))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-> (BIGFLOAT COMMON-LISP:RATIONAL))| │ │ │ @@ -5091,20 +5112,14 @@ │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL))) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ TAILP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - (&REST T) │ │ │ - (VALUES (OR (SYSTEM:TRUE) (NULL)) (OR (INTEGER * *) (MEMBER NIL)))) │ │ │ - MAXIMA::GF-POWER-TABLE-ARGS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) &REST T) (T)) COMPILER::T3DEFUN │ │ │ COMPILER::T2DEFUN XLIB:WINDOW-DRAW-ARROW2-XY │ │ │ XLIB:WINDOW-DRAW-ARROWHEAD-XY XLIB:WINDOW-ERASE-BOX-XY │ │ │ XLIB:WINDOW-DRAW-BOX-XY XLIB:WINDOW-DRAW-LINE-XY │ │ │ XLIB:WINDOW-DRAW-ELLIPSE-XY XLIB:WINDOW-DRAW-ARROW-XY │ │ │ XLIB:WINDOW-DRAW-BOX-CORNERS XLIB:WINDOW-EDIT XLIB:WINDOW-XOR-BOX-XY │ │ │ PCL::GET-SECONDARY-DISPATCH-FUNCTION1 MAXIMA::DOSUM)) │ │ │ @@ -5290,14 +5305,18 @@ │ │ │ (VALUES │ │ │ &OPTIONAL (NULL) (NULL) (NULL) (NULL) (NULL) │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)))) │ │ │ SLATEC:DBESI SLATEC:DBESK SLATEC::DBSKNU)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION (&REST T) (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) │ │ │ + MT19937::INT-INIT-RANDOM-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ @@ -5486,23 +5505,14 @@ │ │ │ PCL::|(FAST-METHOD SAME-SPECIALIZER-P (CLASS-EQ-SPECIALIZER CLASS-EQ-SPECIALIZER))| │ │ │ PCL::|(FAST-METHOD SAME-SPECIALIZER-P (EQL-SPECIALIZER EQL-SPECIALIZER))| │ │ │ MAXIMA::ZN-PRIMROOT-P MAXIMA::MAYBE-BREAK MAXIMA::ZEROP/ROW │ │ │ MAXIMA::COMPATVARLIST MAXIMA::*F-PRIM-P-1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T) (T)) (VALUES &REST T)) │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT2D-COMMAND (GNUPLOT-PLOT T T T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (GNUPLOT-PLOT T T T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT2D-COMMAND (XMAXIMA-PLOT T T T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (XMAXIMA-PLOT T T T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (GEOMVIEW-PLOT T T T))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((AND │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ @@ -5525,14 +5535,17 @@ │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY T (*)))))) │ │ │ (INTEGER 0 268435455)) │ │ │ CSTRUCT:C-ADJVECTOR-FILLP FILL-POINTER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION (&REST T) (STRUCTURE SYSTEM:S-DATA)) SYSTEM::MAKE-S-DATA)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP)) │ │ │ (INTEGER 0 4294967295)) │ │ │ (INTEGER 0 4294967295)) │ │ │ CSTRUCT:C-SET-HASHTABLE-PAD4)) │ │ │ @@ -5565,31 +5578,33 @@ │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SHORT-FLOAT * 0.0S0) (LONG-FLOAT * 0.0) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-LOG (NUMBER NUMBER))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE SYSTEM:S-DATA)) SYSTEM::MAKE-S-DATA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (OR │ │ │ (MEMBER │ │ │ MAXIMA::MTIMES MAXIMA::MABS MAXIMA::MEXPT MAXIMA::MEXPRAT) │ │ │ (MEMBER NIL))) │ │ │ MAXIMA::EASY-CASES)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (MEMBER MAXIMA::$NOT_DONE MAXIMA::$DONE)) │ │ │ MAXIMA::$KILLCONTEXT MAXIMA::KILLCONTEXT-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + (&REST T) (OR (LONG-FLOAT * *) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::$EXPINT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((LONG-FLOAT * *) (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES &OPTIONAL (LONG-FLOAT * *) (NULL) (NULL) (NULL))) │ │ │ SLATEC::DCSEVL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -5657,39 +5672,14 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ (INTEGER 0 268435454)) │ │ │ (OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL)) │ │ │ CHAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - (&REST T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SIMPLE-ARRAY BIT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ - (SIMPLE-ARRAY FIXNUM (*))) │ │ │ - (OR │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)))) │ │ │ - MT19937:INIT-RANDOM-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T)) │ │ │ (OR (SIMPLE-ARRAY CHARACTER 1) (MEMBER NIL))) │ │ │ COMPILER::MAYBE-UNROLL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ @@ -5761,16 +5751,14 @@ │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)) │ │ │ (T) (T)) │ │ │ (VALUES │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T) (T))) │ │ │ PCL::COMPUTE-DISCRIMINATING-FUNCTION-ARGLIST-INFO-INTERNAL)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T)) (INTEGER -12552 12552)) MAXIMA::OPT-HASH)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (INTEGER 0 0) (MEMBER NIL))) │ │ │ MAXIMA::STATUS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -6541,17 +6529,17 @@ │ │ │ (OR (MEMBER NIL) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER T)))) │ │ │ COMPILE-FILE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION (&REST T) (INTEGER 53 53)) MAXIMA::$FLOAT_BITS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (VALUES &OPTIONAL (T) (T) (T) (T) (T) (T))) │ │ │ - MAXIMA::FRAME-INFO)) │ │ │ + ((T) (T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (VALUES &REST T)) │ │ │ + MAXIMA::GF-PRIMPOLY-P MAXIMA::COPY_PTS-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ @@ -6566,21 +6554,14 @@ │ │ │ (KEYWORD) (SIMPLE-ARRAY CHARACTER 1) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) (MEMBER NIL))) │ │ │ PATHNAME-DEVICE PATHNAME-NAME PATHNAME-HOST PATHNAME-VERSION │ │ │ PATHNAME-TYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (VALUES &REST T)) │ │ │ - MAXIMA::FRAC-EXPINTEGRAL-E)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ (OR │ │ │ (MEMBER :UNSPECIFIC) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER NIL))) │ │ │ (OR │ │ │ (MEMBER :UNSPECIFIC) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER NIL))) │ │ │ CSTRUCT:C-SET-PATHNAME-DIRECTORY)) │ │ │ (PROCLAIM │ │ │ @@ -7087,16 +7068,17 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((STRUCTURE INTL::DOMAIN-ENTRY)) (STRUCTURE INTL::DOMAIN-ENTRY)) │ │ │ INTL::COPY-DOMAIN-ENTRY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - (&REST T) (OR (LONG-FLOAT * *) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::$EXPINT)) │ │ │ + ((T) (T) (T) (T)) │ │ │ + (OR (MEMBER MAXIMA::$NO MAXIMA::$YES) (MEMBER NIL))) │ │ │ + MAXIMA::LIMIT-POLE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *) │ │ │ @@ -7128,20 +7110,14 @@ │ │ │ SYSTEM:WRITE-SYS-PROCLAIMS XLIB::PRINTINDEX XLIB::MAKECONT │ │ │ ITERATE::MAYBE-WARN PCL::INITIALIZE-INTERNAL-SLOT-GFS │ │ │ MAXIMA::OUTPUT-POINTS MAXIMA::TRFAIL MAXIMA::WARN-FEXPR │ │ │ MAXIMA::MYPRINC MAXIMA::TR-FORMAT WARN SIGNAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T)) │ │ │ - (OR (MEMBER MAXIMA::$NO MAXIMA::$YES) (MEMBER NIL))) │ │ │ - MAXIMA::LIMIT-POLE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (MEMBER NIL) │ │ │ (OR │ │ │ (MEMBER (&BODY)) (MEMBER (&WHOLE &ENVIRONMENT &BODY)) │ │ │ (MEMBER (&ALLOW-OTHER-KEYS &AUX &WHOLE &ENVIRONMENT &BODY)) │ │ │ (MEMBER │ │ │ @@ -7417,37 +7393,29 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (T)) │ │ │ XLIB::XQUERYTEXTEXTENTS16 XLIB::XCHANGEPROPERTY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((OR (SIMPLE-ARRAY LONG-FLOAT *) NIL) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT *) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (VALUES &REST T)) │ │ │ - MAXIMA::SORT-NGONS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) &REST T) │ │ │ (T)) │ │ │ MACRO-FUNCTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION NIL (INTEGER -9223372036854775808 9223372036854775808)) │ │ │ + SYSTEM::THIS-TZ)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (SYSTEM:STD-INSTANCE) (T)) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAKE-LOAD-FORM (COMPLEX-BIGFLOAT))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAKE-LOAD-FORM (BIGFLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION NIL (INTEGER -9223372036854775808 9223372036854775808)) │ │ │ - SYSTEM::THIS-TZ)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ SYSTEM:C-DOUBLE-==)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -7461,26 +7429,14 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XGEOMETRY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (VALUES │ │ │ - &OPTIONAL (T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL)) │ │ │ - (T) (T) (T) (T))) │ │ │ - MAXIMA::PRINT-ONE-FRAME)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) &REST T) (MEMBER MAXIMA::$DONE)) │ │ │ MAXIMA::SETUP_AUTOLOAD-IMPL MAXIMA::FORTRAN-PRINT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (OR (INTEGER 0 281474976710655) (MEMBER NIL))) │ │ │ SYSTEM::PUT-CONTROL-STRING)) │ │ │ (PROCLAIM │ │ │ @@ -7535,22 +7491,26 @@ │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ CSTRUCT:C-SET-CFDATA-NAME)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T) (T)) (MEMBER '(2 . 1))) MAXIMA::RCTWO)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (SYSTEM:STD-INSTANCE)) (SYSTEM:TRUE)) │ │ │ - BIGFLOAT::|(PCL::FAST-METHOD NUMBERP (COMPLEX-BIGFLOAT))| │ │ │ - BIGFLOAT::|(PCL::FAST-METHOD NUMBERP (BIGFLOAT))| │ │ │ - BIGFLOAT::|(PCL::FAST-METHOD COMPLEXP (COMPLEX-BIGFLOAT))| │ │ │ - BIGFLOAT::|(PCL::FAST-METHOD REALP (BIGFLOAT))|)) │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (MEMBER (MAXIMA::$PZ)) │ │ │ + (MEMBER (MAXIMA::$POS MAXIMA::$ZERO MAXIMA::$PZ)) │ │ │ + (MEMBER (MAXIMA::$ZERO MAXIMA::$PZ))) │ │ │ + (MEMBER NIL))) │ │ │ + MAXIMA::NONNEGATIVE-INTEGERP)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T) (T)) (MEMBER '(2 . 1))) MAXIMA::RCTWO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER 0 7)) SYSTEM::ARRAY-OFFSET │ │ │ CSTRUCT:C-T-MELTSIZE CSTRUCT:C-T-ST CSTRUCT:C-T-MOFFSET │ │ │ CSTRUCT:C-T-EMF CSTRUCT:C-T-MELTMODE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -7568,35 +7528,37 @@ │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ (STRUCTURE INTL::DOMAIN-ENTRY)) │ │ │ (T)) │ │ │ INTL::DOMAIN-LOOKUP-PLURAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ - COMPILER::DASH-TO-UNDERSCORE)) │ │ │ + (FUNCTION ((T) (T) (SYSTEM:STD-INSTANCE)) (SYSTEM:TRUE)) │ │ │ + BIGFLOAT::|(PCL::FAST-METHOD NUMBERP (COMPLEX-BIGFLOAT))| │ │ │ + BIGFLOAT::|(PCL::FAST-METHOD NUMBERP (BIGFLOAT))| │ │ │ + BIGFLOAT::|(PCL::FAST-METHOD COMPLEXP (COMPLEX-BIGFLOAT))| │ │ │ + BIGFLOAT::|(PCL::FAST-METHOD REALP (BIGFLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (INTEGER * -9223372036854775809) (INTEGER 9223372036854775808 *)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-SET-BIGNUM-MPZ_T)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - MAXIMA::EXPINTEGRAL-SI MAXIMA::EXPINTEGRAL-CI)) │ │ │ + ((OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ + COMPILER::DASH-TO-UNDERSCORE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ @@ -7957,20 +7919,14 @@ │ │ │ (VALUES │ │ │ &OPTIONAL (T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T) (T) │ │ │ (T))) │ │ │ PCL::PARSE-METHOD-GROUP-SPECIFIER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (OR (MEMBER MAXIMA::FLOAT MAXIMA::BIGFLOAT) (MEMBER NIL))) │ │ │ - MAXIMA::USE-FLOAT-HYPERGEOMETRIC-NUMERICAL-EVAL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((AND │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ (SIMPLE-ARRAY BIT *) (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR *) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR *) │ │ │ (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR *) │ │ │ @@ -8008,16 +7964,14 @@ │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY BIT *)))))) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-MATRIX-DIMS)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T) (INTEGER * *) (T)) (T)) MAXIMA::GF-POW)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL)) │ │ │ (T)) │ │ │ @@ -8031,22 +7985,14 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (MEMBER ELT SBIT BIT SCHAR CHAR SVREF AREF)) │ │ │ ITERATE::SEQUENCE-ACCESSOR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) &REST T) │ │ │ - (OR │ │ │ - (LONG-FLOAT * *) (INTEGER * *) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ - MT19937:RANDOM)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION)) │ │ │ (T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ (T)) │ │ │ @@ -9052,21 +8998,14 @@ │ │ │ (SIMPLE-ARRAY CHARACTER (*)) (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY T (*)))))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ CSTRUCT:C-ADJARRAY-DISPLACED)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER * *) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (T)) │ │ │ - (SIMPLE-ARRAY T (*))) │ │ │ - MAXIMA::GF-X^P-POWERS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ @@ -9105,25 +9044,14 @@ │ │ │ (FUNCTION ((SHORT-FLOAT * *) (SHORT-FLOAT * *)) (SHORT-FLOAT * *)) │ │ │ |libm|:|powf| |libm|:|atan2f|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (SIMPLE-ARRAY BIT (128))) SYSTEM::MAKE-BTP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (MEMBER (MAXIMA::$PZ)) │ │ │ - (MEMBER (MAXIMA::$POS MAXIMA::$ZERO MAXIMA::$PZ)) │ │ │ - (MEMBER (MAXIMA::$ZERO MAXIMA::$PZ))) │ │ │ - (MEMBER NIL))) │ │ │ - MAXIMA::NONNEGATIVE-INTEGERP)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((LONG-FLOAT 0.0 *)) (LONG-FLOAT 0.0 *)) F2CL-LIB:DSQRT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE MAXIMA::MGENARRAY)) │ │ │ MAXIMA::MAKE-MGENARRAY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -9151,14 +9079,24 @@ │ │ │ (SYSTEM::IMPROPER-CONS (T) (T)) (MEMBER T))) │ │ │ SYSTEM::ICONS SYSTEM::INT^ MAXIMA::BRANCH MAXIMA::BRANCH1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((SIMPLE-ARRAY CHARACTER (*))) (NULL)) SLATEC::XERHLT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T) (T)) │ │ │ + (VALUES │ │ │ + &OPTIONAL (INTEGER * *) │ │ │ + (OR │ │ │ + (LONG-FLOAT * *) (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ + (MEMBER NIL)))) │ │ │ + MAXIMA::CONF1)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION NIL (SYSTEM:PROPER-CONS (T) (T))) │ │ │ SYSTEM::READ-EVALUATED-FORM COMPILER::CURRENT-ENV │ │ │ COMPILER::FUNS-TO-MACROLET-ENV SLOOP::PARSE-LOOP-DO │ │ │ SLOOP::PARSE-ONE-WHEN-CLAUSE SLOOP::PARSE-LOOP-WHEN │ │ │ MAXIMA::GF-MAKE-LOGS MAXIMA::$BIGFLOAT_EPS │ │ │ MAXIMA::GET_TEX_ENVIRONMENT_DEFAULT-IMPL │ │ │ MAXIMA::TR_WARNINGS_GET-IMPL MAXIMA::GF_INFOLIST-IMPL │ │ │ @@ -9169,21 +9107,14 @@ │ │ │ (FUNCTION ((T) (INTEGER 0 1)) (INTEGER 0 1)) CSTRUCT:C-SET-T-E │ │ │ CSTRUCT:C-SET-T-M CSTRUCT:C-SET-T-MHASFILLP │ │ │ CSTRUCT:C-SET-T-MWRITABLE CSTRUCT:C-SET-T-F CSTRUCT:C-SET-T-H │ │ │ CSTRUCT:C-SET-CFDATA-PROF CSTRUCT:C-SET-T-MADJUSTABLE │ │ │ CSTRUCT:C-SET-T-PD1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE MAXIMA::GF-DATA)) (T)) MAXIMA::GF-DATA-FSX │ │ │ - MAXIMA::GF-DATA-EXP MAXIMA::GF-DATA-ORD MAXIMA::GF-DATA-FS-ORD │ │ │ - MAXIMA::GF-DATA-RED MAXIMA::GF-DATA-FSX-BASE-P MAXIMA::GF-DATA-CHAR │ │ │ - MAXIMA::GF-DATA-CARD MAXIMA::GF-DATA-X^P-POWERS │ │ │ - MAXIMA::GF-DATA-PRIM)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ @@ -9206,14 +9137,18 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ SIGNUM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T) (T)) (VALUES)) INTL::READ-NESTED-COMMENT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T) &REST T) (VALUES &OPTIONAL (T) (T) (T))) │ │ │ + BIGFLOAT::FIND-ROOT-SUBR)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ @@ -9303,16 +9238,20 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ MAXIMA::CRF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T) &REST T) (VALUES &OPTIONAL (T) (T) (T))) │ │ │ - BIGFLOAT::FIND-ROOT-SUBR)) │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (VALUES │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (T))) │ │ │ + SYSTEM::INFO-SUBFILE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (VALUES (T) (NOT (MEMBER NIL)) (STRUCTURE PCL::CONSTANT-VALUE))) │ │ │ PCL::MAKE-FINAL-CONSTANT-VALUE-DFUN)) │ │ │ (PROCLAIM │ │ │ @@ -9336,19 +9275,19 @@ │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (LONG-FLOAT -1.5707963267948966 1.5707963267948966))) │ │ │ F2CL-LIB:DASIN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ - (VALUES │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (T))) │ │ │ - SYSTEM::INFO-SUBFILE)) │ │ │ + ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (NULL)) │ │ │ + MAXIMA::COPY-ARRAY-PORTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (MEMBER │ │ │ (DEFUN │ │ │ MAXIMA::OPERATORP (MAXIMA::LEX) │ │ │ @@ -9364,20 +9303,16 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::CONSTANT-VALUE)) │ │ │ PCL::|__si::MAKE-CONSTANT-VALUE|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE (FUNCTION (&REST T) (MEMBER -1 0 1)) MAXIMA::$POLYSIGN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (OR │ │ │ - (MEMBER NIL) (MEMBER MAXIMA::$UNKNOWN) │ │ │ - (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::*F-PRIM)) │ │ │ + (FUNCTION (&REST T) (STRUCTURE MAXIMA::GF-DATA)) │ │ │ + MAXIMA::MAKE-GF-DATA MAXIMA::$GF_GET_DATA)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -2147483648 2147483647) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -9438,17 +9373,14 @@ │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -2147483648 2147483647) (INTEGER -128 127)) │ │ │ (T)) │ │ │ XLIB::SET-CHAR-ARRAY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T)) (INTEGER 1 13)) MAXIMA::GNUPLOT-POINTTYPES)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL)) │ │ │ (OR │ │ │ @@ -9589,29 +9521,34 @@ │ │ │ (OR │ │ │ (KEYWORD) (SIMPLE-ARRAY CHARACTER 1) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) (MEMBER NIL))) │ │ │ MAXIMA::$PATHNAME_TYPE MAXIMA::$PATHNAME_NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + (&REST T) │ │ │ + (OR │ │ │ + (MEMBER MAXIMA::$NOTCOMPARABLE MAXIMA::$UNKNOWN) │ │ │ + (OR │ │ │ + (MEMBER ">=") (MEMBER "<=") (MEMBER "=") (MEMBER "<") │ │ │ + (MEMBER ">") (MEMBER "=") (MEMBER "#")))) │ │ │ + MAXIMA::$COMPARE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T)) │ │ │ (T)) │ │ │ XLIB::XSTORENAME XLIB::XSETICONNAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::INITIAL-DISPATCH)) (T)) │ │ │ PCL::INITIAL-DISPATCH-CACHE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (INTEGER * *) (T) (INTEGER * *) (INTEGER * *) (T)) (T)) │ │ │ - MAXIMA::*F-POW$)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (STRUCTURE PCL::ONE-INDEX)) │ │ │ PCL::ONE-INDEX-DFUN-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T)) (T)) │ │ │ REVAPPEND NRECONC)) │ │ │ (PROCLAIM │ │ │ @@ -9736,17 +9673,32 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (STRUCTURE) (SYSTEM:STD-INSTANCE)) (STRUCTURE)) (STRUCTURE)) │ │ │ CSTRUCT:C-SET-STRSTD-SDEF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (T)) │ │ │ + (MEMBER │ │ │ + MAXIMA::UNDEFINED MAXIMA::POLYNOMIAL MAXIMA::NONPOLYNOMIAL)) │ │ │ + MAXIMA::CLASSIFY-HYPERGEOMETRIC)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T)) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ COMPILER::MVARS PREGEXP::PREGEXP-MATCH-POSITIONS-AUX)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (SHORT-FLOAT -180.0S0 (180.0S0)) (INTEGER -180 179) │ │ │ + (RATIO (-180) (180)) (LONG-FLOAT -180.0 (180.0)))) │ │ │ + MAXIMA::PARSE-ELEVATION)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T)) (INTEGER -1 2)) MAXIMA::MRV-SIGN-MEXPT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *)) │ │ │ (LONG-FLOAT -1.633123935319537E16 (1.633123935319537E16))) │ │ │ F2CL-LIB:DTAN)) │ │ │ @@ -9823,14 +9775,49 @@ │ │ │ BIGFLOAT::|(PCL::FAST-METHOD DESCRIBE-OBJECT (BIGFLOAT T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD PRINT-OBJECT (COMPLEX-BIGFLOAT T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD PRINT-OBJECT (BIGFLOAT T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD RANDOM (BIGFLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (MEMBER (NIL)) (MEMBER (MAXIMA::$IND T NIL)) │ │ │ + (MEMBER (MAXIMA::$UND MAXIMA::$IND T NIL)) (MEMBER (T NIL))) │ │ │ + (MEMBER T) (MEMBER NIL))) │ │ │ + MAXIMA::MANIFESTLY-NONREAL-P)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((SIMPLE-ARRAY SYSTEM:UNSIGNED-INT 1) &REST T) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SIMPLE-ARRAY BIT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ + (SIMPLE-ARRAY FIXNUM (*))) │ │ │ + (OR │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)))) │ │ │ + MT19937::VEC-INIT-RANDOM-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (LONG-FLOAT * *)) │ │ │ |libm|:|carg| |libm|:|cabs| F2CL-LIB:DIMAG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -9922,20 +9909,14 @@ │ │ │ XLIB:PICMENU-CREATE-FROM-SPEC XLIB:WINDOW-GET-REGION │ │ │ WALKER::WALKER-ENVIRONMENT-BIND-1 MAXIMA::DECODE_TIME-IMPL │ │ │ MAXIMA::MAKE-MBOX MAXIMA::TMNEWDET-IMPL MAXIMA::PUNT-TO-MEVAL │ │ │ MAXIMA::WRAP-PRED MAXIMA::COMPILE_FILE-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER * *) &REST T) │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ - MAXIMA::GF_N2L-IMPL MAXIMA::EF_N2L-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((LONG-FLOAT * *)) │ │ │ (VALUES &OPTIONAL (OR (LONG-FLOAT * *) (MEMBER NIL)) (NULL))) │ │ │ MAXIMA::AIRY-BI-REAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (OR (SYSTEM:TRUE) (NULL))) SYSTEM::BND-CHK │ │ │ SYSTEM::MATRIX-FIXNUM-TYPEP-FN SYSTEM::MATRIX-CHARACTER-TYPEP-FN │ │ │ @@ -10157,19 +10138,35 @@ │ │ │ (OR (INTEGER 0 6) (MEMBER NIL)) (NULL) (NULL) (NULL) (NULL) (NULL) │ │ │ (NULL) (NULL) (NULL) │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)))) │ │ │ SLATEC::DQAGPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) &REST T) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ + (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ + (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ + MAXIMA::COERCE-MAXIMA-FUNCTION-OR-MAXIMA-LAMBDA │ │ │ + MAXIMA::COERCE-LISP-FUNCTION-OR-LISP-LAMBDA)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((INTEGER 0 268435454)) (INTEGER -1 268435454)) │ │ │ SYSTEM:MATCH-BEGINNING SYSTEM:MATCH-END)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T)) (T)) │ │ │ + MAXIMA::ADAPTIVE-PARAMETRIC-PLOT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ (&REST T) │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::FILE-SYNONYM-STREAM) (SYSTEM:FILE-IO-STREAM) │ │ │ (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:NON-LOGICAL-PATHNAME) │ │ │ (LOGICAL-PATHNAME) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ (SYSTEM:FILE-PROBE-STREAM) (SIMPLE-ARRAY CHARACTER 1) │ │ │ @@ -10189,14 +10186,24 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ ZEROP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((INTEGER * *)) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::PSUMSQ MAXIMA::GF-N2X MAXIMA::GF-N2L)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (VALUES (OR (SYSTEM:TRUE) (NULL)) (MEMBER "must be a string"))) │ │ │ + MAXIMA::STRING-PREDICATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM))) (T)) │ │ │ CSTRUCT:C-SYMBOL-DBIND CSTRUCT:C-SYMBOL-GFDEF SYMBOL-VALUE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T)) (VALUES &OPTIONAL (T) (T) (T))) │ │ │ MAXIMA::INTCV2)) │ │ │ @@ -10281,42 +10288,27 @@ │ │ │ (SIMPLE-ARRAY FIXNUM (*))) │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))))) │ │ │ WRITE-SEQUENCE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (OR (LONG-FLOAT * *) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::EXPINT-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T)) (MEMBER MAXIMA::$NEGATIVE MAXIMA::$POSITIVE)) │ │ │ MAXIMA::CHANGESIGN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE PCL::CLASS-PRECEDENCE-DESCRIPTION)) │ │ │ - PCL::|__si::MAKE-CLASS-PRECEDENCE-DESCRIPTION|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MINUSP (COMMON-LISP:FLOAT))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD PLUSP (COMMON-LISP:FLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ - (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ - (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ - (NULL)) │ │ │ - PCL::MAP-ALL-ORDERS)) │ │ │ + (FUNCTION (&REST T) (STRUCTURE PCL::CLASS-PRECEDENCE-DESCRIPTION)) │ │ │ + PCL::|__si::MAKE-CLASS-PRECEDENCE-DESCRIPTION|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ @@ -10332,14 +10324,31 @@ │ │ │ BIGFLOAT::|(PCL::FAST-METHOD ZEROP (NUMBER))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR │ │ │ + (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ + (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ + (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ + (NULL)) │ │ │ + PCL::MAP-ALL-ORDERS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (MEMBER LIST STRING BIT-VECTOR))) │ │ │ + SYSTEM::SEQTYPE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) │ │ │ + (OR │ │ │ + (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ @@ -10355,19 +10364,15 @@ │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ (T)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD EXPT (NUMBER NUMBER))|)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (MEMBER LIST STRING BIT-VECTOR))) │ │ │ - SYSTEM::SEQTYPE)) │ │ │ + '(FTYPE (FUNCTION ((T) (T)) (INTEGER -1 268435455)) SYSTEM::LENEL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (KEYWORD) (MEMBER T) (MEMBER NIL) (SYSTEM:GSYM) (INTEGER 0 255) │ │ │ (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER (1)) │ │ │ @@ -10455,16 +10460,14 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ SYSTEM:CMOD)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T) (T)) (INTEGER -1 268435455)) SYSTEM::LENEL)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG->= (COMMON-LISP:FLOAT COMMON-LISP:FLOAT))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD TWO-ARG-<= (COMMON-LISP:FLOAT COMMON-LISP:FLOAT))| │ │ │ @@ -10582,14 +10585,20 @@ │ │ │ (FUNCTION │ │ │ (&REST T) │ │ │ (OR (LOGICAL-PATHNAME) (SYSTEM:NON-LOGICAL-PATHNAME) (MEMBER NIL))) │ │ │ USER-HOMEDIR-PATHNAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (VALUES &OPTIONAL (T) (T) (T) (T) (T) (T))) │ │ │ + MAXIMA::FRAME-INFO)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) (T) (T) (T) &REST T) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ PCL::EMIT-DLAP MAXIMA::QUAD_QAGP-IMPL MAXIMA::QUAD_QAWF-IMPL │ │ │ MAXIMA::QUAD_QAWC-IMPL MAXIMA::QUAD_QAG-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -10617,29 +10626,33 @@ │ │ │ PCL::MAKE-DISPATCH-DFUN PCL::MAKE-FINAL-DISPATCH-DFUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER '(1 . 1))) MAXIMA::EONE MAXIMA::RCONE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (VALUES &REST T)) │ │ │ - MAXIMA::GF-PRIMPOLY-P MAXIMA::COPY_PTS-IMPL)) │ │ │ + ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) (T) &REST │ │ │ + T) │ │ │ + (T)) │ │ │ + GET)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T) &REST T) (T)) │ │ │ GETF SUBLIS NSUBLIS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) (T) &REST │ │ │ - T) │ │ │ - (T)) │ │ │ - GET)) │ │ │ + ((OR │ │ │ + (OR │ │ │ + (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ + (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ + (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + CSTRUCT:C-FUNCTION-PLIST)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) │ │ │ (OR │ │ │ (AND │ │ │ (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ @@ -10650,32 +10663,22 @@ │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (T) &REST T) │ │ │ (T)) │ │ │ SUBST-IF-NOT SUBST-IF NSUBST-IF-NOT NSUBST-IF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR │ │ │ - (OR │ │ │ - (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ - (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ - (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - CSTRUCT:C-FUNCTION-PLIST)) │ │ │ + (FUNCTION ((T)) (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ + SYSTEM::MAKE-FRAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (STRUCTURE) (T)) NIL) │ │ │ PCL::|(FAST-METHOD SLOT-MAKUNBOUND-USING-CLASS (STRUCTURE-CLASS STRUCTURE-OBJECT STRUCTURE-EFFECTIVE-SLOT-DEFINITION))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ - SYSTEM::MAKE-FRAME)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:STD-INSTANCE) (KEYWORD) (MEMBER T) (MEMBER NIL) │ │ │ (AND (SYSTEM:GSYM) (NOT (MEMBER VALUES))) │ │ │ (SYSTEM:PROPER-CONS │ │ │ (OR │ │ │ (AND (SYSTEM:GSYM) (NOT (MEMBER FUNCTION VALUES))) (MEMBER NIL) │ │ │ @@ -10726,14 +10729,18 @@ │ │ │ SYSTEM::MAKE-ACCESS-FUNCTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (VALUES (SYSTEM:PROPER-CONS (T) (T)) (T))) │ │ │ ANSI-LOOP::LOOP-LIST-STEP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION (&REST T) (STRUCTURE MAXIMA::TC-STATE)) │ │ │ + MAXIMA::MAKE-TC-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES │ │ │ @@ -10776,18 +10783,14 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ (VALUES &OPTIONAL (OR (SYSTEM:TRUE) (NULL)) (T) (T))) │ │ │ MAXIMA::SNUMDEN-VAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE MAXIMA::TC-STATE)) (INTEGER * *)) │ │ │ - MAXIMA::TC-STATE-NVARS MAXIMA::TC-STATE-NCOSETS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION)) │ │ │ @@ -10836,16 +10839,14 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)) (INTEGER * *)) │ │ │ (T)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD SCALE-FLOAT (COMMON-LISP:FLOAT INTEGER))|)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION (&REST T) (LONG-FLOAT 0.0 0.0)) MAXIMA::$ZERO_FUN)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR (INTEGER 24 24) (INTEGER 53 53))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD FLOAT-DIGITS (COMMON-LISP:FLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -10912,21 +10913,14 @@ │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (LONG-FLOAT -2.3561944901923448 3.141592653589793)) │ │ │ F2CL-LIB:DATAN2)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (INTEGER * *) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (OR (SYSTEM:TRUE) (NULL))) │ │ │ - MAXIMA::GF-IRR-P)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM::FILE-SYNONYM-STREAM) (SYSTEM::NON-FILE-SYNONYM-STREAM))) │ │ │ (T)) │ │ │ SYNONYM-STREAM-SYMBOL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (INTEGER 0 268435454)) (INTEGER 0 268435454)) │ │ │ @@ -11108,14 +11102,21 @@ │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL)) │ │ │ (OR (SYSTEM:TRUE) (NULL)))) │ │ │ SLOOP::FIND-IN-ORDERED-LIST)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (SYSTEM:STD-INSTANCE) (T)) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (GNUPLOT-PLOT T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (XMAXIMA-PLOT T))|)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ (INTEGER 0 2147483647)) │ │ │ (INTEGER 0 2147483647)) │ │ │ CSTRUCT:C-SET-SYMBOL-PAD3)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T) (T)) (VALUES &REST T)) │ │ │ @@ -11185,14 +11186,18 @@ │ │ │ (SYSTEM::FILE-SYNONYM-STREAM)))) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ FILE-NAMESTRING DIRECTORY-NAMESTRING NAMESTRING)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((INTEGER 0 *) (INTEGER 0 *)) (INTEGER * *)) │ │ │ + MAXIMA::DIVSUM)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (MEMBER MAXIMA::SPLITCASE) (MEMBER NIL) │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ MAXIMA::CHOOZP)) │ │ │ (PROCLAIM │ │ │ @@ -11294,14 +11299,17 @@ │ │ │ (MEMBER (SYSTEM:EQUAL-IS-EQ SYSTEM:EQUAL-IS-EQ-TP)) │ │ │ (MEMBER (SYSTEM:EQUALP-IS-EQ SYSTEM:EQUALP-IS-EQ-TP)) │ │ │ (MEMBER (SYSTEM:EQL-IS-EQ SYSTEM:EQL-IS-EQ-TP))) │ │ │ (MEMBER NIL))) │ │ │ COMPILER::TEST-TO-TF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T)) (LONG-FLOAT 0.0 0.0)) MAXIMA::ZERO_FUN-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE MAXIMA::TSTACK-SLOT)) │ │ │ MAXIMA::MAKE-TSTACK-SLOT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T)) (VALUES &OPTIONAL (T) (T))) │ │ │ PCL::ACCESSOR-VALUES)) │ │ │ (PROCLAIM │ │ │ @@ -11322,53 +11330,45 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE SYSTEM::INSTREAM)) (T)) │ │ │ SYSTEM::INSTREAM-STREAM SYSTEM::INSTREAM-STREAM-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T)) │ │ │ - (OR │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL))) │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (GNUPLOT-PLOT T))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T)) │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ MAXIMA::CXERFARG MAXIMA::MPC MAXIMA::RISCHEXPPOLY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) &REST T) (STRUCTURE ANSI-LOOP::LOOP-PATH)) │ │ │ ANSI-LOOP::ADD-LOOP-PATH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION NIL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - SYSTEM::GEN-ALL-FTYPE-SYMBOLS SYSTEM::ALL-CONFLICTS │ │ │ - SYSTEM::KCL-TOP-RESTARTS COMPILER::LIST-UNCALLED-FUNCTIONS │ │ │ - COMPILER::LIST-UNDEFINED-FUNCTIONS COMPILER::MCH │ │ │ - COMPILER::SETUP-SIGS SLOOP::PARSE-LOOP-COLLECT │ │ │ - ANSI-LOOP::LOOP-CONTEXT PCL::CACHES-TO-ALLOCATE │ │ │ - COMMAND-LINE:GET-APPLICATION-ARGS MAXIMA::TMSORT1 │ │ │ - MAXIMA::GF-RANDOM-NORMAL MAXIMA::EF-RANDOM-NORMAL │ │ │ - MAXIMA::UNORDER-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((PACKAGE) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ CSTRUCT:C-SET-PACKAGE-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION NIL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + SYSTEM::GEN-ALL-FTYPE-SYMBOLS SYSTEM::ALL-CONFLICTS │ │ │ + SYSTEM::KCL-TOP-RESTARTS COMPILER::LIST-UNCALLED-FUNCTIONS │ │ │ + COMPILER::LIST-UNDEFINED-FUNCTIONS COMPILER::MCH │ │ │ + COMPILER::SETUP-SIGS SLOOP::PARSE-LOOP-COLLECT │ │ │ + ANSI-LOOP::LOOP-CONTEXT PCL::CACHES-TO-ALLOCATE │ │ │ + COMMAND-LINE:GET-APPLICATION-ARGS MAXIMA::TMSORT1 │ │ │ + MAXIMA::GF-RANDOM-NORMAL MAXIMA::EF-RANDOM-NORMAL │ │ │ + MAXIMA::UNORDER-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T)) (OR (INTEGER -128 127) (MEMBER NIL))) │ │ │ SYSTEM::ONE-BIT-BTP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -11462,14 +11462,24 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ PCL::COMPUTE-STD-CPL-PHASE-3)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T) (T) (T) (T) (T)) │ │ │ + (VALUES │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (T) (T))) │ │ │ + MAXIMA::DLOG-F)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (MEMBER :INSTANCE)) │ │ │ PCL::|(FAST-METHOD SLOT-DEFINITION-ALLOCATION (STRUCTURE-SLOT-DEFINITION))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (STRUCTURE) (T)) (VALUES &REST T)) │ │ │ PCL::|(FAST-METHOD (SETF SLOT-VALUE-USING-CLASS) (T STRUCTURE-CLASS STRUCTURE-OBJECT STRUCTURE-EFFECTIVE-SLOT-DEFINITION))|)) │ │ │ (PROCLAIM │ │ │ @@ -11514,14 +11524,21 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ PCL::MAKE-EARLY-ACCESSOR PCL::MAKE-UNORDERED-METHODS-EMF │ │ │ PCL::ACCESSOR-MISS-FUNCTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T)) │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (XMAXIMA-PLOT T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (GEOMVIEW-PLOT T))|)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (RATIO * (268435455)) (INTEGER * 268435455) │ │ │ (LONG-FLOAT * 2.68435455E8) (SHORT-FLOAT * 2.6843547S8))) │ │ │ XLIB::EDITMENU-NEXT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -11604,42 +11621,21 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) (MEMBER (LIST* NIL #'PCL::FUNCTION-RETURNING-NIL NIL))) │ │ │ PCL::MAKE-FIND-CLASS-CELL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((STRUCTURE MT19937:RANDOM-STATE)) │ │ │ - (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ - MT19937::COPY-RANDOM-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (AND (LONG-FLOAT * *) (NOT (LONG-FLOAT SYSTEM:UNORDERED)))) │ │ │ F2CL-LIB:DSIGN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ - (T) &REST T) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::SPLIT-STRING)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((INTEGER * *) (INTEGER * *) (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:PROPER-CONS (T) (T))) │ │ │ - MAXIMA::GCTIMES)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ @@ -11696,14 +11692,17 @@ │ │ │ (OR (INTEGER * *) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAXIMA::TO (COMMON-LISP:RATIONAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER '(MAXIMA::LED))) MAXIMA::LED-PROPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T)) (INTEGER 1 13)) MAXIMA::GNUPLOT-POINTTYPES)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -11820,14 +11819,17 @@ │ │ │ XLIB::XGETERRORDATABASETEXT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (VALUES (T) (T) (T))) MAXIMA::INTERVAL-LIST │ │ │ MAXIMA::CDINF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION NIL (STRUCTURE MAXIMA::EF-DATA)) MAXIMA::EF_GET_DATA-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *))) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *))) │ │ │ |libm|:|cpowf|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -11864,40 +11866,39 @@ │ │ │ MAXIMA::%CSC)) │ │ │ (MEMBER (MAXIMA::%TAN MAXIMA::%COT MAXIMA::%SEC MAXIMA::%CSC)) │ │ │ (MEMBER (MAXIMA::%SEC MAXIMA::%CSC))) │ │ │ (MEMBER NIL))) │ │ │ MAXIMA::TRIG2)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) &REST T) (INTEGER * *)) MAXIMA::TODD_COXETER-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ - ((OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) (T)) │ │ │ - (SYSTEM:PROPER-CONS (T) (T))) │ │ │ - MAXIMA::GET_RANGE-IMPL)) │ │ │ + ((T) (T)) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) (LONG-FLOAT * *) │ │ │ + (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ + MAXIMA::INTEGER-STIRLING2)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (INTEGER 0 31)) │ │ │ CSTRUCT:C-FUNCTION-NEVAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (OR │ │ │ - (MEMBER MAXIMA::$NOTCOMPARABLE MAXIMA::$UNKNOWN) │ │ │ - (OR │ │ │ - (MEMBER ">=") (MEMBER "<=") (MEMBER "=") (MEMBER "<") │ │ │ - (MEMBER ">") (MEMBER "=") (MEMBER "#")))) │ │ │ - MAXIMA::COMPARE-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER * *)) MAXIMA::HASHER MAXIMA::GF-L2N │ │ │ MAXIMA::F2-RED MAXIMA::F2-INV MAXIMA::LAB F2CL-LIB:IDNINT │ │ │ F2CL-LIB:NINT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T)) │ │ │ @@ -12094,14 +12095,20 @@ │ │ │ &OPTIONAL (INTEGER * *) (OR (LONG-FLOAT (-1.0) 0.0) (MEMBER NIL)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MAX-EXPONENT (COMMON-LISP:RATIONAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER 0 268435452)) COMPILER::MAX-STACK-SPACE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER * *) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::GF-N2L-TWOARGS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((STRUCTURE COMPILER::INFO)) (STRUCTURE COMPILER::INFO)) │ │ │ COMPILER::OLD-COPY-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER '(MAXIMA::NUD))) MAXIMA::NUD-PROPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -12139,16 +12146,19 @@ │ │ │ ((STRUCTURE INTL::DOMAIN-ENTRY)) │ │ │ (OR │ │ │ (SYSTEM:INTERPRETED-FUNCTION) (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION) (MEMBER NIL))) │ │ │ INTL::DOMAIN-ENTRY-PLURALS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((INTEGER 0 268435454)) (MEMBER (NIL))) │ │ │ - SYSTEM::PUSH-CONTEXT)) │ │ │ + (FUNCTION │ │ │ + ((T) (OR (SIMPLE-ARRAY T (*)) (SYSTEM::NON-SIMPLE-ARRAY T *)) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::MAKE-BREAK-POINT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (OR (MEMBER (MAXIMA::%COS)) (MEMBER (MAXIMA::%SIN MAXIMA::%COS))) │ │ │ (MEMBER NIL))) │ │ │ @@ -12156,14 +12166,18 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T)) (MEMBER PCL::ALLOCATE-FUNCALLABLE-INSTANCE)) │ │ │ PCL::|(FAST-METHOD RAW-INSTANCE-ALLOCATOR (FUNCALLABLE-STANDARD-CLASS))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((INTEGER 0 268435454)) (MEMBER (NIL))) │ │ │ + SYSTEM::PUSH-CONTEXT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ (SIMPLE-ARRAY BIT *) (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR *) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR *) │ │ │ @@ -12181,14 +12195,18 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (INTEGER 0 268435454)) │ │ │ (T)) │ │ │ SYSTEM::ROW-MAJOR-ASET)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (SYSTEM:STD-INSTANCE) (T)) (VALUES)) │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (GEOMVIEW-PLOT T))|)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ (VALUES │ │ │ (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ PCL::REAL-MAKE-METHOD-LAMBDA)) │ │ │ (PROCLAIM │ │ │ @@ -12308,17 +12326,27 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) (INTEGER -9223372036854775807 9223372036854775807)) │ │ │ SYSTEM::NTH-STACK-FRAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T) (T) (T)) │ │ │ - (VALUES &OPTIONAL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T))) │ │ │ - MAXIMA::SUMSUM)) │ │ │ + ((OR │ │ │ + (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ + (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ + (SYSTEM::FILE-SYNONYM-STREAM))) │ │ │ + (T)) │ │ │ + (T)) │ │ │ + SYSTEM::SET-PATH-STREAM-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T)) │ │ │ (NULL)) │ │ │ MAXIMA::MTOA MAXIMA::RITEDIV)) │ │ │ @@ -12332,64 +12360,18 @@ │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES │ │ │ &OPTIONAL (NULL) (NULL) (NULL) (NULL) (NULL) (NULL) (NULL))) │ │ │ SLATEC::DQMOMO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR │ │ │ - (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ - (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ - (SYSTEM::FILE-SYNONYM-STREAM))) │ │ │ - (T)) │ │ │ - (T)) │ │ │ - SYSTEM::SET-PATH-STREAM-NAME)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION NIL (VALUES &OPTIONAL (NULL))) SYSTEM::SIMPLE-BACKTRACE │ │ │ SLATEC::FDUMP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((SIMPLE-ARRAY SYSTEM:UNSIGNED-INT 1) &REST T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SIMPLE-ARRAY BIT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ - (SIMPLE-ARRAY FIXNUM (*))) │ │ │ - (OR │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)))) │ │ │ - MT19937::VEC-INIT-RANDOM-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T)) (T)) │ │ │ - MAXIMA::ADAPTIVE-PARAMETRIC-PLOT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION NIL (MEMBER COMPILER::CLOSURE)) COMPILER::SET-CLOSURE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY FIXNUM 1) (SIMPLE-ARRAY T 1) │ │ │ @@ -12532,19 +12514,17 @@ │ │ │ CONDITIONS::|(PCL::FAST-METHOD PRINT-OBJECT (INTERNAL-CONDITION T))| │ │ │ MAXIMA::|(PCL::FAST-METHOD PRINT-OBJECT (UNSAFE-RECURSION T))| │ │ │ MAXIMA::|(PCL::FAST-METHOD PRINT-OBJECT (MAXIMA-$ERROR T))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD DESCRIBE-OBJECT (COMPLEX-BIGFLOAT T))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (NULL)) │ │ │ - MAXIMA::COPY-ARRAY-PORTION)) │ │ │ + ((T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (SIMPLE-ARRAY T (*))) │ │ │ + MAXIMA::GF-X2ARRAY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ @@ -12578,29 +12558,26 @@ │ │ │ (SIMPLE-ARRAY CHARACTER 1) (INTEGER * *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) &REST T) │ │ │ (VALUES &REST T)) │ │ │ MAXIMA::OPEN-SOCKET)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (SYSTEM:STD-INSTANCE) (T)) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (GNUPLOT-PLOT T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-PREAMBLE (XMAXIMA-PLOT T))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION NIL (INTEGER -2147483648 2147483647)) │ │ │ XLIB:WINDOW-SCREEN-HEIGHT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (STRUCTURE ANSI-LOOP::LOOP-MINIMAX)) │ │ │ ANSI-LOOP::MAKE-LOOP-MINIMAX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((INTEGER * *)) (VALUES &REST T)) MAXIMA::EF-CMOD │ │ │ + MAXIMA::EF-CINV)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ (SIMPLE-ARRAY BIT *) (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR *) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR *) │ │ │ (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR *) │ │ │ @@ -12789,50 +12766,42 @@ │ │ │ (T)) │ │ │ XLIB::XSETLINEATTRIBUTES XLIB::XMOVERESIZEWINDOW XLIB::XDRAWPOINTS │ │ │ XLIB::XCHANGEPOINTERCONTROL XLIB::XCONVERTSELECTION XLIB::XDRAWLINES │ │ │ XLIB::XSETSTATE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT 1)) │ │ │ + MAXIMA::MAKE-GRID-VERTICES)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ (OR (INTEGER * *) (RATIO * *))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD RATIONALIZE (REAL))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD RATIONAL (REAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (OR │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) (LONG-FLOAT * *) │ │ │ - (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ - MAXIMA::INTEGER-STIRLING2)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ (SYSTEM:PROPER-CONS (T) (T))) │ │ │ SYSTEM::COMPLEX-TYPE-OF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION NIL (STRUCTURE MAXIMA::GF-DATA)) MAXIMA::GF_GET_DATA-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ MAXIMA::FASPRINT MAXIMA::XMAXIMA-PALETTES)) │ │ │ (PROCLAIM │ │ │ @@ -12844,17 +12813,14 @@ │ │ │ ((T) (T) (T) (T) &REST T) │ │ │ (VALUES │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ ITERATE::RENAME-LET-BINDINGS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T)) (LONG-FLOAT 0.0 0.0)) MAXIMA::ZERO_FUN-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((SIMPLE-ARRAY CHARACTER (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES &OPTIONAL (NULL) (NULL) (NULL) (NULL) (NULL) (NULL))) │ │ │ @@ -12952,18 +12918,14 @@ │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SHORT-FLOAT 5.960465S-8 5.960465S-8) │ │ │ (LONG-FLOAT 1.1102230246251569E-16 1.1102230246251569E-16))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD EPSILON (COMMON-LISP:FLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T)) (VALUES (T) (OR (SYSTEM:TRUE) (NULL)))) │ │ │ - MAXIMA::INT-DIFF-SUBSTITUTE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) (OR (INTEGER 127 127) (INTEGER 48 124) (INTEGER 0 45))) │ │ │ SYSTEM::OBJECT-INDEX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (SYSTEM:TRUE)) MAXIMA::PART*-MTIMES │ │ │ MAXIMA::PART+-MPLUS)) │ │ │ @@ -13037,25 +12999,14 @@ │ │ │ COMPILER::DUMP-FN-DATA)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE COMPILER::VAR)) COMPILER::MAKE-VAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (VALUES │ │ │ - &OPTIONAL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL)))) │ │ │ - MAXIMA::GF-DIVIDE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((INTEGER * *) &REST T) │ │ │ (VALUES │ │ │ (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ @@ -13125,25 +13076,43 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) NIL) PCL::NO-SLOT PCL::CPL-INCONSISTENT-ERROR │ │ │ PCL::CPL-FORWARD-REFERENCED-CLASS-ERROR │ │ │ MAXIMA::MAXIMA-LISP-DEBUGGER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (MEMBER (MAXIMA::$PN)) │ │ │ + (MEMBER (MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ + (MEMBER │ │ │ + (MAXIMA::$NZ │ │ │ + MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ + (MEMBER │ │ │ + (MAXIMA::$PNZ │ │ │ + MAXIMA::$NEG MAXIMA::$NZ MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS │ │ │ + MAXIMA::$PN)) │ │ │ + (MEMBER │ │ │ + (MAXIMA::$NEG │ │ │ + MAXIMA::$NZ MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ + (MEMBER (MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ + (MEMBER (MAXIMA::$POS MAXIMA::$PN))) │ │ │ + (MEMBER NIL))) │ │ │ + MAXIMA::LENIENT-EXTENDED-REALP MAXIMA::LENIENT-REALP)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ COMPILER::C1LET-* COMPILER::C1PROGN MAXIMA::INTERSECTION-IMPL │ │ │ MAXIMA::EF_P2L-IMPL MAXIMA::GF_P2L-IMPL MAXIMA::TR-LAMBDA │ │ │ MAXIMA::INTEGER_PARTITIONS-IMPL MAXIMA::ABSARG MAXIMA::TR-LOCAL-EXP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((INTEGER * *) (INTEGER * *)) (MEMBER -1 0 1)) │ │ │ - MAXIMA::JACOBI)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) │ │ │ (VALUES │ │ │ (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ PCL::MAKE-METHOD-LAMBDA-INTERNAL)) │ │ │ (PROCLAIM │ │ │ @@ -13253,19 +13222,14 @@ │ │ │ COMPILER::BIGNUM-EXPANSION-STORAGE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) (T) (T)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XGETDEFAULT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((INTEGER 1 *) (STRUCTURE MT19937:RANDOM-STATE)) (INTEGER * *)) │ │ │ - MT19937::%RANDOM-INTEGER)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T) &REST T) (SYSTEM:TRUE)) IMPORT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (OR (INTEGER 0 200) (MEMBER T) (MEMBER NIL))) │ │ │ PREGEXP::PREGEXP-CHAR-WORD?)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -13322,24 +13286,14 @@ │ │ │ (FUNCTION ((T) (T) &REST T) (VALUES (T) (T))) │ │ │ PCL::GET-SIMPLE-INITIALIZATION-FUNCTION │ │ │ PCL::GET-COMPLEX-INITIALIZATION-FUNCTIONS │ │ │ PCL::MAKE-DEFAULT-INITARGS-FORM-LIST)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T)) │ │ │ - (VALUES │ │ │ - &OPTIONAL (INTEGER * *) │ │ │ - (OR │ │ │ - (LONG-FLOAT * *) (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ - (MEMBER NIL)))) │ │ │ - MAXIMA::CONF1)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((STRUCTURE PCL::FAST-INSTANCE-BOUNDP)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ PCL::FAST-INSTANCE-BOUNDP-INDEX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER * *) (INTEGER * 9223372036854775807)) (INTEGER * *)) │ │ │ @@ -13384,26 +13338,14 @@ │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ CSTRUCT:C-SET-PATHNAME-NAMESTRING)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T) (T) (T) (T)) │ │ │ - (VALUES │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (T) (T))) │ │ │ - MAXIMA::DLOG-F)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((INTEGER 0 *)) (INTEGER 0 *)) MAXIMA::TOTIENT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ (OR │ │ │ (OR │ │ │ @@ -13450,18 +13392,31 @@ │ │ │ (FUNCTION NIL (STRUCTURE PCL::DISPATCH)) PCL::DISPATCH-DFUN-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T)) (VALUES (T) (T) (T) (T))) │ │ │ PCL::CACHE-MISS-VALUES-INTERNAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T) (T)) (VALUES &REST T)) │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT2D-COMMAND (GNUPLOT-PLOT T T T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (GNUPLOT-PLOT T T T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT2D-COMMAND (XMAXIMA-PLOT T T T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (XMAXIMA-PLOT T T T))| │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT3D-COMMAND (GEOMVIEW-PLOT T T T))|)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::CACHE)) (STRUCTURE PCL::CACHE)) │ │ │ PCL::COPY-CACHE-INTERNAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) (VALUES)) │ │ │ + MT19937::RANDOM-MT19937-UPDATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::TWO-CLASS)) (T)) PCL::TWO-CLASS-CACHE │ │ │ PCL::TWO-CLASS-INDEX PCL::TWO-CLASS-WRAPPER1 PCL::TWO-CLASS-WRAPPER0 │ │ │ PCL::TWO-CLASS-ACCESSOR-TYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ @@ -13620,14 +13575,16 @@ │ │ │ (LONG-FLOAT (1.0) *) (LONG-FLOAT (0.0) (1.0)) │ │ │ (LONG-FLOAT * (0.0)) (LONG-FLOAT SYSTEM:UNORDERED)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ MAXIMA::BEHAVIOR-EXPT)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((INTEGER 0 *)) (INTEGER 0 *)) MAXIMA::TOTIENT)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) (OR (MEMBER MAXIMA::$NO) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ MAXIMA::REAL-ROOTS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE COMPILER::VAR)) (INTEGER 0 255)) │ │ │ @@ -13727,20 +13684,14 @@ │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD ACOS (NUMBER))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) &REST T) (VALUES &OPTIONAL (T) (T))) │ │ │ COMPILER::LIST-SPLIT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - (&REST T) │ │ │ - (OR (MEMBER NIL) (SYSTEM:PROPER-CONS (T) (T)) (MEMBER T))) │ │ │ - MAXIMA::NUMERICAL-EVAL-P)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((INTEGER 0 *) (T)) (T)) MAXIMA::K-FUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (MEMBER 0 1 2 3)) (MEMBER 0 1 2 3)) │ │ │ CSTRUCT:C-SET-T-MF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -14271,25 +14222,29 @@ │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) &REST T) │ │ │ (T)) │ │ │ MAPCON MAPCAN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T)) (INTEGER 0 *)) MAXIMA::GF-DLOG-NAIVE │ │ │ + MAXIMA::DLOG-NAIVE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T) (T) &REST T) (VALUES &OPTIONAL (NULL))) │ │ │ + MAXIMA::BFLOAT-FORMAT-G)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (T) (T)) │ │ │ (T)) │ │ │ MAXIMA::PSLOG1 MAXIMA::PSEXPT-FN1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T) (T) &REST T) (VALUES &OPTIONAL (NULL))) │ │ │ - MAXIMA::BFLOAT-FORMAT-G)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T)) (MEMBER MAXIMA::$DONE)) MAXIMA::PRINTPOIS-IMPL │ │ │ MAXIMA::I-$GRIND MAXIMA::DISPGRADEFS MAXIMA::TEXEND-IMPL │ │ │ MAXIMA::WRITEFILE-IMPL MAXIMA::APPENDFILE-IMPL │ │ │ MAXIMA::PROC-$MATCHDECLARE MAXIMA::DISPATVALUES │ │ │ MAXIMA::SET_RANDOM_STATE-IMPL MAXIMA::I-$REMOVE MAXIMA::TEXINIT-IMPL │ │ │ MAXIMA::DISPATOMGRADS MAXIMA::DISPTERMS-IMPL)) │ │ │ (PROCLAIM │ │ │ @@ -14305,14 +14260,57 @@ │ │ │ (MEMBER (MAXIMA::FLOAT)) (MEMBER (BIGNUM RATIONAL MAXIMA::FLOAT)) │ │ │ (MEMBER (RATIONAL MAXIMA::FLOAT))) │ │ │ (MEMBER NIL))) │ │ │ MAXIMA::EXTENDED-NUMBER-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER * *) (INTEGER * *) (INTEGER * *)) │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ + MAXIMA::ZN-QUO)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION NIL (SIMPLE-ARRAY CHARACTER (*))) SYSTEM::TEMP-PREFIX │ │ │ + MAXIMA::MAXIMA-VERSION1 MAXIMA::LISP-IMPLEMENTATION-VERSION1)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) &REST T) (VALUES &OPTIONAL (OR (SYSTEM:TRUE) (NULL)) (T) (T))) │ │ │ + MAXIMA::COMPLEX-NUMBER-P)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((STRUCTURE PCL::CONSTANT-VALUE)) (STRUCTURE PCL::CONSTANT-VALUE)) │ │ │ + PCL::COPY-CONSTANT-VALUE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (INTEGER -2147483648 2147483647)) │ │ │ + (INTEGER -2147483648 2147483647)) │ │ │ + XLIB::INT-POS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((OR │ │ │ + (OR │ │ │ + (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL))) │ │ │ + (VALUES │ │ │ + (T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL)))) │ │ │ + PCL::PARSE-DEFMETHOD)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ SYSTEM::BABS FPE::FE-ENABLE |libc|:|labs| │ │ │ XLIB::XCIRCULATEREQUESTEVENT-WINDOW XLIB::XEXPOSEEVENT-WIDTH │ │ │ XLIB::XROOTWINDOWOFSCREEN XLIB::XVISIBILITYEVENT-STATE │ │ │ XLIB::XIMAGE-BYTE_ORDER XLIB::XKEYBOARDSTATE-AUTO_REPEATS │ │ │ XLIB::XEVENTMASKOFSCREEN XLIB::XCIRCULATEREQUESTEVENT-DISPLAY │ │ │ @@ -14615,49 +14613,14 @@ │ │ │ XLIB::SCREENFORMAT-SCANLINE_PAD XLIB::XCONNECTIONNUMBER │ │ │ XLIB::XTEXTITEM-DELTA XLIB::XGCVALUES-SUBWINDOW_MODE │ │ │ XLIB::XTEXTPROPERTY-VALUE XLIB::XCOLOR-GREEN │ │ │ XLIB::XVISIBILITYEVENT-SERIAL XLIB::XGCVALUES-LINE_WIDTH │ │ │ XLIB::XCOLORMAPEVENT-SERIAL SYSTEM:~)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION NIL (SIMPLE-ARRAY CHARACTER (*))) SYSTEM::TEMP-PREFIX │ │ │ - MAXIMA::MAXIMA-VERSION1 MAXIMA::LISP-IMPLEMENTATION-VERSION1)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) &REST T) (VALUES &OPTIONAL (OR (SYSTEM:TRUE) (NULL)) (T) (T))) │ │ │ - MAXIMA::COMPLEX-NUMBER-P)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((STRUCTURE PCL::CONSTANT-VALUE)) (STRUCTURE PCL::CONSTANT-VALUE)) │ │ │ - PCL::COPY-CONSTANT-VALUE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (INTEGER -2147483648 2147483647)) │ │ │ - (INTEGER -2147483648 2147483647)) │ │ │ - XLIB::INT-POS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR │ │ │ - (OR │ │ │ - (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL))) │ │ │ - (VALUES │ │ │ - (T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL)))) │ │ │ - PCL::PARSE-DEFMETHOD)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (VALUES │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T))) │ │ │ PCL::SPLIT-DECLARATIONS)) │ │ │ (PROCLAIM │ │ │ @@ -14750,14 +14713,19 @@ │ │ │ MAXIMA::ITERATE-OVER-BKPTS MAXIMA::PRINT-SPACES │ │ │ MAXIMA::GF-LOG-ERRCHK1 MAXIMA::DIMENSION-BUILD-INFO │ │ │ MAXIMA::LEARN-ABS MAXIMA::PRINT-ABORT-MSG F2CL-LIB:FORTRAN_COMMENT │ │ │ DEFINE-SYMBOL-MACRO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (INTEGER * *) (T) (INTEGER * *) (INTEGER * *) (T)) (T)) │ │ │ + MAXIMA::*F-POW$)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ @@ -14920,14 +14888,39 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (MEMBER PCL::ALLOCATE-STANDARD-INSTANCE)) │ │ │ PCL::|(FAST-METHOD RAW-INSTANCE-ALLOCATOR (STANDARD-CLASS))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + (&REST T) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SIMPLE-ARRAY BIT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ + (SIMPLE-ARRAY FIXNUM (*))) │ │ │ + (OR │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)))) │ │ │ + MT19937:INIT-RANDOM-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL) (T)) │ │ │ (T)) │ │ │ CSTRUCT:C-SET-CHARACTER-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ @@ -14975,21 +14968,14 @@ │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ IMAGPART REALPART)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (OR (SIMPLE-ARRAY T (*)) (SYSTEM::NON-SIMPLE-ARRAY T *)) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::MAKE-BREAK-POINT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T)) │ │ │ (VALUES │ │ │ &OPTIONAL │ │ │ (OR │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION) │ │ │ (SYSTEM::IMPROPER-CONS (T) (T)) (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) (SYSTEM:INTERPRETED-FUNCTION)) │ │ │ @@ -15189,22 +15175,14 @@ │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775806) (MEMBER NIL)) │ │ │ (NULL) (NULL) (NULL) (NULL))) │ │ │ SLATEC::ZUNI2 SLATEC::ZUNI1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T) (T)) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ - MAXIMA::GNUPLOT-CURVE-STYLE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (VALUES (T) (STRUCTURE PCL::CACHE) (STRUCTURE PCL::N-N))) │ │ │ PCL::MAKE-FINAL-N-N-ACCESSOR-DFUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) │ │ │ @@ -15243,14 +15221,20 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ FILE-WRITE-DATE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T)) │ │ │ + (VALUES &OPTIONAL (INTEGER * *) (OR (INTEGER * *) (MEMBER NIL)))) │ │ │ + MAXIMA::F2-DIVIDE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (VALUES │ │ │ (OR │ │ │ @@ -15441,14 +15425,19 @@ │ │ │ &OPTIONAL │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (OR (SYSTEM:TRUE) (NULL)))) │ │ │ MAXIMA::PTIMES%E)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((OR (SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY T *))) (NULL)) │ │ │ + MAXIMA::SPHERICAL_TO_XYZ-IMPL MAXIMA::POLAR_TO_XY-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:STRING-INPUT-STREAM) (SYSTEM:FILE-PROBE-STREAM) │ │ │ (SYSTEM:FILE-OUTPUT-STREAM) (SYSTEM:FILE-INPUT-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (BROADCAST-STREAM) │ │ │ (SYSTEM:STRING-OUTPUT-STREAM)) │ │ │ &REST T) │ │ │ (OR │ │ │ @@ -15571,14 +15560,20 @@ │ │ │ (MEMBER │ │ │ (AND │ │ │ MAXIMA::*TRANSL-DEBUG* MAXIMA::*TR-WARN-BREAK* │ │ │ (MAXIMA::BREAK "transl")))) │ │ │ MAXIMA::TR-WARNBREAK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (OR (SIMPLE-ARRAY T (*)) (SYSTEM::NON-SIMPLE-ARRAY T *))) │ │ │ + (NULL)) │ │ │ + MAXIMA::WALK-GET-LINEINFO)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((INTEGER * *) (INTEGER * *)) (INTEGER * *)) LOGANDC1 │ │ │ LOGNOR LOGNAND LOGORC2 LOGANDC2 LOGORC1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T)) (SYSTEM:TRUE)) │ │ │ PCL::|(FAST-METHOD LEGAL-LAMBDA-LIST-P (STANDARD-METHOD T))| │ │ │ PCL::|(FAST-METHOD VALIDATE-SUPERCLASS (SLOT-CLASS FORWARD-REFERENCED-CLASS))| │ │ │ @@ -15589,17 +15584,14 @@ │ │ │ (FUNCTION │ │ │ ((SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR 1) │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR 1) &REST T) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ INTL::OCTETS=)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE COMPILER::INFO)) (T)) COMPILER::INFO-TYPE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) &REST T) │ │ │ (VALUES │ │ │ (T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (OR │ │ │ (OR │ │ │ @@ -15638,27 +15630,25 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ XLIB::XCREATEIMAGE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE COMPILER::INFO)) (T)) COMPILER::INFO-TYPE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((INTEGER 0 268435454) (T)) (T)) SYSTEM::EARLY-NTHCDR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T)) (OR (MEMBER :BREAK) (MEMBER NIL))) │ │ │ SYSTEM::FIND-LINE-IN-FUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) &REST T) (OR (INTEGER 1 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::CF-CONVERGENTS-P-Q)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T)) │ │ │ (VALUES │ │ │ (T) (T) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) (LONG-FLOAT * *) │ │ │ @@ -15731,14 +15721,21 @@ │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ (MEMBER NIL)))) │ │ │ MAXIMA::SPLIT-ATANH-1/K)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE MAXIMA::GF-DATA)) (T)) MAXIMA::GF-DATA-FSX │ │ │ + MAXIMA::GF-DATA-EXP MAXIMA::GF-DATA-ORD MAXIMA::GF-DATA-FS-ORD │ │ │ + MAXIMA::GF-DATA-RED MAXIMA::GF-DATA-FSX-BASE-P MAXIMA::GF-DATA-CHAR │ │ │ + MAXIMA::GF-DATA-CARD MAXIMA::GF-DATA-X^P-POWERS │ │ │ + MAXIMA::GF-DATA-PRIM)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION (&REST T) (NULL)) SYSTEM::POOL-WATCH │ │ │ COMPILER::MAKE-PROCLAIMS COMPILER::LIST-INLINE │ │ │ COMPILER::MAKE-ALL-PROCLAIMS COMPILER::WT-CLINK │ │ │ COMPILER::LIST*-INLINE COMPILER::GET-PACKAGES SLOOP::PARSE-LOOP-WITH │ │ │ SLOOP::PARSE-LOOP-DECLARE ANSI-LOOP::LOOP-DISALLOW-CONDITIONAL │ │ │ PCL::FIX-EARLY-GENERIC-FUNCTIONS PCL::FALSE MAXIMA::SYSTEM-IMPL │ │ │ MAXIMA::$CLEAR_RULES MAXIMA::BREAK MAXIMA::$SPHERICAL_TO_XYZ │ │ │ @@ -15746,14 +15743,20 @@ │ │ │ MAXIMA::DEACTIVATE MAXIMA::ACTIVATE MAXIMA::$CONCAT_POLYGONS │ │ │ MAXIMA::$POLAR_TO_XY MAXIMA::SAVE-LINENUMBERS │ │ │ MAXIMA::$SHOW_HASH_ARRAY MAXIMA::$BACKTRACE MAXIMA::BREAK-HELP │ │ │ F2CL-LIB::STOP BREAK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) (T)) │ │ │ + (SYSTEM:PROPER-CONS (T) (T))) │ │ │ + MAXIMA::GET_RANGE-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR │ │ │ (BROADCAST-STREAM) (CONCATENATED-STREAM) (ECHO-STREAM) │ │ │ (OR │ │ │ (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ (OR (SYSTEM:STRING-INPUT-STREAM) (SYSTEM:STRING-OUTPUT-STREAM)) │ │ │ (OR │ │ │ @@ -15850,50 +15853,33 @@ │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD UNARY-DIVIDE (NUMBER))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (MEMBER (NIL)) (MEMBER (MAXIMA::$IND T NIL)) │ │ │ - (MEMBER (MAXIMA::$UND MAXIMA::$IND T NIL)) (MEMBER (T NIL))) │ │ │ - (MEMBER T) (MEMBER NIL))) │ │ │ - MAXIMA::MANIFESTLY-NONREAL-P)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T)) (VALUES (OR (SYSTEM:TRUE) (NULL)) (OR (SYSTEM:TRUE) (NULL)))) │ │ │ SYSTEM:EQUALP-IS-EQ-TP SYSTEM:EQL-IS-EQ-TP SYSTEM:EQUAL-IS-EQ-TP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (MEMBER │ │ │ - MAXIMA::UNDEFINED MAXIMA::POLYNOMIAL MAXIMA::NONPOLYNOMIAL)) │ │ │ - MAXIMA::CLASSIFY-HYPERGEOMETRIC)) │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (MEMBER NIL) (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME) │ │ │ + (MEMBER T))) │ │ │ + SYSTEM::LOGICAL-PATHNAME-DESIGNATOR-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (MEMBER 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)) │ │ │ (MEMBER 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)) │ │ │ CSTRUCT:C-SET-T-PD)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (MEMBER NIL) (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME) │ │ │ - (MEMBER T))) │ │ │ - SYSTEM::LOGICAL-PATHNAME-DESIGNATOR-P)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T)) (MEMBER (CONS (INCF COMPILER::*LAST-LABEL*) T))) │ │ │ COMPILER::NEXT-LABEL*)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE ANSI-LOOP::LOOP-MINIMAX)) (T)) │ │ │ ANSI-LOOP::LOOP-MINIMAX-INFINITY-DATA │ │ │ ANSI-LOOP::LOOP-MINIMAX-ANSWER-VARIABLE │ │ │ @@ -16173,14 +16159,18 @@ │ │ │ + *)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::NO-METHODS)) │ │ │ PCL::|__si::MAKE-NO-METHODS|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T)) (INTEGER * 9223372036854775807)) │ │ │ + MAXIMA::POISLIM1)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T)) (OR (MEMBER NIL) (INTEGER -1 1))) MAXIMA::GETSIGNL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (VALUES │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ @@ -16280,20 +16270,18 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((SYSTEM:STD-INSTANCE)) (T)) PCL::%STD-INSTANCE-SLOTS │ │ │ PCL::%STD-INSTANCE-WRAPPER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (VALUES │ │ │ - (OR (SYSTEM:TRUE) (NULL)) │ │ │ - (INTEGER -9223372036854775808 9223372036854775808) (T))) │ │ │ - MAXIMA::B-SEARCH-EXPR)) │ │ │ + ((OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL)) │ │ │ + (OR (SYSTEM:TRUE) (NULL))) │ │ │ + STANDARD-CHAR-P ALPHA-CHAR-P ALPHANUMERICP UPPER-CASE-P │ │ │ + GRAPHIC-CHAR-P LOWER-CASE-P BOTH-CASE-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (INTEGER -4294967296 4294967294)) │ │ │ XLIB:WINDOW-STRING-HEIGHT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -16304,18 +16292,19 @@ │ │ │ (MAXIMA::MAXIMA-ERROR │ │ │ "LEFTOVER-MFORMAT-ARGS?: extra mformat args ~a" │ │ │ (MAXIMA::LISTIFY MAXIMA::N))))) │ │ │ MAXIMA::LEFTOVER-MFORMAT-ARGS?)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL)) │ │ │ - (OR (SYSTEM:TRUE) (NULL))) │ │ │ - STANDARD-CHAR-P ALPHA-CHAR-P ALPHANUMERICP UPPER-CASE-P │ │ │ - GRAPHIC-CHAR-P LOWER-CASE-P BOTH-CASE-P)) │ │ │ + ((T) (T) (T) (T)) │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ + MAXIMA::*F-DLOGB)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR (SYSTEM:NON-STANDARD-BASE-CHAR) (STANDARD-CHAR) (MEMBER NIL))) │ │ │ XLIB:WINDOW-CODE-CHAR F2CL-LIB:FCHAR CODE-CHAR)) │ │ │ (PROCLAIM │ │ │ @@ -16327,30 +16316,14 @@ │ │ │ (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR (LOGICAL-PATHNAME) (SYSTEM:NON-LOGICAL-PATHNAME) (MEMBER NIL))) │ │ │ SYSTEM::LOGICAL-PATHNAME-PARSE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (OR │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (OR │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::LOG-GAMMA-LANCZOS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((STRUCTURE SYSTEM:S-DATA)) │ │ │ (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM))) │ │ │ SYSTEM::S-DATA-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ @@ -17328,14 +17301,19 @@ │ │ │ (LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (LONG-FLOAT * *)) │ │ │ (VALUES │ │ │ &OPTIONAL (NULL) (NULL) (NULL) (NULL) (NULL) (NULL) (NULL) │ │ │ (OR (INTEGER -2 0) (MEMBER NIL)) (NULL) (NULL) (NULL) (NULL))) │ │ │ SLATEC::ZASYI)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T)) (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + MAXIMA::EXPINTEGRAL-SI MAXIMA::EXPINTEGRAL-CI)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((STRUCTURE PCL::CACHE)) (T)) PCL::CACHE-OWNER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ @@ -17608,32 +17586,55 @@ │ │ │ (&REST T) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER 1) (SYSTEM:PROPER-CONS (T) (T)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ MAXIMA::TMLINSOLVE-IMPL MAXIMA::$TMLINSOLVE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (OR (INTEGER 0 1) (MEMBER NIL))) MAXIMA::OPIDENT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ &REST T) │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ MIN MAX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER * *) (INTEGER * *)) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::GCFACTOR)) │ │ │ + ((T) (T) (T)) │ │ │ + (VALUES │ │ │ + (OR │ │ │ + (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)) │ │ │ + (T) │ │ │ + (OR │ │ │ + (OR │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SIMPLE-ARRAY BIT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ + (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ + (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ + (SIMPLE-ARRAY FIXNUM (*))) │ │ │ + (OR │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY T *) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))))) │ │ │ + PCL::|(FAST-METHOD COMPUTE-DISCRIMINATING-FUNCTION-ARGLIST-INFO (STANDARD-GENERIC-FUNCTION))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION NIL (MEMBER "")) MAXIMA::GNUPLOT_CLOSE-IMPL │ │ │ MAXIMA::GNUPLOT_START-IMPL MAXIMA::BUG_REPORT-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -17679,46 +17680,14 @@ │ │ │ BIGFLOAT-IMPL:MAX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T) (T)) NIL) │ │ │ PCL::|(FAST-METHOD SLOT-MISSING (T T T T))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (VALUES │ │ │ - (OR │ │ │ - (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)) │ │ │ - (T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SIMPLE-ARRAY BIT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT (*)) │ │ │ - (SIMPLE-ARRAY SHORT-FLOAT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-INT (*)) │ │ │ - (SIMPLE-ARRAY LONG-FLOAT (*)) (SIMPLE-ARRAY T (*)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM (*)) │ │ │ - (SIMPLE-ARRAY FIXNUM (*))) │ │ │ - (OR │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY T *) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ - (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))))) │ │ │ - PCL::|(FAST-METHOD COMPUTE-DISCRIMINATING-FUNCTION-ARGLIST-INFO (STANDARD-GENERIC-FUNCTION))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION (&REST T) (VALUES &OPTIONAL (NULL))) │ │ │ SYSTEM::BREAK-PREVIOUS SYSTEM::BREAK-VS SYSTEM::BREAK-NEXT │ │ │ SYSTEM::BREAK-LOCAL SYSTEM::IHS-BACKTRACE │ │ │ SYSTEM::SHOW-BREAK-VARIABLES SYSTEM::BREAK-BDS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -18075,14 +18044,16 @@ │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (OR │ │ │ (LONG-FLOAT * *) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ MAXIMA::ELLIPTIC-E)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T)) (INTEGER -12552 12552)) MAXIMA::OPT-HASH)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ @@ -18129,52 +18100,40 @@ │ │ │ (LONG-FLOAT 0.30102999566398117 0.30102999566398117) │ │ │ (LONG-FLOAT 1.7976931348623158E308 1.7976931348623158E308) │ │ │ (LONG-FLOAT 2.2204460492503138E-16 2.2204460492503138E-16))) │ │ │ F2CL-LIB:R1MACH F2CL-LIB:D1MACH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (MEMBER (MAXIMA::$PN)) │ │ │ - (MEMBER (MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ - (MEMBER │ │ │ - (MAXIMA::$NZ │ │ │ - MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ - (MEMBER │ │ │ - (MAXIMA::$PNZ │ │ │ - MAXIMA::$NEG MAXIMA::$NZ MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS │ │ │ - MAXIMA::$PN)) │ │ │ - (MEMBER │ │ │ - (MAXIMA::$NEG │ │ │ - MAXIMA::$NZ MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ - (MEMBER (MAXIMA::$ZERO MAXIMA::$PZ MAXIMA::$POS MAXIMA::$PN)) │ │ │ - (MEMBER (MAXIMA::$POS MAXIMA::$PN))) │ │ │ - (MEMBER NIL))) │ │ │ - MAXIMA::LENIENT-EXTENDED-REALP MAXIMA::LENIENT-REALP)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (BROADCAST-STREAM) (CONCATENATED-STREAM) (ECHO-STREAM) │ │ │ (OR │ │ │ (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ (OR (SYSTEM:STRING-INPUT-STREAM) (SYSTEM:STRING-OUTPUT-STREAM)) │ │ │ (OR │ │ │ (SYSTEM::FILE-SYNONYM-STREAM) (SYSTEM::NON-FILE-SYNONYM-STREAM)) │ │ │ (TWO-WAY-STREAM))) │ │ │ (T)) │ │ │ CSTRUCT:C-STREAM-OBJECT0 CSTRUCT:C-STREAM-OBJECT1)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T)) (INTEGER 0 1073741820)) COMPILER::MAXARGS)) │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T)) │ │ │ + (OR │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL))) │ │ │ + MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (GNUPLOT-PLOT T))|)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T) (T)) (MEMBER -1 0 1)) MAXIMA::REVAL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T)) (VALUES &OPTIONAL (LONG-FLOAT * *) (NULL))) │ │ │ + MAXIMA::ERF)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T)) │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ @@ -18203,14 +18162,16 @@ │ │ │ (FUNCTION ((T) (T)) (MEMBER COMPILER::+C1NIL+)) COMPILER::C1NIL)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T)) (INTEGER 0 63)) CSTRUCT:C-T-MRANK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (STRUCTURE) (T)) NIL) │ │ │ PCL::|(FAST-METHOD MAKE-LOAD-FORM (STRUCTURE-OBJECT))|)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T)) (INTEGER 0 1073741820)) COMPILER::MAXARGS)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) (OR (INTEGER 26 28) (INTEGER 0 13) (INTEGER 15 24))) │ │ │ SYSTEM:CNUM-TYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -18272,31 +18233,23 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ CSTRUCT:C-SET-SYMBOL-NAME)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) &REST T) │ │ │ - (OR │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (OR │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ - (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ - (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::GAMMA-INCOMPLETE)) │ │ │ + (FUNCTION ((T) (T)) (MEMBER (GO ANSI-LOOP::END-LOOP))) LOOP-FINISH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T)) (MEMBER (GO ANSI-LOOP::END-LOOP))) LOOP-FINISH)) │ │ │ + (FUNCTION │ │ │ + ((OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL) │ │ │ + (INTEGER 0 255)) │ │ │ + (INTEGER 0 255)) │ │ │ + CSTRUCT:C-SET-CHARACTER-FONT CSTRUCT:C-SET-CHARACTER-BITS │ │ │ + CSTRUCT:C-SET-CHARACTER-CODE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) &REST T) (T)) SYSTEM::FILE-SEARCH SYSTEM::NLOAD │ │ │ SYSTEM::PROCESS-SOME-ARGS SYSTEM::ATOMIC-TP-PROPAGATOR │ │ │ SYSTEM::LINK-EXPAND SYSTEM::SI-MAKE-CONDITION SYSTEM::STD-RECON │ │ │ SYSTEM::LVP SYSTEM::CNS-RECON SYSTEM::CMP-RECON SYSTEM::FUNID-P │ │ │ SYSTEM::MAYBE-CONS-KEYNAME SYSTEM::AR-RECON SYSTEM::NA │ │ │ @@ -18332,22 +18285,14 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE COMPILER::VAR)) (T)) COMPILER::VAR-STORE │ │ │ COMPILER::VAR-TAG COMPILER::VAR-TYPE COMPILER::VAR-NAME │ │ │ COMPILER::VAR-REF-CCB COMPILER::VAR-LOC COMPILER::VAR-MT │ │ │ COMPILER::VAR-KIND COMPILER::VAR-ALIASES COMPILER::VAR-DT │ │ │ COMPILER::VAR-REF)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((OR (OR (STANDARD-CHAR) (SYSTEM:NON-STANDARD-BASE-CHAR)) NIL) │ │ │ - (INTEGER 0 255)) │ │ │ - (INTEGER 0 255)) │ │ │ - CSTRUCT:C-SET-CHARACTER-FONT CSTRUCT:C-SET-CHARACTER-BITS │ │ │ - CSTRUCT:C-SET-CHARACTER-CODE)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T)) (INTEGER 0 63)) COMPILER::IFLAGS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ @@ -18359,18 +18304,15 @@ │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) (VALUES (T) (NULL) (STRUCTURE PCL::ONE-CLASS))) │ │ │ PCL::MAKE-ONE-CLASS-ACCESSOR-DFUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (STRUCTURE ANSI-LOOP::LOOP-UNIVERSE)) │ │ │ ANSI-LOOP::MAKE-ANSI-LOOP-UNIVERSE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T) (T) (T) (T) (T)) (VALUES (T) (T) (T))) │ │ │ - MAXIMA::GF-DLOG-F)) │ │ │ +(PROCLAIM '(FTYPE (FUNCTION ((INTEGER * *)) (T)) MAXIMA::IMODP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE ANSI-LOOP::LOOP-UNIVERSE)) │ │ │ ANSI-LOOP::MAKE-STANDARD-LOOP-UNIVERSE │ │ │ ANSI-LOOP::MAKE-LOOP-UNIVERSE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -18457,21 +18399,14 @@ │ │ │ CSTRUCT:C-SET-HASHTABLE-STATIC)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) &REST T) (STRUCTURE PCL::CACHE)) PCL::MAP-CACHE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ - (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT 1)) │ │ │ - MAXIMA::MAKE-GRID-VERTICES)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (SYSTEM:STD-INSTANCE)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD MINUSP (BIGFLOAT))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD PLUSP (BIGFLOAT))| │ │ │ BIGFLOAT::|(PCL::FAST-METHOD ZEROP (COMPLEX-BIGFLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((INTEGER 0 9223372036854775807)) (INTEGER 0 127)) │ │ │ @@ -18806,14 +18741,18 @@ │ │ │ (SYSTEM:PROPER-CONS │ │ │ (OR (SYSTEM:GSYM) (MEMBER NIL) (MEMBER T) (KEYWORD)) │ │ │ (MEMBER NIL)))))) │ │ │ (NULL)) │ │ │ DISASSEMBLE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION (&REST T) (STRUCTURE MAXIMA::EF-DATA)) │ │ │ + MAXIMA::MAKE-EF-DATA MAXIMA::$EF_GET_DATA)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::DISPATCH)) (STRUCTURE PCL::DISPATCH)) │ │ │ PCL::COPY-DISPATCH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T) (T) │ │ │ @@ -18822,14 +18761,22 @@ │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (T)) │ │ │ XLIB::XSETSTANDARDPROPERTIES)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T) (T) (T) (T) (T)) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ + MAXIMA::GNUPLOT-PLOT3D-COMMAND)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T)) (OR (INTEGER 1 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ MAXIMA::MONOMGCD)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((MEMBER 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15) (INTEGER * *) │ │ │ (INTEGER * *)) │ │ │ @@ -18879,22 +18826,14 @@ │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL))) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ ENDP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (SHORT-FLOAT 0.0S0 (360.0S0)) (INTEGER 0 359) (RATIO (0) (360)) │ │ │ - (LONG-FLOAT 0.0 (360.0)))) │ │ │ - MAXIMA::PARSE-AZIMUTH)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ SYSTEM::NTP-AND?C2-NIL-P SYSTEM::NONREGEXP-STRING-P │ │ │ COMPILER::TRUNCATE-PROGN-AT-NIL-RETURN-P COMPILER::CAN-BE-REPLACED* │ │ │ XLIB:EDITMENU-SETXY XLIB:PICMENU-BUTTON-CONTAINSXY? │ │ │ ITERATE::VARIABLE-SAME-P PCL::SKIP-FAST-SLOT-ACCESS-P │ │ │ PCL::SKIP-OPTIMIZE-SLOT-VALUE-BY-CLASS-P PCL::ENTRY-IN-CACHE-P │ │ │ PCL::|(FAST-METHOD CLASS-FINALIZED-P (PCL-CLASS))| MAXIMA::DLSF │ │ │ @@ -19052,14 +18991,19 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (OR (SYSTEM:TRUE) (NULL))) │ │ │ MAXIMA::DIAGP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((STRUCTURE MAXIMA::EF-DATA)) (STRUCTURE MAXIMA::EF-DATA)) │ │ │ + MAXIMA::COPY-EF-DATA)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::DISPATCH)) │ │ │ PCL::|__si::MAKE-DISPATCH|)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T) (T)) (INTEGER 0 0)) MAXIMA::PZERO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::NO-METHODS)) (T)) PCL::NO-METHODS-CACHE)) │ │ │ (PROCLAIM │ │ │ @@ -19133,14 +19077,19 @@ │ │ │ MAXIMA::FREESUM MAXIMA::LAPINT MAXIMA::ORDLIST MAXIMA::2F1POLYS │ │ │ MAXIMA::SIMPSUM1-SAVE MAXIMA::BYDIF MAXIMA::LIMIT-SUBS │ │ │ MAXIMA::SIMPSUM2 MAXIMA::LEGPOL-CORE MAXIMA::DEFINT │ │ │ MAXIMA::EPROGRATD MAXIMA::INITIAL-ANALYSIS MAXIMA::LDEFINT-IMPL │ │ │ MAXIMA::SP2INTEG2 MAXIMA::COEFFTT MAXIMA::SOLVEX MAXIMA::RATFNT │ │ │ MAXIMA::INTSC1 MAXIMA::COEFFPORT MAXIMA::COEFFRET BIGFLOAT::NOT-DONE │ │ │ BIGFLOAT::BF-RJ1 BIGFLOAT::BF-RJ)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER 1 *) (STRUCTURE MT19937:RANDOM-STATE)) (INTEGER * *)) │ │ │ + MT19937::%RANDOM-INTEGER)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T)) (MEMBER 0 1 2 3)) CSTRUCT:C-T-MF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL *) (SIMPLE-ARRAY CHARACTER *) │ │ │ @@ -19160,18 +19109,14 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (INTEGER 0 63)) │ │ │ (INTEGER 0 268435455)) │ │ │ ARRAY-DIMENSION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) &REST T) (MEMBER MAXIMA::$DONE)) │ │ │ - MAXIMA::FORTMX-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR │ │ │ (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ @@ -19320,34 +19265,14 @@ │ │ │ MAXIMA::COMPSPLT-SINGLE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (NOT (MEMBER NIL))) MAXIMA::ZASSG │ │ │ MAXIMA::NO-ERR-SUB-VAR MAXIMA::DISP1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY FIXNUM 1) (SIMPLE-ARRAY T 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-INT 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR 1) (SIMPLE-ARRAY BIT 1) │ │ │ - (SIMPLE-ARRAY NIL 1) (SYSTEM:PROPER-CONS (T) (T)) │ │ │ - (SIMPLE-ARRAY CHARACTER 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT 1) │ │ │ - (SIMPLE-ARRAY SHORT-FLOAT 1) (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT 1) │ │ │ - (SIMPLE-ARRAY LONG-FLOAT 1) │ │ │ - (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM 1) (MEMBER NIL))) │ │ │ - MAXIMA::GETLEVELS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER 0 4294967295)) INTL::READ-LELONG │ │ │ INTL::READ-BELONG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION NIL (INTEGER * *)) MAXIMA::[MAX-TRUNC] MAXIMA::NEXT-COSET │ │ │ MT19937::GENERATE-SEED)) │ │ │ (PROCLAIM │ │ │ @@ -19381,26 +19306,28 @@ │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *)))) │ │ │ SYSTEM::ADIMS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (OR │ │ │ - (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ - (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ - (OR │ │ │ - (OR │ │ │ - (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ - (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ - (SYSTEM::FILE-SYNONYM-STREAM)))) │ │ │ - SYSTEM::WRITE-SYMTAB)) │ │ │ + ((T) &REST T) (OR (INTEGER 1 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::CF-CONVERGENTS-P-Q)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (VALUES │ │ │ + (OR (SYSTEM:TRUE) (NULL)) │ │ │ + (INTEGER -9223372036854775808 9223372036854775808) (T))) │ │ │ + MAXIMA::B-SEARCH-EXPR)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION ((T) &REST T) (SIMPLE-ARRAY T (13))) PCL::MAKE-WRAPPER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ SYSTEM::MATRIX-FIXNUM-SIMPLE-TYPEP-FN │ │ │ SYSTEM::PPRINT-CHECK-FORMAT-STRING │ │ │ SYSTEM::MATRIX-CHARACTER-SIMPLE-TYPEP-FN SYSTEM::HASH-TABLE-EQUALP-P │ │ │ SYSTEM::EQUAL-IS-EQ-TP-SIMPLE-TYPEP-FN │ │ │ @@ -19769,15 +19696,27 @@ │ │ │ RATIONALP RANDOM-STATE-P INTEGERP COMPLEXP SIMPLE-BIT-VECTOR-P │ │ │ PACKAGEP VECTORP ARRAYP STREAMP SIMPLE-VECTOR-P BIT-VECTOR-P REALP │ │ │ READTABLEP CHARACTERP STRINGP HASH-TABLE-P NUMBERP OUTPUT-STREAM-P │ │ │ COMPILED-FUNCTION-P KEYWORDP DELETE-PACKAGE NOT NULL FLOATP CONSP │ │ │ FUNCTIONP ATOM LISTP INPUT-STREAM-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) &REST T) (SIMPLE-ARRAY T (13))) PCL::MAKE-WRAPPER)) │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T)) │ │ │ + (OR │ │ │ + (OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ + (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ + (SYSTEM::FILE-SYNONYM-STREAM)))) │ │ │ + SYSTEM::WRITE-SYMTAB)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) &REST T) │ │ │ (OR │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL))) │ │ │ @@ -19850,18 +19789,14 @@ │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (INTEGER 0 63)) │ │ │ CSTRUCT:C-FUNCTION-MINARG CSTRUCT:C-FUNCTION-MAXARG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((INTEGER * *)) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ - MAXIMA::PSUMSQ MAXIMA::GF-N2X MAXIMA::GF-N2L)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (INTEGER * *) (RATIO * *))) │ │ │ (LONG-FLOAT 3.141592653589793 3.141592653589793)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD %PI (COMMON-LISP:RATIONAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((INTEGER * *) &REST T) (INTEGER * *)) │ │ │ @@ -19912,19 +19847,14 @@ │ │ │ (TWO-WAY-STREAM)) │ │ │ (MEMBER 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)) │ │ │ (MEMBER 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)) │ │ │ CSTRUCT:C-SET-STREAM-MODE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((OR (SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY T *))) (NULL)) │ │ │ - MAXIMA::SPHERICAL_TO_XYZ-IMPL MAXIMA::POLAR_TO_XY-IMPL)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ COMPILER::BLLA-RECUR COMPILER::TPPRA │ │ │ PCL::|(FAST-METHOD COMPUTE-EFFECTIVE-SLOT-DEFINITION-INITARGS :AROUND (STRUCTURE-CLASS T))| │ │ │ PCL::|(FAST-METHOD MAKE-READER-METHOD-FUNCTION (SLOT-CLASS T))| │ │ │ PCL::|(FAST-METHOD MAKE-WRITER-METHOD-FUNCTION (SLOT-CLASS T))| │ │ │ PCL::|(FAST-METHOD MAKE-BOUNDP-METHOD-FUNCTION (SLOT-CLASS T))| │ │ │ @@ -19975,14 +19905,18 @@ │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ (SYSTEM:INTERPRETED-FUNCTION))) │ │ │ (VALUES &REST T)) │ │ │ PCL::ORDER-SPECIALIZERS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T)) (VALUES (T) (OR (SYSTEM:TRUE) (NULL)))) │ │ │ + MAXIMA::INT-DIFF-SUBSTITUTE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((PACKAGE)) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ CSTRUCT:C-PACKAGE-NAME)) │ │ │ (PROCLAIM │ │ │ @@ -19993,19 +19927,36 @@ │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ (T)) │ │ │ SYSTEM::GETHASH1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((T) (T)) │ │ │ + (VALUES │ │ │ + &OPTIONAL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ + (OR │ │ │ + (OR │ │ │ + (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL)))) │ │ │ + MAXIMA::GF-DIVIDE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM))) │ │ │ (INTEGER 0 1)) │ │ │ CSTRUCT:C-SYMBOL-MFLAG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807)) │ │ │ + (VALUES &REST T)) │ │ │ + MAXIMA::LUCAS MAXIMA::DBM-UP)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION NIL (STRUCTURE PCL::INITIAL-DISPATCH)) │ │ │ PCL::INITIAL-DISPATCH-DFUN-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (SYSTEM:NON-LOGICAL-PATHNAME) (LOGICAL-PATHNAME)) │ │ │ (OR │ │ │ @@ -20024,64 +19975,50 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) &REST T) │ │ │ (NULL)) │ │ │ SYSTEM::DEFINE-STRUCTURE)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T) (T) (T)) │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ - MAXIMA::*F-DLOGB)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE (FUNCTION ((T) (T)) (MEMBER '(1.0 . 1.0))) MAXIMA::RCFONE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP)) │ │ │ (INTEGER 0 1073741823)) │ │ │ (INTEGER 0 1073741823)) │ │ │ CSTRUCT:C-SET-HASHTABLE-PAD3)) │ │ │ (PROCLAIM '(FTYPE (FUNCTION ((T)) (MEMBER ((1 . 1)))) MAXIMA::LI-ORD)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (T)) │ │ │ - (VALUES │ │ │ - (INTEGER * *) │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ - MAXIMA::NXTBINCOEF)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T)) (INTEGER 0 *)) MAXIMA::GF-DLOG-NAIVE │ │ │ - MAXIMA::DLOG-NAIVE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ - (VALUES &OPTIONAL (LONG-FLOAT 0.0 *) (NULL) (NULL))) │ │ │ - SLATEC::ZABS)) │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (LONG-FLOAT * *) (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ + (MEMBER NIL))) │ │ │ + MAXIMA::HYP-NEGP-IN-L)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (LONG-FLOAT 1.0 1.0) (SHORT-FLOAT 1.0S0 1.0S0) (MEMBER NIL) │ │ │ (RATIO 1/2 1/2) (INTEGER 1 1))) │ │ │ SYSTEM::REAL-REP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ + (VALUES &OPTIONAL (LONG-FLOAT 0.0 *) (NULL) (NULL))) │ │ │ + SLATEC::ZABS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((OR │ │ │ (AND │ │ │ (OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ (NOT (OR (SYSTEM:TRUE) (NULL)))) │ │ │ (OR │ │ │ (OR │ │ │ (SYSTEM:FUNCALLABLE-STD-INSTANCE) │ │ │ @@ -20177,18 +20114,14 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) (OR (INTEGER 0 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ PCL::FUNCALLABLE-INSTANCE-DATA-POSITION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE MAXIMA::GF-DATA)) │ │ │ - MAXIMA::MAKE-GF-DATA MAXIMA::$GF_GET_DATA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T)) │ │ │ (VALUES │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ @@ -20299,14 +20232,20 @@ │ │ │ (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT 1) │ │ │ (SIMPLE-ARRAY SHORT-FLOAT 1) (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT 1) │ │ │ (SIMPLE-ARRAY LONG-FLOAT 1) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM 1) (MEMBER NIL)))) │ │ │ GETOPT::ANALYZE-ARG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T)) │ │ │ + (OR (MEMBER MAXIMA::FLOAT MAXIMA::BIGFLOAT) (MEMBER NIL))) │ │ │ + MAXIMA::USE-FLOAT-HYPERGEOMETRIC-NUMERICAL-EVAL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((SHORT-FLOAT * *)) (SHORT-FLOAT * *)) SYSTEM::BSQRTF │ │ │ |libm|:|lgammaf| |libm|:|tgammaf| |libm|:|logf| |libm|:|fabsf| │ │ │ |libm|:|sinhf| |libm|:|asinf| |libm|:|asinhf| |libm|:|acoshf| │ │ │ |libm|:|tanhf| |libm|:|coshf| |libm|:|sinf| |libm|:|tanf| │ │ │ |libm|:|erfcf| |libm|:|atanf| |libm|:|cosf| |libm|:|sqrtf| │ │ │ |libm|:|acosf| |libm|:|atanhf| |libm|:|expf| |libm|:|erff|)) │ │ │ (PROCLAIM │ │ │ @@ -20351,24 +20290,28 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T)) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ PCL::EXPAND-DEFMETHOD MAXIMA::DRAW3D MAXIMA::BMHK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T)) (OR (STRUCTURE COMPILER::FUN) (MEMBER NIL))) │ │ │ - COMPILER::LOCAL-MACRO-P)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ - NIL │ │ │ + ((T) (T) &REST T) │ │ │ (OR │ │ │ - (SIMPLE-ARRAY CHARACTER (*)) │ │ │ - (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ - SYSTEM::DEFAULT-INFO-HOTLIST)) │ │ │ + (OR │ │ │ + (OR (INTEGER * *) (RATIO * *)) │ │ │ + (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (INTEGER * *) (INTEGER * *)) │ │ │ + (SYSTEM:COMPLEX* (RATIO * *) (RATIO * *)) │ │ │ + (SYSTEM:COMPLEX* (SHORT-FLOAT * *) (SHORT-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))))) │ │ │ + MAXIMA::GAMMA-INCOMPLETE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T)) │ │ │ (OR │ │ │ (OR │ │ │ (MEMBER (MAXIMA::%COT)) │ │ │ @@ -20382,14 +20325,26 @@ │ │ │ MAXIMA::%COT)) │ │ │ (MEMBER (MAXIMA::%SEC MAXIMA::%TAN MAXIMA::%CSC MAXIMA::%COT)) │ │ │ (MEMBER (MAXIMA::%CSC MAXIMA::%COT))) │ │ │ (MEMBER NIL))) │ │ │ MAXIMA::OPTRIG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T)) (OR (STRUCTURE COMPILER::FUN) (MEMBER NIL))) │ │ │ + COMPILER::LOCAL-MACRO-P)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + NIL │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY CHARACTER (*)) │ │ │ + (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ + SYSTEM::DEFAULT-INFO-HOTLIST)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ NIL │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ @@ -20408,22 +20363,26 @@ │ │ │ (SIMPLE-ARRAY FIXNUM (*))) │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ SYSTEM::GET-TEMP-DIR SYSTEM::CURRENT-DIRECTORY-NAMESTRING)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION (&REST T) (LONG-FLOAT 0.0 0.0)) MAXIMA::$ZERO_FUN)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((STRUCTURE SYSTEM::CONTEXT)) │ │ │ (OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ SYSTEM::CONTEXT-SPICE)) │ │ │ (PROCLAIM │ │ │ + '(FTYPE (FUNCTION ((T)) (INTEGER 1 13)) MAXIMA::GNUPLOT-POINTTYPE)) │ │ │ +(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (VALUES │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (T))) │ │ │ PCL::SPLIT-DECLARATIONS-MOVING-IGNORES)) │ │ │ @@ -20492,18 +20451,14 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) (VALUES &REST T)) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD DECODE-FLOAT (COMMON-LISP:FLOAT))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((INTEGER * *)) (VALUES &REST T)) MAXIMA::EF-CMOD │ │ │ - MAXIMA::EF-CINV)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ (INTEGER 0 4294967295)) │ │ │ CSTRUCT:C-HASHTABLE-PAD4)) │ │ │ (PROCLAIM │ │ │ @@ -20567,18 +20522,16 @@ │ │ │ ((T) (T)) │ │ │ (VALUES │ │ │ &OPTIONAL (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) (T))) │ │ │ ITERATE::PARSE-DECLARATIONS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (T)) │ │ │ - (VALUES &OPTIONAL (INTEGER * *) (OR (INTEGER * *) (MEMBER NIL)))) │ │ │ - MAXIMA::F2-DIVIDE)) │ │ │ + (FUNCTION ((T)) (OR (LONG-FLOAT * *) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::EXPINT-IMPL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) │ │ │ (VALUES │ │ │ &OPTIONAL │ │ │ (OR │ │ │ @@ -20598,14 +20551,20 @@ │ │ │ (STRUCTURE PCL::CACHING) (STRUCTURE PCL::DISPATCH) │ │ │ (STRUCTURE PCL::CONSTANT-VALUE)) │ │ │ (MEMBER NIL)))) │ │ │ PCL::MAKE-CACHING-DFUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((STRUCTURE MT19937:RANDOM-STATE)) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) │ │ │ + MT19937::RANDOM-STATE-STATE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -20827,29 +20786,25 @@ │ │ │ MAXIMA::D-HBAR MAXIMA::ASSOC-IMPL MAXIMA::ASS-EQ-REF │ │ │ MAXIMA::DIMENSION-LIST MAXIMA::TCL_OUTPUT-IMPL BIGFLOAT::LAMBERT-W-K │ │ │ INTL::FIND-DOMAIN INTL::NOTE-TRANSLATABLE │ │ │ F2CL-LIB::EXECUTE-FORMAT-MAIN PPRINT-TABULAR PPRINT-FILL │ │ │ PPRINT-LINEAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T) (OR (SIMPLE-ARRAY T (*)) (SYSTEM::NON-SIMPLE-ARRAY T *))) │ │ │ - (NULL)) │ │ │ - MAXIMA::WALK-GET-LINEINFO)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE MAXIMA::TC-STATE)) │ │ │ - MAXIMA::MAKE-TC-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::PV-TABLE)) (STRUCTURE PCL::PV-TABLE)) │ │ │ PCL::COPY-PV-TABLE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER * *) (INTEGER * *)) │ │ │ + (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::GCFACTOR)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) &REST T) │ │ │ (VALUES │ │ │ (T) (T) │ │ │ (OR │ │ │ (OR │ │ │ (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL)) │ │ │ @@ -20863,24 +20818,26 @@ │ │ │ COPY-ALIST)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) &REST T) (STRUCTURE PCL::INITIALIZE-INFO)) │ │ │ PCL::INITIALIZE-INFO)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE COMPILER::FUN)) (STRUCTURE COMPILER::FUN)) │ │ │ - COMPILER::COPY-FUN)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ + ((T) (T)) │ │ │ (OR │ │ │ - (SHORT-FLOAT -180.0S0 (180.0S0)) (INTEGER -180 179) │ │ │ - (RATIO (-180) (180)) (LONG-FLOAT -180.0 (180.0)))) │ │ │ - MAXIMA::PARSE-ELEVATION)) │ │ │ + (MEMBER MAXIMA::$NOTCOMPARABLE MAXIMA::$UNKNOWN) │ │ │ + (OR │ │ │ + (MEMBER ">=") (MEMBER "<=") (MEMBER "=") (MEMBER "<") │ │ │ + (MEMBER ">") (MEMBER "=") (MEMBER "#")))) │ │ │ + MAXIMA::COMPARE-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION ((STRUCTURE COMPILER::FUN)) (STRUCTURE COMPILER::FUN)) │ │ │ + COMPILER::COPY-FUN)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (SIMPLE-ARRAY BIT *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)) │ │ │ (INTEGER 0 268435454)) │ │ │ (INTEGER 0 1)) │ │ │ SYSTEM::0-BYTE-ARRAY-SELF)) │ │ │ @@ -20906,29 +20863,33 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (INTEGER 0 31)) (INTEGER 0 31)) CSTRUCT:C-SET-T-TT │ │ │ CSTRUCT:C-SET-T-T CSTRUCT:C-SET-T-MELTTYPE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T)) │ │ │ + ((T) (T) (T)) │ │ │ (OR │ │ │ - (OR (MEMBER (MAXIMA::$NZ)) (MEMBER (MAXIMA::$NEG MAXIMA::$NZ))) │ │ │ - (MEMBER T) (MEMBER NIL))) │ │ │ - MAXIMA::MMINUSP*)) │ │ │ + (MEMBER NIL) (MEMBER MAXIMA::$UNKNOWN) │ │ │ + (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::*F-PRIM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER 0 *) &REST T) │ │ │ (OR (SYSTEM:NON-STANDARD-BASE-CHAR) (STANDARD-CHAR) (MEMBER NIL))) │ │ │ DIGIT-CHAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) &REST T) (VALUES (T) (OR (SYSTEM:TRUE) (NULL)) (T))) │ │ │ - ANSI-LOOP::LOOP-CONSTANT-FOLD-IF-POSSIBLE)) │ │ │ + (FUNCTION │ │ │ + ((T)) │ │ │ + (OR │ │ │ + (OR (MEMBER (MAXIMA::$NZ)) (MEMBER (MAXIMA::$NEG MAXIMA::$NZ))) │ │ │ + (MEMBER T) (MEMBER NIL))) │ │ │ + MAXIMA::MMINUSP*)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (LONG-FLOAT * *) (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ @@ -20951,14 +20912,18 @@ │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T) (T) (T) (T)) │ │ │ (SYSTEM:PROPER-CONS (T) (T))) │ │ │ ANSI-LOOP::LOOP-SEQUENCER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) &REST T) (VALUES (T) (OR (SYSTEM:TRUE) (NULL)) (T))) │ │ │ + ANSI-LOOP::LOOP-CONSTANT-FOLD-IF-POSSIBLE)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::METHOD-CALL)) │ │ │ PCL::MAKE-METHOD-CALL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR │ │ │ @@ -20994,15 +20959,16 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T)) (VALUES &OPTIONAL (T) (OR (SYSTEM:TRUE) (NULL)))) │ │ │ PCL::CHECK-INITARGS-VALUES)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION NIL (STRUCTURE MAXIMA::EF-DATA)) MAXIMA::EF_GET_DATA-IMPL)) │ │ │ + (FUNCTION ((T) (T) (T)) (OR (INTEGER 0 *) (MEMBER NIL))) │ │ │ + MAXIMA::ZN-PRIMROOT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T)) (T)) SYSTEM::CMP-K SYSTEM::CMP^ │ │ │ SYSTEM::SET-HTENT-VALUE SYSTEM::RNG-BND SYSTEM::SAFE-EVAL │ │ │ SYSTEM::IBB SYSTEM::LEFT-PARENTHESIS-READER SYSTEM::INTS-TPS │ │ │ SYSTEM::?-ADD SYSTEM::NORM-TP-INTS SYSTEM::TP8-TYPE-PROPAGATOR │ │ │ SYSTEM::TP7-TYPE-PROPAGATOR SYSTEM::TP6-TYPE-PROPAGATOR │ │ │ @@ -21452,14 +21418,18 @@ │ │ │ MAXIMA::PMON1 BIGFLOAT:SUM-POWER-SERIES │ │ │ BIGFLOAT::LI-USING-POWERS-OF-LOG INTL:DGETTEXT │ │ │ F2CL-LIB:WITH-MULTI-ARRAY-DATA F2CL-LIB:INT-ADD F2CL-LIB:INT-MUL │ │ │ F2CL-LIB::COL-MAJOR-INDEX F2CL-LIB::MULTI-ARRAY-DATA-AUX COERCE WHEN │ │ │ COND AND UNLESS OR SLOT-BOUNDP TYPECASE SLOT-MAKUNBOUND SLOT-VALUE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) &REST T) (MEMBER MAXIMA::$DONE)) │ │ │ + MAXIMA::FORTMX-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T)) (OR (PACKAGE) (MEMBER NIL))) PCL::CONSTANT-SYMBOL-P │ │ │ PCL::INTERNED-SYMBOL-P)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ @@ -21568,21 +21538,14 @@ │ │ │ (FUNCTION │ │ │ ((T) (T) (INTEGER -9223372036854775808 9223372036854775807) (T)) │ │ │ (NULL)) │ │ │ MAXIMA::POLYIZE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (T) (SYSTEM:STD-INSTANCE) (T) (T)) │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T)))) │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (XMAXIMA-PLOT T))| │ │ │ - MAXIMA::|(PCL::FAST-METHOD PLOT-SHIPOUT (GEOMVIEW-PLOT T))|)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((T) (T) (T) (T) (T) &REST T) │ │ │ (OR │ │ │ (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (NULL))) │ │ │ XLIB:WINDOW-TRACK-MOUSE-IN-REGION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -21636,25 +21599,25 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ SYSTEM:PARSE-BODY-HEADER)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) &REST T) (SIMPLE-ARRAY CHARACTER (*))) │ │ │ - SYSTEM::FILE-TO-STRING COMPILER::GCST PCL::CAPITALIZE-WORDS)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ (VALUES &REST T)) │ │ │ MAXIMA::EXPONENTIATE-SUM MAXIMA::CPBQ1 MAXIMA::EXPANDEXPT │ │ │ MAXIMA::TDBU)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) &REST T) (SIMPLE-ARRAY CHARACTER (*))) │ │ │ + SYSTEM::FILE-TO-STRING COMPILER::GCST PCL::CAPITALIZE-WORDS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION NIL (SYSTEM:NON-STANDARD-OBJECT-COMPILED-FUNCTION)) │ │ │ COMPILER::MC PCL::ALLOCATE-FUNCALLABLE-INSTANCE-2)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -21684,14 +21647,21 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (INTEGER 0 31)) CSTRUCT:C-T-MELTTYPE CSTRUCT:C-T-T │ │ │ CSTRUCT:C-T-TT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((INTEGER * *) (INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (T)) │ │ │ + (SIMPLE-ARRAY T (*))) │ │ │ + MAXIMA::GF-X^P-POWERS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ (VALUES │ │ │ &OPTIONAL (NULL) (OR (LONG-FLOAT * *) (MEMBER NIL)) │ │ │ (OR (LONG-FLOAT * *) (MEMBER NIL)))) │ │ │ SLATEC::D9B0MP SLATEC::D9B1MP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -21709,14 +21679,21 @@ │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) (T) (T)) (SYSTEM:PROPER-CONS (T) (T))) │ │ │ COMPILER::LIT-LOC)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (VALUES &REST T)) │ │ │ + MAXIMA::FRAC-EXPINTEGRAL-E)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) (INTEGER * *)) MAXIMA::NROOT1 │ │ │ MAXIMA::COLLISION-CHECK MAXIMA::TODD-COXETER MAXIMA::BIG-PRIME-VAR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) &REST T) (OR (SYSTEM:TRUE) (NULL))) │ │ │ MAXIMA::BFLOAT-FORMAT-F)) │ │ │ (PROCLAIM │ │ │ @@ -21761,19 +21738,28 @@ │ │ │ PCL::EMIT-IN-CHECKING-CACHE-P PCL::EMIT-CONSTANT-VALUE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE PCL::CACHE)) (INTEGER 1 256)) │ │ │ PCL::CACHE-LINE-SIZE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION (&REST T) (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ + MAXIMA::$MAKE_RANDOM_STATE MT19937:MAKE-RANDOM-STATE │ │ │ + MT19937::MAKE-RANDOM-OBJECT)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T)) (OR (SYSTEM:TRUE) (NULL))) │ │ │ XLIB:EDITMENU-EDIT-FN MAXIMA::SMOOTH-ENOUGH-P MAXIMA::*F-PRIM-P-2 │ │ │ BIGFLOAT::INTERPOLATE-CHECK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T)) (STRUCTURE MT19937:RANDOM-STATE)) │ │ │ + MAXIMA::MAKE_RANDOM_STATE-IMPL)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((STRUCTURE COMMAND-LINE:CL-OPTION)) │ │ │ (STRUCTURE COMMAND-LINE:CL-OPTION)) │ │ │ COMMAND-LINE::COPY-CL-OPTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (MEMBER MAXIMA::$YES MAXIMA::$NO MAXIMA::$UNKNOWN)) │ │ │ @@ -21913,18 +21899,16 @@ │ │ │ (SIMPLE-ARRAY T (*))))) │ │ │ (INTEGER 0 268435455)) │ │ │ (INTEGER 0 268435455)) │ │ │ CSTRUCT:C-SET-ADJVECTOR-FILLP)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ - (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ - (OR (SYSTEM:TRUE) (NULL))) │ │ │ - SYSTEM:C-DCOMPLEX-==)) │ │ │ + ((T) (T) (T)) (OR (INTEGER 0 1) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ + MAXIMA::SIMP-CHARFUN MAXIMA::SIMP-KRON-DELTA)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE PCL::DFUN-INFO)) │ │ │ PCL::|__si::MAKE-DFUN-INFO|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ @@ -21972,14 +21956,21 @@ │ │ │ (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T)) │ │ │ (VALUES (T) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ PCL::MAKE-LONG-METHOD-COMBINATION-FUNCTION)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ + (OR (SYSTEM:TRUE) (NULL))) │ │ │ + SYSTEM:C-DCOMPLEX-==)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) (T) (T) (T) (T) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (T) (T) (T) │ │ │ (T)) │ │ │ (T)) │ │ │ MAXIMA::PSEXPT1)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -22064,18 +22055,14 @@ │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SYSTEM:TRUE) (NULL)) (T)) │ │ │ (INTEGER -2147483648 2147483647)) │ │ │ CSTRUCT:*INT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T)) (OR (INTEGER 0 *) (MEMBER NIL))) │ │ │ - MAXIMA::ZN-PRIMROOT)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION (&REST T) (STRUCTURE INTL::DOMAIN-ENTRY)) │ │ │ INTL::MAKE-DOMAIN-ENTRY)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T)) (VALUES (T) (T))) SYSTEM::GET-&ENVIRONMENT │ │ │ COMPILER::PULL-EVALS PCL::PROTOTYPES-FOR-MAKE-METHOD-LAMBDA │ │ │ PCL::EARLY-METHOD-FUNCTION MAXIMA::SEPARC │ │ │ @@ -22093,20 +22080,18 @@ │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL)) │ │ │ (VALUES &OPTIONAL (NULL) (NULL) (NULL) (NULL))) │ │ │ SLATEC:DBESY SLATEC::DBSYNU)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((T)) │ │ │ - (OR │ │ │ - (LONG-FLOAT * *) (RATIO * *) (INTEGER * *) (SHORT-FLOAT * *) │ │ │ - (MEMBER NIL))) │ │ │ - MAXIMA::HYP-NEGP-IN-L)) │ │ │ + (FUNCTION ((STRUCTURE MAXIMA::EF-DATA)) (T)) MAXIMA::EF-DATA-FSX │ │ │ + MAXIMA::EF-DATA-EXP MAXIMA::EF-DATA-ORD MAXIMA::EF-DATA-FS-ORD │ │ │ + MAXIMA::EF-DATA-RED MAXIMA::EF-DATA-FSX-BASE-Q MAXIMA::EF-DATA-CARD │ │ │ + MAXIMA::EF-DATA-X^Q-POWERS MAXIMA::EF-DATA-PRIM)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) &REST T) │ │ │ (VALUES │ │ │ &OPTIONAL │ │ │ (OR │ │ │ @@ -22136,32 +22121,28 @@ │ │ │ ((INTEGER 0 9223372036854775807) (T) (T)) │ │ │ (VALUES │ │ │ (INTEGER 0 9223372036854775807) (INTEGER 0 9223372036854775807) │ │ │ (INTEGER 1 4611686018427387904) (INTEGER 0 9223372036854775807))) │ │ │ PCL::COMPUTE-CACHE-PARAMETERS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION ((T) (T) (T) (T)) (INTEGER 1 9223372036854775807)) │ │ │ + MAXIMA::*F-DEG)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) &REST T) │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *))) │ │ │ SYSTEM::TO-REGEXP COMPILER::INIT-NAME COMPILER::MAKE-INLINE-ARG-STR │ │ │ WRITE-TO-STRING)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((INTEGER * *) (INTEGER * *) (INTEGER * *)) │ │ │ - (OR │ │ │ - (OR (INTEGER * *) (RATIO * *)) │ │ │ - (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ - MAXIMA::ZN-QUO)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((OR │ │ │ (BROADCAST-STREAM) (CONCATENATED-STREAM) (ECHO-STREAM) │ │ │ (OR │ │ │ (SYSTEM:FILE-INPUT-STREAM) (SYSTEM:FILE-OUTPUT-STREAM) │ │ │ (SYSTEM:FILE-IO-STREAM) (SYSTEM:FILE-PROBE-STREAM)) │ │ │ (OR (SYSTEM:STRING-INPUT-STREAM) (SYSTEM:STRING-OUTPUT-STREAM)) │ │ │ (OR │ │ │ @@ -22236,15 +22217,28 @@ │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ &REST T) │ │ │ (T)) │ │ │ FIND)) │ │ │ -(PROCLAIM '(FTYPE (FUNCTION ((INTEGER * *)) (T)) MAXIMA::IMODP)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) &REST T) │ │ │ + (OR │ │ │ + (LONG-FLOAT * *) (INTEGER * *) │ │ │ + (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ + MT19937:RANDOM)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ + (&REST T) │ │ │ + (VALUES (OR (SYSTEM:TRUE) (NULL)) (OR (INTEGER * *) (MEMBER NIL)))) │ │ │ + MAXIMA::GF-POWER-TABLE-ARGS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *)) │ │ │ @@ -22809,18 +22803,14 @@ │ │ │ ((INTEGER * *) (INTEGER * *) &REST T) │ │ │ (OR │ │ │ (OR (INTEGER * *) (RATIO * *)) │ │ │ (OR (SHORT-FLOAT * *) (LONG-FLOAT * *)))) │ │ │ F2CL-LIB:MAX0)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T)) (INTEGER * 9223372036854775807)) │ │ │ - MAXIMA::POISLIM1)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T)) (MEMBER '((MAXIMA::RAT MAXIMA::SIMP) 1 2))) │ │ │ MAXIMA::HALF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (OR │ │ │ @@ -22838,39 +22828,33 @@ │ │ │ PCL::PARSE-SPECIALIZED-LAMBDA-LIST)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((STRUCTURE INTL::DOMAIN-ENTRY)) (T)) │ │ │ INTL::DOMAIN-ENTRY-ENCODING)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((STRUCTURE MAXIMA::EF-DATA)) (T)) MAXIMA::EF-DATA-FSX │ │ │ - MAXIMA::EF-DATA-EXP MAXIMA::EF-DATA-ORD MAXIMA::EF-DATA-FS-ORD │ │ │ - MAXIMA::EF-DATA-RED MAXIMA::EF-DATA-FSX-BASE-Q MAXIMA::EF-DATA-CARD │ │ │ - MAXIMA::EF-DATA-X^Q-POWERS MAXIMA::EF-DATA-PRIM)) │ │ │ + (FUNCTION │ │ │ + ((T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) &REST T) │ │ │ + (OR │ │ │ + (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ + (NULL))) │ │ │ + RASSOC ASSOC)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ (OR │ │ │ (SYSTEM:HASH-TABLE-EQ) (SYSTEM:HASH-TABLE-EQL) │ │ │ (SYSTEM:HASH-TABLE-EQUAL) (SYSTEM:HASH-TABLE-EQUALP))) │ │ │ CLRHASH)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ - ((T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))) &REST T) │ │ │ - (OR │ │ │ - (OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ - (NULL))) │ │ │ - RASSOC ASSOC)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SYSTEM:TRUE) (NULL)) (T)) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:*FIXNUM CSTRUCT:*LONG)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -22896,16 +22880,14 @@ │ │ │ XLIB::XCOPYPLANE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((T) (T) (T) &REST T) (OR (NULL) (SYSTEM:PROPER-CONS (T) (T)))) │ │ │ SYSTEM::DIR-PARSE)) │ │ │ (PROCLAIM │ │ │ - '(FTYPE (FUNCTION ((T)) (INTEGER 1 13)) MAXIMA::GNUPLOT-POINTTYPE)) │ │ │ -(PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (SHORT-FLOAT * *) (LONG-FLOAT * *))) │ │ │ (OR (INTEGER 24 24) (INTEGER 53 53))) │ │ │ FLOAT-DIGITS)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -22962,14 +22944,19 @@ │ │ │ (FUNCTION │ │ │ ((T) (T) (OR (INTEGER * *) (RATIO * *))) │ │ │ (SYSTEM:COMPLEX* (LONG-FLOAT * *) (LONG-FLOAT * *))) │ │ │ BIGFLOAT::|(PCL::FAST-METHOD CIS (COMMON-LISP:RATIONAL))|)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ + ((STRUCTURE MT19937:RANDOM-STATE)) (INTEGER 0 4294967295)) │ │ │ + MT19937:RANDOM-CHUNK)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ + (FUNCTION │ │ │ ((T) (T) (T) (T) &REST T) │ │ │ (OR │ │ │ (OR │ │ │ (OR │ │ │ (SIMPLE-ARRAY NIL (*)) (SIMPLE-ARRAY CHARACTER (*)) │ │ │ (SIMPLE-ARRAY BIT (*)) │ │ │ (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR (*)) │ │ │ @@ -22988,18 +22975,14 @@ │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *))) │ │ │ (OR (NULL) (SYSTEM:PROPER-CONS (T) (T))))) │ │ │ MERGE)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION ((T) (T) (T) (T)) (INTEGER 1 9223372036854775807)) │ │ │ - MAXIMA::*F-DEG)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T)) (SIMPLE-ARRAY CHARACTER (*))) │ │ │ PREGEXP::PREGEXP-REPLACE-AUX)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ @@ -23060,24 +23043,14 @@ │ │ │ CSTRUCT:C-SET-STREAM-INT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION ((T) (T) (T)) NIL) COMPILER::TOO-FEW-ARGS │ │ │ COMPILER::TOO-MANY-ARGS MAXIMA::SIMPLIM%LIMIT)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ - (FUNCTION (&REST T) (STRUCTURE MAXIMA::EF-DATA)) │ │ │ - MAXIMA::MAKE-EF-DATA MAXIMA::$EF_GET_DATA)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ - (FUNCTION │ │ │ - ((STRUCTURE MT19937:RANDOM-STATE)) │ │ │ - (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT (627))) │ │ │ - MT19937::RANDOM-STATE-STATE)) │ │ │ -(PROCLAIM │ │ │ - '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (OR (SYSTEM:TRUE) (NULL)) (KEYWORD) (SYSTEM:GSYM)) │ │ │ (OR (PACKAGE) (MEMBER NIL))) │ │ │ (OR (PACKAGE) (MEMBER NIL))) │ │ │ CSTRUCT:C-SET-SYMBOL-HPACK)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ @@ -23100,14 +23073,21 @@ │ │ │ (OR │ │ │ (SYSTEM::NON-SIMPLE-ARRAY CHARACTER *) │ │ │ (SYSTEM::NON-SIMPLE-ARRAY T *) (SYSTEM::NON-SIMPLE-ARRAY BIT *)))) │ │ │ (INTEGER -9223372036854775808 9223372036854775807)) │ │ │ CSTRUCT:C-ARRAY-SELF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((INTEGER -9223372036854775808 9223372036854775807) │ │ │ + (OR (SIMPLE-ARRAY FIXNUM *) NIL) (OR (SIMPLE-ARRAY FIXNUM *) NIL)) │ │ │ + (OR (SIMPLE-ARRAY FIXNUM 1) (MEMBER NIL))) │ │ │ + MAXIMA::PERMUTATION-LEX-SUCCESSOR)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((SIMPLE-ARRAY T (*)) (INTEGER 0 268435454)) (T)) SVREF)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((LONG-FLOAT * *) (LONG-FLOAT * *) (LONG-FLOAT * *) │ │ │ (INTEGER -9223372036854775808 9223372036854775807) │ │ │ (OR (SIMPLE-ARRAY LONG-FLOAT (*)) NIL) │ │ │ @@ -23119,14 +23099,34 @@ │ │ │ &OPTIONAL (NULL) (NULL) (NULL) (NULL) (NULL) (NULL) │ │ │ (OR │ │ │ (INTEGER -9223372036854775808 9223372036854775807) (MEMBER NIL)) │ │ │ (NULL) (NULL) (NULL) (NULL) (NULL))) │ │ │ SLATEC::ZKSCL)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ + (FUNCTION │ │ │ + ((T) (T) (T)) │ │ │ + (OR │ │ │ + (SIMPLE-ARRAY FIXNUM 1) (SIMPLE-ARRAY T 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-INT 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-INT 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-SHORT 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-SHORT 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-CHAR 1) (SIMPLE-ARRAY BIT 1) │ │ │ + (SIMPLE-ARRAY NIL 1) (SYSTEM:PROPER-CONS (T) (T)) │ │ │ + (SIMPLE-ARRAY CHARACTER 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-CHAR 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:SIGNED-CHAR 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:UNSIGNED-SHORT 1) │ │ │ + (SIMPLE-ARRAY SHORT-FLOAT 1) (SIMPLE-ARRAY SYSTEM:UNSIGNED-INT 1) │ │ │ + (SIMPLE-ARRAY LONG-FLOAT 1) │ │ │ + (SIMPLE-ARRAY SYSTEM:NON-NEGATIVE-FIXNUM 1) (MEMBER NIL))) │ │ │ + MAXIMA::GETLEVELS)) │ │ │ +(PROCLAIM │ │ │ + '(FTYPE │ │ │ (FUNCTION ((T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T) (T)) (T)) │ │ │ MAXIMA::DEF-OPERATOR)) │ │ │ (PROCLAIM │ │ │ '(FTYPE │ │ │ (FUNCTION │ │ │ ((OR (SYSTEM:PROPER-CONS (T) (T)) (SYSTEM::IMPROPER-CONS (T) (T))) │ │ │ (T))