From 25ceed050a8af04bcb5ce42643e2087e8fb1fd51 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Tue, 21 Jun 2016 05:17:49 0400
Subject: [PATCH] books/bookvolbib add Iyan60 category GRALG GradedAlgebra
Goal: Axiom Literate Programming
Collect algebra references in the bibliography
\index{Iyanaga, Shokichi}
\index{Iyanaga, Yukiyosi Kawada}
\begin{chunk}{axiom.bib}
@book{Iyan60,
author = "Iyanaga, Shokichi and Iyanaga, Yukiyosi Kawada",
title = "Encyclopedia Dictionary of Mathematics",
publisher = "Mathematical Society of Japan",
year = "1960",
isbn = "9780262090261",
comment = "\refto{category GRALG GradedAlgebra}"
}
\end{chunk}

books/bookvol10.2.pamphlet  2 +
books/bookvolbib.pamphlet  13 ++++++
changelog  3 ++
patch  55 +++++++
src/axiomwebsite/patches.html  2 +
5 files changed, 26 insertions(+), 49 deletions()
diff git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 7b50123..49583c5 100644
 a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ 16886,6 +16886,8 @@ These exports come from \refto{RetractableTo}(R:CommutativeRing):
retractIfCan : % > Union(R,"failed")
\end{verbatim}
+See: Encyclopedic Dictionary of Mathematics \cite{Iyan60}
+\label{category GRALG GradedAlgebra}
\begin{chunk}{category GRALG GradedAlgebra}
)abbrev category GRALG GradedAlgebra
++ Author: Stephen M. Watt
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index f95c3bd..10e182f 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 16283,10 +16283,15 @@ Inf. and Comp. 78, pp.171177, 1988
\index{Iyanaga, Shokichi}
\index{Iyanaga, Yukiyosi Kawada}
\begin{chunk}{ignore}
\bibitem[Iyanaga 77]{Iya77} Iyanaga, Shokichi; Iyanaga, Yukiyosi Kawada
 title = "Encyclopedic Dictionary of Mathematics",
1977
+\begin{chunk}{axiom.bib}
+@book{Iyan60,
+ author = "Iyanaga, Shokichi and Iyanaga, Yukiyosi Kawada",
+ title = "Encyclopedia Dictionary of Mathematics",
+ publisher = "Mathematical Society of Japan",
+ year = "1960",
+ isbn = "9780262090261",
+ comment = "\refto{category GRALG GradedAlgebra}"
+}
\end{chunk}
diff git a/changelog b/changelog
index 5ff8329..73bcedf 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,6 @@
+20160621 tpd src/axiomwebsite/patches.html 20160621.01.tpd.patch
+20160621 tpd books/bookvolbib add Iyan60 category GRALG GradedAlgebra
+20160621 tpd books/bookvol10.2 add Iyan60 category GRALG GradedAlgebra
20160620 tpd src/axiomwebsite/patches.html 20160620.04.tpd.patch
20160620 tpd books/bookvol10.2 add Ritt50, Hubb DifferentialVariableCategory
20160620 tpd books/bookvolbib add Ritt50, Hubb DifferentialVariableCategory
diff git a/patch b/patch
index 8e903b4..d922456 100644
 a/patch
+++ b/patch
@@ 1,54 +1,19 @@
books/bookvolbib add Ritt50, Hubb category DifferentialVariableCategory
+books/bookvolbib add Iyan60 category GRALG GradedAlgebra
Goal: Axiom Literate Programming
Collect algebra references in the bibliography
\index{Ritt, Joseph Fels}
+\index{Iyanaga, Shokichi}
+\index{Iyanaga, Yukiyosi Kawada}
\begin{chunk}{axiom.bib}
@article{Ritt50,
 author = "Ritt, Joseph Fels",
 title = "Differential Algebra",
 journal = "AMS Colloquium Publications",
 volume = "33",
 isbn = "9780821846384",
 paper = "Ritt50.pdf",
 comment = "\refto{category DVARCAT DifferentialVariableCategory}"
}

\end{chunk}

\index{Hubbard, John H.}
\index{Lundell, Benjamin}
\begin{chunk}{axiom.bib}
@misc{Hubb,
 author = "Hubbard, John H. and Lundell, Benjamin",
 title = "A First Look at Differential Algebra",
 url = "http://www.math.cornell.edu/~hubbard/diffalg1.pdf",
 paper = "Hubb.pdf",
 comment = "\refto{category DVARCAT DifferentialVariableCategory}",
 abstract =
 "The object of the paper is to prove that the differential equation
 \[u^{'}(t)=t[u(t)]^2\]
 has no solutions which can be written using elementary functions, or
 antiderivatives of elementary functions, or exponentials of such
 antiderivatives, or antiderivative of those, etc. We should note
 that Equation 1 can be solved using power series, integrals which
 depend on a parameter, or Bessel functions of order $1/3$. However,
 as we will see, none of these methods of solution are ``algebraic'' in
 nature.

 We aim to give a precise definition of ``algebraic'' by developing the
 theory of {\sl differential algebra}, which is largely the work of
 Ritt. Other contributors are Liouville, Picard, Vessoit, Kolchin,
 Rosenlicht, ... The part of differential Galois theory which leads to
 a proof of Abel's celebrated result that a general polynomial equation
 of degree five or higher cannot be solved by radicals. In effort to
 derive these two areas in parallel, we will also explain why the
 polynomial equation
 \[x^54x^22=0\]
 has no solutions which can be written as radicals of solutions to
 lower degree polyomial equations."
+@book{Iyan60,
+ author = "Iyanaga, Shokichi and Iyanaga, Yukiyosi Kawada",
+ title = "Encyclopedia Dictionary of Mathematics",
+ publisher = "Mathematical Society of Japan",
+ year = "1960",
+ isbn = "9780262090261",
+ comment = "\refto{category GRALG GradedAlgebra}"
}
\end{chunk}
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 7550b73..b1cd9af 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5346,6 +5346,8 @@ books/bookvolbib add Dele06, Bron96a category LORER LeftOreRing
books/bookvolbib add Jaco51, Jaco68 category MONAD Monad
20160620.04.tpd.patch
books/bookvolbib add Ritt50, Hubb category DifferentialVariableCategory
+20160621.01.tpd.patch
+books/bookvolbib add Iyan60 category GRALG GradedAlgebra

1.7.5.4