From 15987abe3d0b65ba3cdd8310f3f383837c9a5c2b Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Fri, 2 Mar 2018 22:42:11 +0000 Subject: polexpr (2mar18) git-svn-id: svn://tug.org/texlive/trunk@46789 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/polexpr/README.md | 4 ++- Master/texmf-dist/doc/latex/polexpr/polexpr.html | 35 ++++++++++++--------- Master/texmf-dist/doc/latex/polexpr/polexpr.txt | 40 ++++++++++++++---------- 3 files changed, 46 insertions(+), 33 deletions(-) (limited to 'Master/texmf-dist/doc/latex/polexpr') 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 {

Package polexpr documentation

-

0.4 (2018/02/16)

+

0.4.1 (2018/03/01)

@@ -604,6 +604,11 @@ work from command line then (I recommend rlwrap

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;
 
@@ -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}<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:
@@ -1740,21 +1746,17 @@ the considered interval end-point is zero, else B
 

\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.

-

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.

+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}}.

+

The exact behaviour of this macro may evolve in future releases of +xint.

@@ -2029,6 +2031,9 @@ for localization of the real roots of polynomials.

+
  • v0.4.1 (2018/03/01)

    +

    Synced with xint 1.3.

    +
  • 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}