[Axiom-developer] 20080729.01.tpd.patch (expand next tree level)

[daly]

rootpage->topics->numbers->integers expanded

======================================================================
diff --git a/books/bookvol7.1.pamphlet b/books/bookvol7.1.pamphlet
index 11ed426..c022143 100644
--- a/books/bookvol7.1.pamphlet
+++ b/books/bookvol7.1.pamphlet
@@ -8212,6 +8212,7 @@ Section 8.13\ignore{ugProblemGalois}.
 @
 \section{frac.ht}
 \pagehead{FractionXmpPage}{frac.ht}{Fraction}
+\pageto{Integer}{IntegerXmpPage}
 \pageto{notitle}{ContinuedFractionXmpPage}
 \pageto{notitle}{PartialFractionXmpPage}
 <<frac.ht>>=
@@ -11082,15 +11083,18 @@ These numbers are bona fide algebraic objects.
 @
 \section{int.ht}
 \pagehead{IntegerXmpPage}{int.ht}{Integer}
-\pageto{notitle}{ugIntroNumbersPage}
-\pageto{notitle}{IntNumberTheoryFnsXmpPage}
-\pageto{notitle}{DecimalExpansionXmpPage}
-\pageto{notitle}{BinaryExpansionXmpPage}
-\pageto{notitle}{HexExpansionXmpPage}
-\pageto{notitle}{RadixExpansionXmpPage}
-\pageto{notitle}{ugxIntegerBasicPage}
-\pageto{notitle}{ugxIntegerPrimesPage}
-\pageto{notitle}{ugxIntegerNTPage}
+\pagepic{ps/v71integerxmppage.eps}{IntegerXmpPage}
+\pagefrom{Integers}{IntegerPage}
+\pagefrom{Fraction}{FractionXmpPage}
+\pageto{Numbers}{ugIntroNumbersPage}
+\pageto{IntegerNumberTheoryFunctions}{IntNumberTheoryFnsXmpPage}
+\pageto{DecimalExpansion}{DecimalExpansionXmpPage}
+\pageto{BinaryExpansion}{BinaryExpansionXmpPage}
+\pageto{HexadecimalExpansion}{HexExpansionXmpPage}
+\pageto{RadixExpansion}{RadixExpansionXmpPage}
+\pageto{Basic Functions}{ugxIntegerBasicPage}
+\pageto{Primes and Factorization}{ugxIntegerPrimesPage}
+\pageto{Some Number Theoretic Functions}{ugxIntegerNTPage}
 <<int.ht>>=
 \begin{page}{IntegerXmpPage}{Integer}
 \beginscroll
@@ -11327,8 +11331,10 @@ Records are discussed in detail in
 
 @
 \pagehead{ugxIntegerPrimesPage}{int.ht}{Primes and Factorization}
-\pageto{notitle}{FactoredXmpPage}
-\pageto{notitle}{ComplexXmpPage}
+\pagepic{ps/v71ugxintegerprimespage.eps}{ugxIntegerPrimesPage}
+\pagefrom{Integers}{IntegerPage}
+\pageto{Factored}{FactoredXmpPage}
+\pageto{Complex}{ComplexXmpPage}
 <<int.ht>>=
 \begin{page}{ugxIntegerPrimesPage}{Primes and Factorization}
 \beginscroll
@@ -11470,6 +11476,8 @@ Roman numerals.
 \section{intheory.ht}
 \pagehead{IntNumberTheoryFnsXmpPage}{intheory.ht}
 {IntegerNumberTheoryFunctions}
+\pagepic{ps/v71intnumbertheoryfnsxmppage.eps}{IntNumberTheoryFnsXmpPage}
+\pagefrom{Integers}{IntegerPage}
 <<intheory.ht>>=
 \begin{page}{IntNumberTheoryFnsXmpPage}
 {IntegerNumberTheoryFunctions}
@@ -16520,7 +16528,9 @@ Problems from number theory.
 
 @
 \pagehead{IntegerExamplePage}{numbers.ht}{Integer Examples}
-\pageto{notitle}{IntegerExampleProofPage}
+\pagepic{ps/v71integerexamplepage.eps}{IntegerExamplePage}
+\pagefrom{Integers}{IntegerPage}
+\pageto{Proof}{IntegerExampleProofPage}
 <<numbers.ht>>=
 \begin{page}{IntegerExamplePage}{Integer Examples}
 \beginscroll
@@ -16569,9 +16579,11 @@ QED
 
 @
 \pagehead{IntegerProblemPage}{numbers.ht}{Integer Problems}
-\pageto{notitle}{IntegerProblemProofPage}
-\pageto{notitle}{IntegerProblemAnswerPage1}
-\pageto{notitle}{IntegerProblemAnswerPage2}
+\pagepic{ps/v71integerproblempage.eps}{IntegerProblemPage}
+\pagefrom{Integers}{IntegerPage}
+\pageto{Proof}{IntegerProblemProofPage}
+\pageto{Answer}{IntegerProblemAnswerPage1}
+\pageto{Answer}{IntegerProblemAnswerPage2}
 <<numbers.ht>>=
 \begin{page}{IntegerProblemPage}{Integer Problems}
 \beginscroll
diff --git a/changelog b/changelog
index c7f6eb7..877d3bc 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,9 @@
+20080729 tpd books/bookvol7.1 update Topics->Numbers->General Info
+20080729 tpd books/ps/v71integerexamplepage.eps added
+20080729 tpd books/ps/v71integerproblempage.eps added
+20080729 tpd books/ps/v71integerxmppage.eps added
+20080729 tpd books/ps/v71intnumbertheoryfnsxmppage.eps added
+20080729 tpd books/ps/v71ugxintegerprimespage.eps added
 20080728 tpd books/bookvol7.1 update Topics->Numbers branch
 20080728 tpd books/ps/v71binaryexpansionxmppage.eps added
 20080728 tpd books/ps/v71cardinalnumberxmppage.eps added