archive/src/vals.lisp

   1 ;;the definitions needed for runtime.
   2 (in-package "MAXIMA")
   3
   4 (defvar $ratvarswitch t)
   5 (DEFMVAR GENVAR NIL
   6          "List of gensyms used to point to kernels from within polynomials.
   7          The values cell and property lists of these symbols are used to
   8          store various information.")
   9 (DEFMVAR GENPAIRS NIL)
  10 (DEFMVAR VARLIST NIL "List of kernels")
  11 (DEFMVAR *FNEWVARSW NIL)
  12 (DEFMVAR *RATWEIGHTS NIL)
  13 (DEFVAR *RATSIMP* NIL)
  14 (DEFMVAR FACTORRESIMP NIL "If T resimplifies FACTOR(X-Y) to X-Y")
  15
  16 ;; User level global variables.
  17
  18 (DEFMVAR $KEEPFLOAT NIL
  19          "If t floating point coeffs are not converted to rationals")
  20 (DEFMVAR $FACTORFLAG NIL "If t constant factor of polynomial is also factored")
  21 (DEFMVAR $DONTFACTOR '((MLIST)))
  22 (DEFMVAR $NOREPEAT T)
  23 (DEFMVAR $RATWEIGHTS '((MLIST SIMP)))
  24
  25 (DEFMVAR $RATFAC NIL "If t cre-forms are kept factored")
  26 (DEFMVAR $ALGEBRAIC NIL)
  27 (DEFMVAR $RATVARS '((MLIST SIMP)))
  28 (DEFMVAR $FACEXPAND T)
  29
  30 (DEFMVAR $FLOAT2BF NIL
  31   "If TRUE, no MAXIMA-ERROR message is printed when a floating point number is
  32 converted to a bigfloat number.")
  33
  34 (DEFMVAR $BFTORAT NIL
  35   "Controls the conversion of bigfloat numbers to rational numbers.  If
  36 FALSE, RATEPSILON will be used to control the conversion (this results in
  37 relatively small rational numbers).  If TRUE, the rational number generated
  38 will accurately represent the bigfloat.")
  39
  40 (DEFMVAR $BFTRUNC T
  41   "Needs to be documented")
  42
  43 (DEFMVAR $FPPRINTPREC 0
  44   "Needs to be documented"
  45   FIXNUM)
  46
  47 (DEFMVAR $FPPREC 16.
  48   "Number of decimal digits of precision to use when creating new bigfloats.
  49 One extra decimal digit in actual representation for rounding purposes.")
  50
  51 (DEFMVAR BIGFLOATZERO '((BIGFLOAT SIMP 56.) 0 0)
  52   "Bigfloat representation of 0" IN-CORE)
  53 (DEFMVAR BIGFLOATONE  '((BIGFLOAT SIMP 56.) #.(EXPT 2 55.) 1)
  54   "Bigfloat representation of 1" IN-CORE)
  55 (DEFMVAR BFHALF       '((BIGFLOAT SIMP 56.) #.(EXPT 2 55.) 0)
  56   "Bigfloat representation of 1/2")
  57 (DEFMVAR BFMHALF      '((BIGFLOAT SIMP 56.) #.(MINUS (EXPT 2 55.)) 0)
  58   "Bigfloat representation of -1/2")
  59 (DEFMVAR BIGFLOAT%E   '((BIGFLOAT SIMP 56.) 48968212118944587. 2)
  60   "Bigfloat representation of %E")
  61 (DEFMVAR BIGFLOAT%PI  '((BIGFLOAT SIMP 56.) 56593902016227522. 2)
  62   "Bigfloat representation of %PI")
  63 ;rat3c
  64 (DEFMVAR *GCDL* '($SPMOD $SUBRES $EZ $RED $MOD $SPHEN $EEZ $ALGEBRAIC))
  65
  66 (DEFMVAR $GCD (CAR *GCDL*))                  ;Sparse Modular
  67
  68 ;rat3b
  69 (DEFMVAR $RATWTLVL NIL)
  70 (DEFMVAR $RATALGDENOM T)  ;If T then denominator is rationalized.