share/contrib/sarag/whatsnew.txt

   1 After SARAG 1.3
   2
   3 In order to enforce naming rules the following changes were made:
   4 1.) arag_test.mac was renamed to rtest_arag.mac
   5 2.) hard_test.mac was renamed to rtest_arag_hard.mac
   6
   7 SARAG 1.3
   8
   9 Feb 2017 (Merge with fork developed at the Univ. of Rennes 1 + fixes and minor extra features by Fabrizio Caruso)
  10
  11 1. Merge of a separate branch of the SARAG packaged developed at the Univ. of Rennes 1:
  12 - Univariate certificate is now computed as in Maxima with its usual output format.
  13 - All other files use the updated code developed at the Univ. of Rennes1.
  14
  15 2. Fix multivariate certificate of positivity.
  16 Multivariate certificate is now working and enabled.
  17 No warnings about deprecated gnuplot attributes are any longer displayed by "drawMultiCerticificate".
  18 Moreover a bug on a global variable was fixed in "standard_mid".
  19 Unit-tests have been added into arag_test.mac and 1 computationally heavy test has been added
  20 into hard_test.mac.
  21
  22 3. DRAW_TOPOLOGY (false by default) when set to true, will trigger the display of the topology diagram.
  23 Remark: When DRAW_TOPOLOGY set to true and you compute a topology, you will need first to close the pop-up windonw to get the result.
  24
  25 4. In order to further simply its use "drawTopology" works with the second output of "topology" as well as the full output of topology
  26
  27 5. New "revRowsCount" function (sign change after i-th row switch) from Maxima version.
  28
  29 6. Verbosity parameters have been removed in almost of functions.
  30
  31 7. Fix of many local variables that were not declared as such.
  32
  33 8. Removed unused files (examples.mac, topology_examples.mac, whichversion.txti, etc.)
  34
  35 9. Fix of multiple misspellings.
  36
  37 ---------------------------------------------------------
  38 ---------------------------------------------------------
  39
  40 SARAG 1.2
  41
  42 22 may 2016
  43
  44 Merge with external code developed at the Univ. of Rennes 1
  45 by Matthieu Kohli new file quickSignDetermination.mac
  46
  47 slight modification of discriminant
  48
  49 sylvesterResultant in the case of two polynomials of equal degree fixed
  50
  51 coefficients in certificates of positivity changed
  52
  53 newtonFromPoly(pol,var,len) now takes three arguments:
  54 and  computes a sequence of Newton sums of length "len"
  55
  56 ---------------------------------------------------
  57 ---------------------------------------------------
  58 SARAG 1.1
  59
  60 August 3rd 2009
  61
  62
  63 by Fabrizio Caruso (caruso@dm.unipi.it)
  64 with a contribution by Richard Leroy
  65 (multivariate certificate of positivity)
  66
  67 ---------------------------------------------------
  68 ---------------------------------------------------
  69
  70 SARAG 1.1
  71
  72 (1) small fix in the univariate certificate
  73
  74 (2) integration of Richard Leroy's code
  75 for the multivariate certificate of positivity
  76 ("multiCertificateOfPositivity.mac").
  77
  78
  79 ---------------------------------------------------
  80
  81 SARAG 1.0.1
  82
  83 (1) certificate of positivity:
  84 - "certificateOfPositivity.mac"
  85 This files contains routines for the certificate of
  86 positivity, which can be used to produce formal
  87 proof of positivity/negativity or existence of roots
  88 for univariate polynomials. Try for example
  89 "certificateProof((2*x-1)^2+x^4,x,[-1,1]);"
  90 for a proof of positivity in [-1,1].
  91
  92 (2) updated "readme.txt" and "arag_test.mac".
  93
  94 ---------------------------------------------------
  95 SARAG 1.0
  96
  97 (Some bug fixes)
  98
  99 (1) gcdFreePart should be now correct
 100
 101 (2) sRem and sSubRes compute sequences that
 102 are now longer by one element
 103
 104
 105 ---------------------------------------------------
 106 SARAG beta 0.3
 107
 108 (1) bug fixes
 109 - drawTopology:
 110 it now computes
 111 the correct topology of points
 112 at infinity
 113
 114 (2) new functions
 115 - echelonMod :
 116 it computes
 117 the Echelon form of a matrix
 118
 119 (3) test files:
 120 - "arag_test.mac"
 121 It tests the examples contained
 122 in the book "Algorithms in Real
 123 Algebraic Geometry" (which contains
 124 SARAG and uses Maxima in its electronic version)
 125 - "hard_test.mac"
 126 It tests some other commands involve
 127 more computation  (mostly topology computations)
 128
 129 (4) updated "readme.txt"
 130
 131
 132
 133