From 6960c4f15aeb306da0e5504e42a95a8543e7ec72 Mon Sep 17 00:00:00 2001 From: Tim Daly Date: Sun, 26 Jun 2016 16:00:26 -0400 Subject: [PATCH] books/bookvol* add Abramov and Bronstein reference to LODO and ORE Goal: Axiom Literate Programming \index{Abramov, Sergei A.} \index{Bronstein, Manuel} \begin{chunk}{axiom.bib} @article{Abra01, author = "Abramov, Sergei and Bronstein, Manuel", title = "On Solutions of Linear Functional Systems", url = "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", paper = "Abra01.pdf", comment = "\newline\refto{category OREPCAT UnivariateSkewPolynomialCategory} \newline\refto{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} \newline\refto{domain AUTOMOR Automorphism} \newline\refto{domain ORESUP SparseUnivariateSkewPolynomial} \newline\refto{domain OREUP UnivariateSkewPolynomial} \newline\refto{domain LODO LinearOrdinaryDifferentialOperator} \newline\refto{domain LODO1 LinearOrdinaryDifferentialOperator1} \newline\refto{domain LODO2 LinearOrdinaryDifferentialOperator2} \newline\refto{package APPLYORE ApplyUnivariateSkewPolynomial} \newline\refto{package OREPCTO UnivariateSkewPolynomialCategoryOps} \newline\refto{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}", abstract = " We describe a new direct algorithm for transforming a linear system of recurrences into an equivalent one with nonsingular leading or trailing matrix. Our algorithm, which is an improvement to the EG elimination method, uses only elementary linear algebra operations (ranks, kernels, and determinants) to produce an equation satisfied by the degress of the solutions with finite support. As a consequence, we can boudn and compute the polynomial and rational solutions of very general linear functional systems such as systems of differential or ($q$)-difference equations." } \end{chunk} --- books/bookvol10.2.pamphlet | 6 ++++-- books/bookvol10.3.pamphlet | 18 ++++++++++++------ books/bookvol10.4.pamphlet | 12 ++++++++---- books/bookvolbib.pamphlet | 36 +++++++++++++++++++++++++++++++----- changelog | 4 ++++ patch | 26 ++++++++++++++++++-------- src/axiom-website/patches.html | 2 ++ 7 files changed, 79 insertions(+), 25 deletions(-) diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index b41db0f..36dbfe8 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -50530,7 +50530,7 @@ These exports come from \refto{FullyRetractableTo}(R:Ring): retractIfCan : % -> Union(Integer,"failed") if R has RETRACT INT \end{verbatim} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{category OREPCAT UnivariateSkewPolynomialCategory} \begin{chunk}{category OREPCAT UnivariateSkewPolynomialCategory} )abbrev category OREPCAT UnivariateSkewPolynomialCategory @@ -50539,6 +50539,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ This is the category of univariate skew polynomials over an Ore ++ coefficient ring. @@ -52646,7 +52647,7 @@ These exports come from \refto{Eltable}(A:Ring,A:Ring): ?.? : (%,A) -> A \end{verbatim} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} \begin{chunk}{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} )abbrev category LODOCAT LinearOrdinaryDifferentialOperatorCategory @@ -52655,6 +52656,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 15 April 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ LinearOrdinaryDifferentialOperatorCategory is the category ++ of differential operators with coefficients in a ring A with a given diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index a9246aa..1e9cd78 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -20013,7 +20013,7 @@ o )show Automorphism \cross{AUTOMOR}{?=?} && \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain AUTOMOR Automorphism} \begin{chunk}{domain AUTOMOR Automorphism} )abbrev domain AUTOMOR Automorphism @@ -20022,6 +20022,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 31 January 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ Automorphism R is the multiplicative group of automorphisms of R. -- In fact, non-invertible endomorphism are allowed as partial functions. @@ -110891,7 +110892,7 @@ o )show LinearOrdinaryDifferentialOperator \cross{LODO}{?\~{}=?} && \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain LODO LinearOrdinaryDifferentialOperator} \begin{chunk}{domain LODO LinearOrdinaryDifferentialOperator} )abbrev domain LODO LinearOrdinaryDifferentialOperator @@ -110900,6 +110901,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 15 April 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{LinearOrdinaryDifferentialOperator} defines a ring of ++ differential operators with coefficients in a ring A with a given @@ -111497,7 +111499,7 @@ o )show LinearOrdinaryDifferentialOperator1 \cross{LODO1}{?\~{}=?} & \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain LODO1 LinearOrdinaryDifferentialOperator1} \begin{chunk}{domain LODO1 LinearOrdinaryDifferentialOperator1} )abbrev domain LODO1 LinearOrdinaryDifferentialOperator1 @@ -111506,6 +111508,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 31 January 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{LinearOrdinaryDifferentialOperator1} defines a ring of ++ differential operators with coefficients in a differential ring A. @@ -112189,7 +112192,7 @@ o )show LinearOrdinaryDifferentialOperator2 \cross{LODO2}{?\~{}=?} & \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain LODO2 LinearOrdinaryDifferentialOperator2} \begin{chunk}{domain LODO2 LinearOrdinaryDifferentialOperator2} )abbrev domain LODO2 LinearOrdinaryDifferentialOperator2 @@ -112198,6 +112201,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{LinearOrdinaryDifferentialOperator2} defines a ring of ++ differential operators with coefficients in a differential ring A @@ -186648,7 +186652,7 @@ o )show SparseUnivariateSkewPolynomial \cross{ORESUP}{?\~{}=?} & \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain ORESUP SparseUnivariateSkewPolynomial} \begin{chunk}{domain ORESUP SparseUnivariateSkewPolynomial} )abbrev domain ORESUP SparseUnivariateSkewPolynomial @@ -186657,6 +186661,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ This is the domain of sparse univariate skew polynomials over an Ore ++ coefficient field. @@ -214819,7 +214824,7 @@ o )show SquareMatrix \cross{OREUP}{?\~{}=?} \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{domain OREUP UnivariateSkewPolynomial} \begin{chunk}{domain OREUP UnivariateSkewPolynomial} )abbrev domain OREUP UnivariateSkewPolynomial @@ -214828,6 +214833,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ This is the domain of univariate skew polynomials over an Ore ++ coefficient field in a named variable. diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 81f5110..3612b1c 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -7564,7 +7564,7 @@ o )show ApplyUnivariateSkewPolynomial {\bf Exports:}\\ \cross{APPLYORE}{apply} -See Bronstein\cite{Bron95} +See Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{package APPLYORE ApplyUnivariateSkewPolynomial} \begin{chunk}{package APPLYORE ApplyUnivariateSkewPolynomial} )abbrev package APPLYORE ApplyUnivariateSkewPolynomial @@ -7573,6 +7573,7 @@ See Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{ApplyUnivariateSkewPolynomial} (internal) allows univariate ++ skew polynomials to be applied to appropriate modules. @@ -98666,7 +98667,7 @@ o )show LinearOrdinaryDifferentialOperatorFactorizer \cross{LODOF}{factor1} \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} \begin{chunk}{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} )abbrev package LODOF LinearOrdinaryDifferentialOperatorFactorizer @@ -98675,6 +98676,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 3 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spadtype{LinearOrdinaryDifferentialOperatorFactorizer} provides a ++ factorizer for linear ordinary differential operators whose coefficients @@ -98965,7 +98967,7 @@ o )show LinearOrdinaryDifferentialOperatorsOps \cross{LODOOPS}{symmetricProduct} \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{package LODOOPS LinearOrdinaryDifferentialOperatorsOps} \begin{chunk}{package LODOOPS LinearOrdinaryDifferentialOperatorsOps} )abbrev package LODOOPS LinearOrdinaryDifferentialOperatorsOps @@ -98974,6 +98976,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 15 April 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{LinearOrdinaryDifferentialOperatorsOps} provides symmetric ++ products and sums for linear ordinary differential operators. @@ -253710,7 +253713,7 @@ o )show UnivariateSkewPolynomialCategoryOps \cross{OREPCTO}{times} \end{tabular} -See: Bronstein\cite{Bron95} +See: Bronstein\cite{Bron95}, Abramov\cite{Abra01} \label{package OREPCTO UnivariateSkewPolynomialCategoryOps} \begin{chunk}{package OREPCTO UnivariateSkewPolynomialCategoryOps} )abbrev package OREPCTO UnivariateSkewPolynomialCategoryOps @@ -253719,6 +253722,7 @@ See: Bronstein\cite{Bron95} ++ Date Last Updated: 1 February 1994 ++ References: ++ Bron95 On radical solutions of linear ordinary differential equations +++ Abra01 On Solutions of Linear Functional Systems ++ Description: ++ \spad{UnivariateSkewPolynomialCategoryOps} provides products and ++ divisions of univariate skew polynomials. diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index 8a8daf5..653894c 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -5254,12 +5254,25 @@ Petkovsek, Marko \index{Abramov, Sergei A.} \index{Bronstein, Manuel} -\begin{chunk}{ignore} -\bibitem[Abramov 01]{Abra01} Abramov, Sergei; Bronstein, Manuel +\begin{chunk}{axiom.bib} +@article{Abra01, + author = "Abramov, Sergei and Bronstein, Manuel", title = "On Solutions of Linear Functional Systems", url = "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", paper = "Abra01.pdf", + comment = "\newline\refto{category OREPCAT UnivariateSkewPolynomialCategory} + \newline\refto{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} + \newline\refto{domain AUTOMOR Automorphism} + \newline\refto{domain ORESUP SparseUnivariateSkewPolynomial} + \newline\refto{domain OREUP UnivariateSkewPolynomial} + \newline\refto{domain LODO LinearOrdinaryDifferentialOperator} + \newline\refto{domain LODO1 LinearOrdinaryDifferentialOperator1} + \newline\refto{domain LODO2 LinearOrdinaryDifferentialOperator2} + \newline\refto{package APPLYORE ApplyUnivariateSkewPolynomial} + \newline\refto{package OREPCTO UnivariateSkewPolynomialCategoryOps} + \newline\refto{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} + \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}", abstract = " We describe a new direct algorithm for transforming a linear system of recurrences into an equivalent one with nonsingular leading or @@ -5270,6 +5283,7 @@ Petkovsek, Marko can boudn and compute the polynomial and rational solutions of very general linear functional systems such as systems of differential or ($q$)-difference equations." +} \end{chunk} @@ -10801,7 +10815,7 @@ Soc. for Industrial and Applied Mathematics, Philadelphia (1990) \index{G{\'o}mez-D{\'\i}az, Teresa} \index{Watt, Stephen M.} \begin{chunk}{axiom.bib} -@inproceedings{BGDW95, +@inproceedings{Broa95, author = "Broadbery, P. A. and G{\'o}mez-D{\'\i}az, T. and Watt, S. M.", title = "On the Implementation of Dynamic Evaluation", year = "1995", @@ -10809,7 +10823,7 @@ Soc. for Industrial and Applied Mathematics, Philadelphia (1990) keywords = "axiomref", isbn = "0-89791-699-9", url = "http://pdf.aminer.org/000/449/014/on_the_implementation_of_dynamic_evaluation.pdf", - paper = "BGDW95.pdf", + paper = "Broa95.pdf", abstract = " Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. @@ -17000,7 +17014,19 @@ Mathematics of Computation, vol. 35, num. 35, Oct. 1980, 1379-1381 paper = "Bron95.pdf", year = "1995", url = - "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps" + "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps", + comment = "\newline\refto{category OREPCAT UnivariateSkewPolynomialCategory} + \newline\refto{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} + \newline\refto{domain AUTOMOR Automorphism} + \newline\refto{domain ORESUP SparseUnivariateSkewPolynomial} + \newline\refto{domain OREUP UnivariateSkewPolynomial} + \newline\refto{domain LODO LinearOrdinaryDifferentialOperator} + \newline\refto{domain LODO1 LinearOrdinaryDifferentialOperator1} + \newline\refto{domain LODO2 LinearOrdinaryDifferentialOperator2} + \newline\refto{package APPLYORE ApplyUnivariateSkewPolynomial} + \newline\refto{package OREPCTO UnivariateSkewPolynomialCategoryOps} + \newline\refto{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} + \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}" } \end{chunk} diff --git a/changelog b/changelog index e7e268a..67cf89d 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,7 @@ +20160626 tpd src/axiom-website/patches.html 20160625.06.tpd.patch +20160626 tpd books/bookvol10.2 add Abramov and Bronstein to LODO and ORE +20160626 tpd books/bookvol10.3 add Abramov and Bronstein to LODO and ORE +20160626 tpd books/bookvol10.4 add Abramov and Bronstein to LODO and ORE 20160626 tpd src/axiom-website/patches.html 20160625.05.tpd.patch 20160626 tpd books/bookvol10.2 add Bronstein LODO and ORE reference 20160626 tpd books/bookvol10.3 add Bronstein LODO and ORE reference diff --git a/patch b/patch index 3d52c52..f457daa 100644 --- a/patch +++ b/patch @@ -1,16 +1,16 @@ -books/bookvol* add Bronstein LODO and ORE reference +books/bookvol* add Abramov and Bronstein reference to LODO and ORE Goal: Axiom Literate Programming +\index{Abramov, Sergei A.} \index{Bronstein, Manuel} \begin{chunk}{axiom.bib} -@misc{Bron95, - author = "Bronstein, Manuel", - title = "On radical solutions of linear ordinary differential equations", - paper = "Bron95.pdf", - year = "1995", +@article{Abra01, + author = "Abramov, Sergei and Bronstein, Manuel", + title = "On Solutions of Linear Functional Systems", url = - "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps", + "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", + paper = "Abra01.pdf", comment = "\newline\refto{category OREPCAT UnivariateSkewPolynomialCategory} \newline\refto{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} \newline\refto{domain AUTOMOR Automorphism} @@ -22,7 +22,17 @@ Goal: Axiom Literate Programming \newline\refto{package APPLYORE ApplyUnivariateSkewPolynomial} \newline\refto{package OREPCTO UnivariateSkewPolynomialCategoryOps} \newline\refto{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} - \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}" + \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}", + abstract = " + We describe a new direct algorithm for transforming a linear system of + recurrences into an equivalent one with nonsingular leading or + trailing matrix. Our algorithm, which is an improvement to the EG + elimination method, uses only elementary linear algebra operations + (ranks, kernels, and determinants) to produce an equation satisfied by + the degress of the solutions with finite support. As a consequence, we + can boudn and compute the polynomial and rational solutions of very + general linear functional systems such as systems of differential or + ($q$)-difference equations." } \end{chunk} diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index e2fea44..c08de6b 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -5402,6 +5402,8 @@ books/bookvolbib Axiom Citations in the Literature
books/bookvolbib Axiom Citations in the Literature
20160626.05.tpd.patch books/bookvol* add Bronstein LODO and ORE reference
+20160626.06.tpd.patch +books/bookvol* add Abramov and Bronstein reference to LODO and ORE
-- 1.7.5.4