From 4811e1e6b6d1fffb87abffa3bfba3c02b4e1c1ac Mon Sep 17 00:00:00 2001 From: Tim Daly Date: Mon, 20 Jun 2016 20:02:34 -0400 Subject: [PATCH] books/bookvolbib add Dele06, Bron96a category LORER LeftOreRing Goal: Axiom Literate Programming Collect algebra references in the bibliography \index{Delenclos, Jonathon} \index{Leroy, Andr\'e} \begin{chunk}{axiom.bib} @misc{Dele06, author = "Delenclos, Jonathon and Leroy, Andr\'e", title = "Noncommutative Symmetric functions and $W$-polynomials", url = "http://arxiv.org/pdf/math/0606614.pdf", paper = "Dele06.pdf", comment = "\refto{category LORER LeftOreRing}", abstract = " Let $K$, $S$, $D$ be a division ring an endomorphism and a $S$-derivation of $K$, respectively. In this setting we introduce generalized noncommutative symmetric functions and obtain Vi\'ete formula and decompositions of different operators. $W$-polynomials show up naturally, their connetions with $P$-independency. Vandermonde and Wronskian matrices are briefly studied. The different linear factorizations of $W$-polynomials are analysed. Connections between the existence of LLCM (least left common multiples) of monic linear polynomials with coefficients in a ring and the left duo property are established at the end of the paper." } \end{chunk} \index{Bronstein, Manuel} \index{Petkovsek, Marko} \begin{chunk}{axiom.bib} @article{Bron96a, author = "Bronstein, Manuel and Petkovsek, Marko", title = "An introduction to pseudo-linear algebra", journal = "Theoretical Computer Science", volume = "157", pages = "3-33", year = "1966", url = "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", paper = "Bron96a.pdf", comment = "\refto{category LORER LeftOreRing}", abstract = "Pseudo-linear algebra is the study of common properties of linear differential and difference operators. We introduce in this paper its basic objects (pseudo-derivations, skew polynomials, and pseudo-linear operators) and describe several recent algorithms on them, which, when applied in the differential and difference cases, yield algorithms for uncoupling and solving systems of linear differential and difference equations in closed form." } \end{chunk} --- books/bookvol10.2.pamphlet | 5 +++- books/bookvolbib.pamphlet | 29 +++++++++++++------- changelog | 3 ++ patch | 56 +++++++++++++++++++++++++++++++++------ src/axiom-website/patches.html | 2 + 5 files changed, 75 insertions(+), 20 deletions(-) diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 4ceb14a..d0eaddd 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -10017,6 +10017,7 @@ These exports come from \refto{SetCategory}(): \end{verbatim} See: Algebra \cite{Saun79} +\label{category GRMOD GradedModule} \begin{chunk}{category GRMOD GradedModule} )abbrev category GRMOD GradedModule ++ Author: Stephen M. Watt @@ -10177,13 +10178,15 @@ This is the category of left ore rings, that is, the commutative rings without zero divisors where we can compute least left common multiples. -See [Delenclos 06], [Bronstein 96a] +See [Dele06], [Bron96a] See Also: o )show LeftOreRing \end{chunk} +See Delenclos \cite{Dele06}, Bronstein \cite{Bron96a} +\label{category LORER LeftOreRing} \begin{chunk}{category LORER LeftOreRing} )abbrev category LORER LeftOreRing ++ Description: diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index 56e3563..d9e85eb 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -5251,21 +5251,27 @@ Mathematics and Computers in Simulation 42 pp 387-389 (1996) \index{Bronstein, Manuel} \index{Petkovsek, Marko} -\begin{chunk}{ignore} -\bibitem[Bronstein 96a]{Bro96a} Bronstein, Manuel; Petkovsek, Marko +\begin{chunk}{axiom.bib} +@article{Bron96a, + author = "Bronstein, Manuel and Petkovsek, Marko", title = "An introduction to pseudo-linear algebra", -Theoretical Computer Science V157 pp3-33 (1966) + journal = "Theoretical Computer Science", + volume = "157", + pages = "3-33", + year = "1966", url = "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", - paper = "Bro96a.pdf", - abstract = " - Pseudo-linear algebra is the study of common properties of linear + paper = "Bron96a.pdf", + comment = "\refto{category LORER LeftOreRing}", + abstract = + "Pseudo-linear algebra is the study of common properties of linear differential and difference operators. We introduce in this paper its basic objects (pseudo-derivations, skew polynomials, and pseudo-linear operators) and describe several recent algorithms on them, which, when applied in the differential and difference cases, yield algorithms for uncoupling and solving systems of linear differential and difference equations in closed form." +} \end{chunk} @@ -7092,11 +7098,13 @@ Proc ISSAC 97 pp172-175 (1997) \index{Delenclos, Jonathon} \index{Leroy, Andr\'e} -\begin{chunk}{ignore} -\bibitem[Delenclos 06]{DL06} Delenclos, Jonathon; Leroy, Andr\'e +\begin{chunk}{axiom.bib} +@misc{Dele06, + author = "Delenclos, Jonathon and Leroy, Andr\'e", title = "Noncommutative Symmetric functions and $W$-polynomials", url = "http://arxiv.org/pdf/math/0606614.pdf", - paper = "DL06.pdf", + paper = "Dele06.pdf", + comment = "\refto{category LORER LeftOreRing}", abstract = " Let $K$, $S$, $D$ be a division ring an endomorphism and a $S$-derivation of $K$, respectively. In this setting we introduce @@ -7108,6 +7116,7 @@ Proc ISSAC 97 pp172-175 (1997) the existence of LLCM (least left common multiples) of monic linear polynomials with coefficients in a ring and the left duo property are established at the end of the paper." +} \end{chunk} @@ -17569,7 +17578,7 @@ Num. Math. 16 205--223. (1970) title = "Algebra, Second Edition", publisher = "MacMillan", year = "1979", - comment = "Category GRMOD GradedModule" + comment = "\refto{category GRMOD GradedModule}" } \end{chunk} diff --git a/changelog b/changelog index 581eeae..231c0e2 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,6 @@ +20160620 tpd src/axiom-website/patches.html 20160620.02.tpd.patch +20160620 tpd books/bookvol10.2 add Dele06, Bron96a category LORER LeftOreRing +20160620 tpd books/bookvolbib add Dele06, Bron96a category LORER LeftOreRing 20160620 tpd src/axiom-website/patches.html 20160620.01.tpd.patch 20160620 tpd books/bookvolbib add Saun79, Category GRMOD GradedModule 20160620 tpd books/bookvol10.2 add Saun79, Category GRMOD GradedModule diff --git a/patch b/patch index 31a925a..1ca9b51 100644 --- a/patch +++ b/patch @@ -1,18 +1,56 @@ -books/bookvolbib add Saun79, Category GRMOD GradedModule +books/bookvolbib add Dele06, Bron96a category LORER LeftOreRing Goal: Axiom Literate Programming Collect algebra references in the bibliography -\index{MacLane, Saunders} -\index{Birkhoff, Garrett} +\index{Delenclos, Jonathon} +\index{Leroy, Andr\'e} \begin{chunk}{axiom.bib} -@book{Saun79, - author = "MacLane, Saunders and Birkhoff, Garrett", - title = "Algebra, Second Edition", - publisher = "MacMillan", - year = "1979", - comment = "Category GRMOD GradedModule" +@misc{Dele06, + author = "Delenclos, Jonathon and Leroy, Andr\'e", + title = "Noncommutative Symmetric functions and $W$-polynomials", + url = "http://arxiv.org/pdf/math/0606614.pdf", + paper = "Dele06.pdf", + comment = "\refto{category LORER LeftOreRing}", + abstract = " + Let $K$, $S$, $D$ be a division ring an endomorphism and a + $S$-derivation of $K$, respectively. In this setting we introduce + generalized noncommutative symmetric functions and obtain Vi\'ete + formula and decompositions of different operators. $W$-polynomials + show up naturally, their connetions with $P$-independency. Vandermonde + and Wronskian matrices are briefly studied. The different linear + factorizations of $W$-polynomials are analysed. Connections between + the existence of LLCM (least left common multiples) of monic linear + polynomials with coefficients in a ring and the left duo property are + established at the end of the paper." } \end{chunk} + +\index{Bronstein, Manuel} +\index{Petkovsek, Marko} +\begin{chunk}{axiom.bib} +@article{Bron96a, + author = "Bronstein, Manuel and Petkovsek, Marko", + title = "An introduction to pseudo-linear algebra", + journal = "Theoretical Computer Science", + volume = "157", + pages = "3-33", + year = "1966", + url = + "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", + paper = "Bron96a.pdf", + comment = "\refto{category LORER LeftOreRing}", + abstract = + "Pseudo-linear algebra is the study of common properties of linear + differential and difference operators. We introduce in this paper its + basic objects (pseudo-derivations, skew polynomials, and pseudo-linear + operators) and describe several recent algorithms on them, which, when + applied in the differential and difference cases, yield algorithms for + uncoupling and solving systems of linear differential and difference + equations in closed form." +} + +\end{chunk} + diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 5b82e4d..9e4d0db 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -5340,6 +5340,8 @@ src/input/allfns.input test for algebra examples
books/bookvolbib add Kupe14, N Queens on an FPGA
20160620.01.tpd.patch books/bookvolbib add Saun79, Category GRMOD GradedModule
+20160620.02.tpd.patch +books/bookvolbib add Dele06, Bron96a category LORER LeftOreRing
-- 1.7.5.4