share/algebra/charsets/README

   1 CharSets is a program which I translated from the Maple package CharSets,
   2 written by Dr. Dongming Wang.  His homepage is  http://calfor.lip6.fr/~wang.
   3 A good reference for Characteristic sets is his book Elimination Methods.
   4
   5 I wish to thank Dr. Wang for making this code available to the maxima
   6 project.  I also wish to thank Dr. Willis, Dr. Fateman and Mr. Dotson for
   7 their assistance with this project.
   8 Finally, I wish to dedicate this work to the late Dr. Paul Karmel.
   9 Dan Stanger
  10 11/28/02
  11
  12 The CharSets package depends on the set functions in set.lisp, which was
  13 previously in maxima/src/ and is now in maxima/share/algebra/charsets/.
  14 To use CharSets, set.lisp must be loaded first, as it is no longer part
  15 of the compiled Maxima code. For general use, nset.lisp in
  16 maxima/share/contrib/nset/ supersedes set.lisp.
  17
  18 Robert Dodier
  19 2005/02/07
  20
  21 src/flatten.lisp has also been moved to share/algebra/charsets/,
  22 with $every cut from src/mutils.lisp and pasted into flatten.lisp.
  23 $flatten and $every have been renamed to $charsets_flatten and
  24 $charsets_every, and every function in set.lisp has been renamed
  25 from $foo to $charsets_foo. Function calls in charsets.mac and
  26 rtestflatten.mac have been fixed up from foo to charsets_foo to
  27 match set.lisp and flatten.lisp.
  28
  29 Robert Dodier
  30 2005/02/23
  31
  32 charsets appears to be broken, and I don't see how it ever worked. I've
  33 made some recent commits to fix some things, but there are still some
  34 references to undefined functions, and maybe other problems. The
  35 undefined functions are some subset of:
  36
  37 [Gcd, RootOf, charsets_die, charsets_dieA, coeffs, complexity,
  38 das, eval, evala, fmedset, gbasis, lcm, leadmon, medset, ml2, ml3,
  39 normalf, numer, prem, rand, readstat, simplify, sprem, theRankFunction,
  40 tn, variablep]
  41
  42 which are the symbols which appear in function calls in functions
  43 defined in charset.mac, which are apparently not defined functions
  44 (i.e., neither a Lisp function, nor a Maxima := function, nor a
  45 Maxima defmspec, nor a Maxima autoloading function). Some of those
  46 symbols are local names of functions which are arguments, so it is
  47 expected that there will be no function definitions for those
  48 symbols. I haven't tried to sort out which are the local names and
  49 which are honest-to-goodness undefined functions.
  50
  51 Some fragmentary notes about the undefined functions.
  52
  53  * Gcd and RootOf are only referenced in charsets_Malgcd which is
  54    not called anywhere.
  55  * charsets_die and charsets_dieA are used as variables but then
  56    as functions. The value of the variables doesn't appear to be
  57    a lambda expression. Is the variable supposed to be assigned
  58    lambda([], foo) where foo is the value now assigned? In both
  59    cases, the value is a random number, so it's meaningful to
  60    call it (to get a different number each time).
  61  * gbasis, leadmon, and normalf appear to be functions from an old
  62    Maple package for computing Groebner bases.
  63  * theRankFunction and tn are function arguments which are, I believe,
  64    supposed to be function names.
  65  * rand maybe is supposed to be random.
  66
  67 Robert Dodier
  68 2016-01-04