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