archive/src/fundcl.lisp

   1 (in-package "MAXIMA")
   2
   3
   4 (import '(compiler::inline-unsafe compiler::inline-always compiler::boolean
   5     compiler::definline ) 'cl-maxima)
   6
   7
   8 (defun proclaim-property (arg &aux (prop (car arg)))
   9     (sloop for v in (cdr arg)
  10            do (assert (symbolp v))
  11            (setf (get v prop) t)))
  12
  13
  14
  15 ;;;;make not proclaimed, they do too much storage allocation, or binding:
  16 ;;remove1, meval1, arrstore, bigfloatm*, simplus , simpln, simpquot
  17 ;;simptimes, expand1, simpexpt, simpsignum, simpnrt, bprog, simpabs, simpderiv
  18 ;;simpinteg,
  19 ;;retrieve, remalias, loadfile, kill1 , filenamel , dollarify-name
  20 ;;dimension-string, dimension-infix, dimension-prefix, dimension-nary,
  21 ;;dimension-postfix, dimension-nofix, dimension-superscript , nformat-all,
  22 ;;truep, par, unkind, activate, deactivate, context, cntxt, kcntxt,
  23 ;;assume, maximin, rgrp, ratint,
  24 ;;AMPERCHK, MAKSTRING,REMLABELS,LOAD-FUNCTION,NFORMAT-ALL,ASKSIGN-P-OR-N
  25 ;;SIMP-%ATAN SIMP-%COS SIMP-%COT  SIMP-%CSC SIMP-%SEC SIMP-%SIN SIMP-%TAN
  26 ;;FINDFUN,FINDBASE,PART*, PART+,APPLY1 APPLY1HACK APPLY2,       APPLY2HACK
  27 ;;ANTISYM
  28
  29 (proclaim-property '(compiler::fixed-args crecip
  30       ptimes* pderivative2 pcoefadd
  31
  32       oldget
  33
  34       *KAR ACOT ACOTH ACSC ACSCH  ADD2LNC ADDF ADDK ADDLABEL
  35       ALG ALIAS ALIKE ALIKE1
  36       ARCP  ASEC ASECH  ASSQ
  37       ATAN1 BATCH1   CARFILE CASIFY-EXPLODEN
  38       CG-IMAGE-TYO CG-IMAGE-TYO-N CG-TYO CG-TYO-N CLEAR
  39       COMMUTATIVE1 COMPUTIME CONSTFUN  CONTEXTMARK COT COTH CSC
  40       CSCH DATUM  DECLAREKIND DIMENSION-ATOM
  41
  42         DINTERN DINTERNP DISPLA
  43       DOLLARIFY  DOUTERN DSKRAT EQTEST ERRBREAK EVEN
  44       EXPTRL EXPONENTIALIZE  FACT FALSEP FEXPRCHECK
  45       FILEPRINT FILESTRIP FIND-FUNCTION FIND0  FINDBE FINDEXPON
  46        FORGET FORMFEED FPCOFRAT FREE FREEARGS FREEL FULLSTRIP
  47       FULLSTRIP1 FUNCER GETL GETLABCHARN GETLABELS GETLABELS* GREAT
  48       I-$ALLOC I-$REMOVE I-$REMVALUE IMPROPER-ARG-ERR INFSIMP IOLFUN IS
  49       ISINOP ISP KAR  KDR KILL  KILLC KILLFRAME KIND KINDP
  50       LASSOCIATIVE LEARN LIKE LOAD-FILE
  51       MACHERRFUN MAKELABEL MAKESTRING MAPPLY MARGS MARK MARKP
  52       MATCHERR  MAXIMUM MBAGP MBIND MCONS-OP-ARGS MEMQ MEQP
  53       MEQUALP MEVAL MEVAL*  MEVAL2 MEVALATOMS MEVALN MEVALP
  54       MEVALP2 MEXPLODEN MEXPTP MFBOUNDP MFILE-OUT MFILEP MGET MGETL
  55       MGQP MGRP MINIMUM MLOGP MMAPEV MMINUSP MMINUSP* MMMINUSP MNCEXPTP
  56       MNCTIMESP MNEGP MNQP MNUMP MOP MOPP MOPP1 MORE-FUN MPLUSP
  57       MPUTPROP MQAPPLYP MQUOTEP MRATCHECK MREMPROP MRETURN MSET MSETCHK
  58       MSETERR MSETQP MSTRING MTERPRI MTIMESP MTRUENAME MUNBIND
  59       MXORLISTP NARY1 NEVERSET NFORMAT  NONSYMCHK NONVARCHK
  60       NTHKDR NUMERSET ODDFUN ONEARGCHECK ONEP ONEP1 OPTIONP PALGSIMP
  61         PCDIFFER PCDIFFER1 PCDIFFER2 PCOEFADD PCPLUS
  62       PCPLUS1 PCSUB PCTIMES PCTIMES1 PDEGREE PDERIVATIVE PDIFFER1
  63       PDIFFERENCE PGCD1 PMINUS PMINUSP PMOD
  64       ;POINTERGP
  65       PPLUS PPLUS1
  66       PQUOTIENT PQUOTIENTCHK PRE-ERR PRED-REVERSE PRINL PRINTLABEL
  67       PSIMP1 PTIMES PTIMES1 RASSOCIATIVE RAT RATDENOMINATOR
  68       RATDERIVATIVE RATDIF RATDISREP RATEXPT RATF RATFACT
  69       RATMINUS RATNUMERATOR RATNUMP RATPLUS RATQUOTIENT RATREDUCE
  70       RATREP RATREP* RATTIMES RDIFFERENCE  REMALIAS1 REMARRELEM
  71        REMOV  REMPROPCHK REMRULE REMVALUE REPRINT
  72       RESTORE-FACTS   RPLUS RREMAINDER RTIMES RUBOUT*
  73       RULEOF SEC SECH SIGN SIGNUM1  SIMP-LIMIT
  74       SIMPARGS SIMPARGS1 SIMPBIGFLOAT SIMPCHECK  SIMPEXP
  75         SIMPLAMBDA SIMPLIFYA   SIMPMATRIX
  76       SIMPMDEF SIMPMQAPPLY    SIMPSQRT
  77        SPECDISREP SPECREPP SQ-SUMSQ SQRT1+X^2 SQRT1-X^2
  78       SQRTX^2-1 SRATSIMP SSIMPLIFYA STRIPDOLLAR STRMEVAL SUBARGCHECK
  79       SUBFUNARGS SUBFUNMAKE SUBFUNMAKES SUBFUNNAME SUBFUNSUBS TIMEORG
  80       TIMESK TOTAL-NARY TRIGP TRUE* TRUEFNAME  TTYINTFUN
  81       TTYINTFUNSETUP TTYRETFUN TWOARGCHECK TYI*  UNMRK UNTRUE
  82       VISIBLEP WNA-ERR ZEROP1 ZL-ASSOC ZL-MEMBER
  83
  84 ;     ;;these are fixed args but probably not called enough.
  85 ;      $%TH $ACOS $ACOSH $ACOT $ACOTH $ACSC $ACSCH $ASEC $ASECH $ASIN $ASINH
  86 ;      $ASKSIGN $ATAN $ATANH $BFLOATP $BINOMIAL $BOTHCASES $COMPARE
  87 ;      $CONSTANTP $COS $COSH $COT $COTH $CSC $CSCH $DDT $DEBUGMODE
  88 ;      $DSKGC $EVENP $EXP $EXPONENTIALIZE $FEATUREP $FLOATNUMP $FPPREC
  89 ;      $FUNMAKE $GAMMA $GET $INTEGERP $KILLCONTEXT $LOG $LOGOUT $MAPATOM
  90 ;      $NEWCONTEXT $NONSCALARP $NOUNIFY $NUMBERP $NUMFACTOR $ODDP
  91 ;      $ORDERGREATP $ORDERLESSP $PAGEPAUSE $POISLIM $POLYSIGN $PUT $QUIT
  92 ;      $RATNUMP $RATP $REM $SCALARP $SEC $SECH $SIGN $SIN $SINH $SQRT
  93 ;      $SUBVARP $TAN $TANH $THROW $TO_LISP $UUO $VERBIFY |''MAKE-FUN|
  94
  95
  96    ))
  97
  98