From 19a37fb5a17c4a2518cfeac9b626a12e1559e7b7 Mon Sep 17 00:00:00 2001
From: Tim Daly
Date: Sun, 7 Feb 2016 18:58:41 -0500
Subject: [PATCH] books/bookvolbib add Faug94 reference
Goal: Axiom bibliography
@article{Faug94,
author = "Faug\'ere, J.C. and Gianni, P. and Lazard, D. and Mora, T.",
title = "Efficient Computation of Zero-dimensional Grobner Bases by
Change of Ordering",
journal = "J. Symbolic Computation",
issue_date = "February 1994",
volume = "11",
number = "2",
month = "February",
year = "1984",
url = "http://www-polsys.lip6.fr/~jcf/Papers/FGLM.pdf",
publisher = "Academic Press Limited",
keywords = "axiomref",
paper = "Faug94.pdf",
abstract = "
We present an efficient algorithm for the transformation of a
Grobner basis of a zero-dimensional ideal with respect to any given
ordering into a Grobner basis with respect to any other
ordering. This algorithm is polynomial in the degree of the idea. In
particular, the lexicographical Grobner basis can be obtained by
applying this algorithm after a total degree Grobner basis
computation: it is usually much faster to compute the basis this way
than with a direct application of Buchberger's algorithm."
}
---
books/bookvolbib.pamphlet | 34 +++++++++++++++++++++++++++++++++-
changelog | 2 ++
patch | 31 ++++++++++++++++++++++++++++---
src/axiom-website/patches.html | 2 ++
4 files changed, 65 insertions(+), 4 deletions(-)
diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 5f5beee..0bfaa2c 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -5126,7 +5126,7 @@ Comm. Math. Helv., Vol 18 pp 283-308, (1946)
\begin{chunk}{ignore}
\bibitem[Raab 13]{Raab13} Raab, Clemens G.
title = "Generalization of Risch's Algorithm to Special Functions",
- url = "http://arxiv.org/pdf/1305.1481",
+ url = "http://arxiv.org/pdf/1305.1481.pdf",
paper = "Raab13.pdf",
abstract = "
Symbolic integration deals with the evaluation of integrals in closed
@@ -10208,6 +10208,38 @@ In Watanabe and Nagata [WN90], pp60-67 ISBN 0-89791-401-5 LCCN QA76.95.I57 1990
\end{chunk}
+\index{Faug\'ere, J.C.}
+\index{Gianni, P.}
+\index{Lazard, D.}
+\index{Mora, T.}
+\begin{chunk}{axiom.bib}
+@article{Faug94,
+ author = "Faug\'ere, J.C. and Gianni, P. and Lazard, D. and Mora, T.",
+ title = "Efficient Computation of Zero-dimensional Grobner Bases by
+ Change of Ordering",
+ journal = "J. Symbolic Computation",
+ issue_date = "February 1994",
+ volume = "11",
+ number = "2",
+ month = "February",
+ year = "1984",
+ url = "http://www-polsys.lip6.fr/~jcf/Papers/FGLM.pdf",
+ publisher = "Academic Press Limited",
+ keywords = "axiomref",
+ paper = "Faug94.pdf",
+ abstract = "
+ We present an efficient algorithm for the transformation of a
+ Grobner basis of a zero-dimensional ideal with respect to any given
+ ordering into a Grobner basis with respect to any other
+ ordering. This algorithm is polynomial in the degree of the idea. In
+ particular, the lexicographical Grobner basis can be obtained by
+ applying this algorithm after a total degree Grobner basis
+ computation: it is usually much faster to compute the basis this way
+ than with a direct application of Buchberger's algorithm."
+}
+
+\end{chunk}
+
\index{Faure, Christ\'ele}
\index{Davenport, James H.}
\begin{chunk}{ignore}
diff --git a/changelog b/changelog
index 62cb492..f4a2201 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20160207 tpd src/axiom-website/patches.html 20160207.01.tpd.patch
+20160207 tpd books/bookvolbib add Faug94 reference
20160110 tpd src/axiom-website/patches.html 20160110.01.tpd.patch
20160110 tpd books/bookvol13 theorem and example from Judson
20160110 tpd books/bookvolbib add Juds15
diff --git a/patch b/patch
index 9cb5735..cbf5fdd 100644
--- a/patch
+++ b/patch
@@ -1,5 +1,30 @@
-books/bookvol13 theorem and example from Judson
+books/bookvolbib add Faug94 reference
+
+Goal: Axiom bibliography
+
+@article{Faug94,
+ author = "Faug\'ere, J.C. and Gianni, P. and Lazard, D. and Mora, T.",
+ title = "Efficient Computation of Zero-dimensional Grobner Bases by
+ Change of Ordering",
+ journal = "J. Symbolic Computation",
+ issue_date = "February 1994",
+ volume = "11",
+ number = "2",
+ month = "February",
+ year = "1984",
+ url = "http://www-polsys.lip6.fr/~jcf/Papers/FGLM.pdf",
+ publisher = "Academic Press Limited",
+ keywords = "axiomref",
+ paper = "Faug94.pdf",
+ abstract = "
+ We present an efficient algorithm for the transformation of a
+ Grobner basis of a zero-dimensional ideal with respect to any given
+ ordering into a Grobner basis with respect to any other
+ ordering. This algorithm is polynomial in the degree of the idea. In
+ particular, the lexicographical Grobner basis can be obtained by
+ applying this algorithm after a total degree Grobner basis
+ computation: it is usually much faster to compute the basis this way
+ than with a direct application of Buchberger's algorithm."
+}
-Goal: Proving Axiom Correct
-Theorems related to Euclid's algorithm and reference.
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 3bc7aa5..c0db23a 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -5182,6 +5182,8 @@ src/interp/g-util.lisp merge with bookvol5, bookvol9

books/bookvol9 merge code, rewrite into common lisp

20160110.01.tpd.patch
books/bookvol13 theorem and example from Judson

+20160207.01.tpd.patch
+books/bookvolbib add Faug94 reference

--
1.7.5.4