polexpr (2mar18)

git-svn-id: svn://tug.org/texlive/trunk@46789 c570f23f-e606-0410-a88d-b1316a301751
author: Karl Berry <karl@freefriends.org> 2018-03-02 22:42:11 +0000
committer: Karl Berry <karl@freefriends.org> 2018-03-02 22:42:11 +0000
commit: 15987abe3d0b65ba3cdd8310f3f383837c9a5c2b (patch)
tree: d3079c01af891485bc4bcfe80aacee99a80d2c6b /Master/texmf-dist/doc
parent: 59c0af634a8c722fcf21699c218479d08b902139 (diff)
3 files changed, 46 insertions, 33 deletions
diff --git a/Master/texmf-dist/doc/latex/polexpr/README.md b/Master/texmf-dist/doc/latex/polexpr/README.md
index 78690d48d33..ce888d45675 100644
--- a/Master/texmf-dist/doc/latex/polexpr/README.md
+++ b/Master/texmf-dist/doc/latex/polexpr/README.md
@@ -61,8 +61,10 @@ Releases
       `polexpr.html`.
   - Main new feature: root localization via [Sturm
       Theorem](https://en.wikipedia.org/wiki/Sturm%27s_theorem).
+- 0.4.1 (2018/03/01)
+  Synced with xint 1.3.
 
-Files of 0.4 release:
+Files of 0.4.1 release:
 
 - README.md,
 - polexpr.sty (package file),
diff --git a/Master/texmf-dist/doc/latex/polexpr/polexpr.html b/Master/texmf-dist/doc/latex/polexpr/polexpr.html
index 4ddb208d10f..5a9404127bd 100644
--- a/Master/texmf-dist/doc/latex/polexpr/polexpr.html
+++ b/Master/texmf-dist/doc/latex/polexpr/polexpr.html
@@ -362,7 +362,7 @@ ul.auto-toc {
 <body>
 <div class="document" id="package-polexpr-documentation">
 <h1 class="title">Package polexpr documentation</h1>
-<h2 class="subtitle" id="id1">0.4 (2018/02/16)</h2>
+<h2 class="subtitle" id="id1">0.4.1 (2018/03/01)</h2>
 
 <!-- comment: -*- fill-column: 72; mode: rst; -*- -->
 <div class="contents topic" id="contents">
@@ -604,6 +604,11 @@ work from command line then (I recommend <tt class="docutils literal">rlwrap</tt
 </ul>
 <div class="section" id="a-typical-example">
 <h2><a class="toc-backref" href="#id35">A typical example</a></h2>
+<p>In this example the polynomial is square-free; we can make sure of that by
+comparing the degree of the first element of the Sturm chain with the
+degree of the original polynomial. In such case the second element of
+the Sturm chain is still the polynomial first derivative, because there
+was no further reduction.</p>
 <pre class="literal-block">
 \poldef f(x) := x^7 - x^6 - 2x + 1;
 
@@ -618,7 +623,8 @@ Here is the second root with ten more decimal digits:
 And here is the first root with twenty digits after decimal mark:
 \PolEnsureIntervalLength{f}{1}{-20}
 \[\PolSturmIsolatedZeroLeft{f}{1}&lt;Z_1&lt;\PolSturmIsolatedZeroRight{f}{1}\]
-The derivative polynomial is \PolTypeset{f_1}.
+The derivative polynomial is \PolTypeset{f_1} (from
+$\PolDegree{f_0}=7$ we know that original polynomial was square-free).
 \PolToSturm{f_1}{f_1}\PolSturmIsolateZeros{f_1}%
 It has \PolSturmNbOfIsolatedZeros{f_1} distinct real
 roots:
@@ -1740,21 +1746,17 @@ the considered interval end-point is zero, else <tt class="docutils literal">B</
 <div class="section" id="poldectostring-decimal-number">
 <span id="poldectostring"></span><h2><a class="toc-backref" href="#id119"><tt class="docutils literal">\PolDecToString{decimal number}</tt></a></h2>
 <blockquote>
-<p>This is a utility macro to print decimal numbers. Indeed for legacy
-reasons, <a class="reference external" href="http://www.ctan.org/pkg/xint">xintfrac</a> does not yet have user-level ready-to-use macros
-handling specifically the printing of decimal numbers from their
-internal representations such as <tt class="docutils literal">A/1[N]</tt>.</p>
+<p>This is a utility macro to print decimal numbers. It has been
+backported to <a class="reference external" href="http://www.ctan.org/pkg/xint">xintfrac</a> (release <tt class="docutils literal">1.3</tt> of <tt class="docutils literal">2018/03/01</tt>) under
+the name <tt class="docutils literal">\xintDecToString</tt>, and the <tt class="docutils literal">polexpr</tt> macro is simply
+now an alias to it.</p>
 <p>For example
 <tt class="docutils literal"><span class="pre">\PolDecToString{123.456e-8}</span></tt> will expand to <tt class="docutils literal">0.00000123456</tt>
-and <tt class="docutils literal"><span class="pre">\PolDecToString{123.450e-8}</span></tt> to <tt class="docutils literal">0.00000123450</tt>. This
-illustrates that trailing zeros are not trimmed (to achieve that one
-can use <tt class="docutils literal"><span class="pre">\PolDecToString{\xintREZ{#1}}</span></tt>.)</p>
-<p>The macro does not try to identify if the fraction has a denominator
-consisting only of two's and five's; such a denominator will be left
-at right-end of output.</p>
-<p>This utility macro will presumably be incorporated (possibly in a
-more powerful form) to <a class="reference external" href="http://www.ctan.org/pkg/xint">xintfrac</a> (or rather to a decimal module) in
-a future <a class="reference external" href="http://www.ctan.org/pkg/xint">xint</a> release.</p>
+and <tt class="docutils literal"><span class="pre">\PolDecToString{123.450e-8}</span></tt> to <tt class="docutils literal">0.00000123450</tt> which
+illustrates that trailing zeros are not trimmed. To trim trailing
+zeroes, one can use <tt class="docutils literal"><span class="pre">\PolDecToString{\xintREZ{#1}}</span></tt>.</p>
+<p>The exact behaviour of this macro may evolve in future releases of
+<a class="reference external" href="http://www.ctan.org/pkg/xint">xint</a>.</p>
 </blockquote>
 </div>
 </div>
@@ -2029,6 +2031,9 @@ for localization of the real roots of polynomials.</p>
 </li>
 </ul>
 </li>
+<li><p class="first">v0.4.1 (2018/03/01)</p>
+<p>Synced with xint 1.3.</p>
+</li>
 </ul>
 </div>
 <div class="section" id="acknowledgments">
diff --git a/Master/texmf-dist/doc/latex/polexpr/polexpr.txt b/Master/texmf-dist/doc/latex/polexpr/polexpr.txt
index 3e064bc769e..fe99d075a49 100644
--- a/Master/texmf-dist/doc/latex/polexpr/polexpr.txt
+++ b/Master/texmf-dist/doc/latex/polexpr/polexpr.txt
@@ -4,8 +4,8 @@
  Package polexpr documentation
 ===============================
 
-0.4 (2018/02/16)
-================
+0.4.1 (2018/03/01)
+==================
 
 .. contents::
 
@@ -145,6 +145,12 @@ First some remarks about auxiliaries.
 A typical example
 ~~~~~~~~~~~~~~~~~
 
+In this example the polynomial is square-free; we can make sure of that by
+comparing the degree of the first element of the Sturm chain with the
+degree of the original polynomial. In such case the second element of
+the Sturm chain is still the polynomial first derivative, because there
+was no further reduction.
+
 ::
 
   \poldef f(x) := x^7 - x^6 - 2x + 1;
@@ -160,7 +166,8 @@ A typical example
   And here is the first root with twenty digits after decimal mark:
   \PolEnsureIntervalLength{f}{1}{-20}
   \[\PolSturmIsolatedZeroLeft{f}{1}<Z_1<\PolSturmIsolatedZeroRight{f}{1}\]
-  The derivative polynomial is \PolTypeset{f_1}.
+  The derivative polynomial is \PolTypeset{f_1} (from
+  $\PolDegree{f_0}=7$ we know that original polynomial was square-free).
   \PolToSturm{f_1}{f_1}\PolSturmIsolateZeros{f_1}%
   It has \PolSturmNbOfIsolatedZeros{f_1} distinct real
   roots:
@@ -1461,24 +1468,19 @@ More precisely, they can be used within the replacement texts of the
 ``\PolDecToString{decimal number}``
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-    This is a utility macro to print decimal numbers. Indeed for legacy
-    reasons, xintfrac_ does not yet have user-level ready-to-use macros
-    handling specifically the printing of decimal numbers from their
-    internal representations such as ``A/1[N]``.
+    This is a utility macro to print decimal numbers. It has been
+    backported to xintfrac_ (release ``1.3`` of ``2018/03/01``) under
+    the name ``\xintDecToString``, and the ``polexpr`` macro is simply
+    now an alias to it.
 
     For example
     ``\PolDecToString{123.456e-8}`` will expand to ``0.00000123456``
-    and ``\PolDecToString{123.450e-8}`` to ``0.00000123450``. This
-    illustrates that trailing zeros are not trimmed (to achieve that one
-    can use ``\PolDecToString{\xintREZ{#1}}``.)
-
-    The macro does not try to identify if the fraction has a denominator
-    consisting only of two's and five's; such a denominator will be left
-    at right-end of output.
+    and ``\PolDecToString{123.450e-8}`` to ``0.00000123450`` which
+    illustrates that trailing zeros are not trimmed. To trim trailing
+    zeroes, one can use ``\PolDecToString{\xintREZ{#1}}``.
 
-    This utility macro will presumably be incorporated (possibly in a
-    more powerful form) to xintfrac_ (or rather to a decimal module) in
-    a future xint_ release.
+    The exact behaviour of this macro may evolve in future releases of
+    xint_.
 
 Booleans (with default setting as indicated)
 --------------------------------------------
@@ -1737,6 +1739,10 @@ CHANGE LOG
     for localization of the real roots of polynomials.
 
 
+- v0.4.1 (2018/03/01)
+
+  Synced with xint 1.3.
+
 Acknowledgments
 ---------------
author	Karl Berry <karl@freefriends.org>	2018-03-02 22:42:11 +0000
committer	Karl Berry <karl@freefriends.org>	2018-03-02 22:42:11 +0000
commit	15987abe3d0b65ba3cdd8310f3f383837c9a5c2b (patch)
tree	d3079c01af891485bc4bcfe80aacee99a80d2c6b /Master/texmf-dist/doc
parent	59c0af634a8c722fcf21699c218479d08b902139 (diff)