From 439488abff5af07097ee7715c5af74ce0eaf86cd Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Mon, 20 Jun 2016 19:02:03 0400
Subject: [PATCH] books/bookvolbib add Saun79, Category GRMOD GradedModule
Goal: Axiom Literate Programming
Collect algebra references in the bibliography
\index{MacLane, Saunders}
\index{Birkhoff, Garrett}
\begin{chunk}{axiom.bib}
@book{Saun79,
author = "MacLane, Saunders and Birkhoff, Garrett",
title = "Algebra, Second Edition",
publisher = "MacMillan",
year = "1979",
comment = "Category GRMOD GradedModule"
}
\end{chunk}

books/bookvol10.2.pamphlet  1 +
books/bookvolbib.pamphlet  13 ++++++++++++
changelog  3 ++
patch  43 ++++++++++++
src/axiomwebsite/patches.html  2 +
5 files changed, 32 insertions(+), 30 deletions()
diff git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 062d428..4ceb14a 100644
 a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ 10016,6 +10016,7 @@ These exports come from \refto{SetCategory}():
?=? : (%,%) > Boolean
\end{verbatim}
+See: Algebra \cite{Saun79}
\begin{chunk}{category GRMOD GradedModule}
)abbrev category GRMOD GradedModule
++ Author: Stephen M. Watt
diff git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 86e4e6a..56e3563 100644
 a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ 17561,6 +17561,19 @@ Num. Math. 16 205223. (1970)
\subsection{S} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\index{MacLane, Saunders}
+\index{Birkhoff, Garrett}
+\begin{chunk}{axiom.bib}
+@book{Saun79,
+ author = "MacLane, Saunders and Birkhoff, Garrett",
+ title = "Algebra, Second Edition",
+ publisher = "MacMillan",
+ year = "1979",
+ comment = "Category GRMOD GradedModule"
+}
+
+\end{chunk}
+
\index{Schafer, R.D.}
\begin{chunk}{axiom.bib}
@book{Scha66,
diff git a/changelog b/changelog
index 5517a7c..581eeae 100644
 a/changelog
+++ b/changelog
@@ 1,3 +1,6 @@
+20160620 tpd src/axiomwebsite/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
20160619 tpd src/axiomwebsite/patches.html 20160619.02.tpd.patch
20160619 tpd books/bookvolbib add Kupe14, N Queens on an FPGA
20160619 tpd src/axiomwebsite/patches.html 20160619.01.tpd.patch
diff git a/patch b/patch
index 10d1966..31a925a 100644
 a/patch
+++ b/patch
@@ 1,35 +1,18 @@
books/bookvolbib add Kupe14, N Queens on an FPGA
+books/bookvolbib add Saun79, Category GRMOD GradedModule
Goal: Axiom Literate Programming
This paper makes a principled transition from a mathematical
formulation of a problem to its reduction to executable code.
+Collect algebra references in the bibliography
@article{Kupe14,
 author = "Kuper, Jan and Wester, Rinse",
 title = "N Queens on an FPGA: Mathematics, Programming, or Both?",
 year = "2014",
 url = "http://doc.utwente.nl/94663/1/NQueensOnFPGA.pdf",
 publisher = "Open Channel Publishing Ltd",
 journal = "Communicating Process Architectures 2014",
 abstract =
 "This paper presents a design methodology for deriving an FPGA
 implementation directly from a mathematical specification, thus
 avoiding the switch in semantic perspective as is present in widely
 applied methods which include an imperative implementation as an
 intermediate step.

 The first step in the method presented in this paper is to transform a
 mathematical specification into a Haskell program. The next step is to
 make repetition structures explicit by higher order functions, and
 after that rewrite the specification in the form of a Mealy
 Machine. Finally, adaptations have to be made in order to comply to
 the fixed nature of hardware. The result is then given to
 C$\lambda$aSH, a compiler which generates synthesizable VHDL from the
 resulting Haskell code. An advantage of the approach presented here is
 that in all phases of the process the design can be directly simulated
 by executing the defining code in a standard Haskell environment.

 To illustrate the design process, the N queens problem is chosen as a
 running example."
+\index{MacLane, Saunders}
+\index{Birkhoff, Garrett}
+\begin{chunk}{axiom.bib}
+@book{Saun79,
+ author = "MacLane, Saunders and Birkhoff, Garrett",
+ title = "Algebra, Second Edition",
+ publisher = "MacMillan",
+ year = "1979",
+ comment = "Category GRMOD GradedModule"
}
+
+\end{chunk}
diff git a/src/axiomwebsite/patches.html b/src/axiomwebsite/patches.html
index 628a16b..5b82e4d 100644
 a/src/axiomwebsite/patches.html
+++ b/src/axiomwebsite/patches.html
@@ 5338,6 +5338,8 @@ books/bookvol10.3 add ++X documentation on Symbol
src/input/allfns.input test for algebra examples
20160619.02.tpd.patch
books/bookvolbib add Kupe14, N Queens on an FPGA
+20160620.01.tpd.patch
+books/bookvolbib add Saun79, Category GRMOD GradedModule

1.7.5.4