diff --git a/books/bookvol0.pamphlet b/books/bookvol0.pamphlet
index 23eb047..2e0d1a6 100644
--- a/books/bookvol0.pamphlet
+++ b/books/bookvol0.pamphlet
@@ -1692,7 +1692,7 @@ To obtain the floating point value of a fraction one must convert
{\bf coercions} are applied automatically by the interpreter) the result
to type {\tt Float} using the ``::'' operator as follows:
-\spadcommand{(4.6)::Float}
+\spadcommand{(23/5)::Float}
$$
4.6
$$
diff --git a/buglist b/buglist
index cd7497c..bd4746b 100644
--- a/buglist
+++ b/buglist
@@ -1,6 +1,6 @@
=========================================================================
-bug 7271:
+bug 7272:
todo 336:
wish 1012:
meh 5:
@@ -41163,4 +41163,18 @@ bug 7264: 2.7@DoubleFloat failed to coerce to DoubleFloat
An expression involving @ DoubleFloat actually evaluated to one of
type Float . Perhaps you should use :: DoubleFloat .
+fixed by 20141209.05.tpd.patch
+=========================================================================
+bug 7271: Mistake in an example from book introduction
+
+in section 0.2.2, "Type Conversion" of Axiom Book, there's an
+example of a conversion that seems to be wrong. It uses
+
+(4.6)::Float
+
+Since there's no point in a coercion from Float to a Float, from
+the context, it seems the intention was to write:
+
+(23/5)::Float
+
diff --git a/changelog b/changelog
index 077b0af..2b9aa56 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20141209 tpd src/axiom-website/patches.html 20141209.05.tpd.patch
+20141209 tpd buglist: bug 7271: Mistake in an example from book introduction
20141209 tpd src/axiom-website/patches.html 20141209.04.tpd.patch
20141209 tpd buglist: bug 7270: integral comfused by branches
20141209 tpd src/axiom-website/patches.html 20141209.03.tpd.patch
diff --git a/patch b/patch
index 6dd726c..fe3edcc 100644
--- a/patch
+++ b/patch
@@ -1,52 +1,12 @@
-buglist: bug 7270: integral comfused by branches
+buglist: bug 7271: Mistake in an example from book introduction
-(1) -> integrate(x*(asin(sin(x)))^3,x)
+in section 0.2.2, "Type Conversion" of Axiom Book, there's an
+example of a conversion that seems to be wrong. It uses
- 5
- x
- (1) --
- 5
- Type: Union(Expression(Integer),...)
-(2) -> (%pi/2)*integrate((asin(sin(x)))^3,x=0..%pi)
+(4.6)::Float
- 5
- %pi
- (2) ----
- 8
- Type: Expression(Integer)
-(3) -> integrate((asin(sin(x)))^3,x=0..%pi)
+Since there's no point in a coercion from Float to a Float, from
+the context, it seems the intention was to write:
- 4
- %pi
- (3) ----
- 4
- Type: Union(f1: OrderedCompletion(Expression(Integer)),...)
-(4) -> integrate((asin(sin(x)))^3,x=0..%pi/2)
-
- 4
- %pi
- (4) ----
- 64
- Type: Union(f1: OrderedCompletion(Expression(Integer)),...)
-(5) -> integrate(x^3,x=0..%pi/2)
-
- 4
- %pi
- (5) ----
- 64
- Type: Union(f1: OrderedCompletion(Expression(Integer)),...)
-(6) -> numeric %
-
- (6) 1.5220170474 062880818
- Type: Float
-(7) -> integrate(x^3,x)
-
- 1 4
- (7) - x
- 4
- Type: Polynomial(Fraction(Integer))
-(8) -> numeric(%pi^4/4)
-
- (8) 24.3522727585 00609309
- Type: Float
+(23/5)::Float
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 1f87926..035c1d6 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4794,6 +4794,8 @@ buglist: bug 7268: Typechecker gets confused by flow control
buglist: bug 7269: hash does not work for Record
20141209.04.tpd.patch
buglist: bug 7270: integral comfused by branches
+20141209.05.tpd.patch
+buglist: bug 7271: Mistake in an example from book introduction