summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/polexpr
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-03-02 22:42:11 +0000
committerKarl Berry <karl@freefriends.org>2018-03-02 22:42:11 +0000
commit15987abe3d0b65ba3cdd8310f3f383837c9a5c2b (patch)
treed3079c01af891485bc4bcfe80aacee99a80d2c6b /Master/texmf-dist/doc/latex/polexpr
parent59c0af634a8c722fcf21699c218479d08b902139 (diff)
polexpr (2mar18)
git-svn-id: svn://tug.org/texlive/trunk@46789 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/polexpr')
-rw-r--r--Master/texmf-dist/doc/latex/polexpr/README.md4
-rw-r--r--Master/texmf-dist/doc/latex/polexpr/polexpr.html35
-rw-r--r--Master/texmf-dist/doc/latex/polexpr/polexpr.txt40
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
---------------