More agreement between Schaums and Axiom
=====================================================================
diff --git a/changelog b/changelog
index fcc6814..61271b9 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20080506 tpd src/input/schaum2.input post-mortem fixes
20080505 tpd src/input/schaum24.input branch-cut analysis
20080505 tpd src/input/schaum23.input post-mortem fixes
20080505 tpd src/input/schaum22.input post-mortem fixes
diff --git a/src/input/schaum2.input.pamphlet b/src/input/schaum2.input.pamphlet
index dfbaf88..7a4ef98 100644
--- a/src/input/schaum2.input.pamphlet
+++ b/src/input/schaum2.input.pamphlet
@@ -928,7 +928,7 @@ cc21:=bb2-aa.1
--R Type: Expression
Integer
--E
---S 64 14:92 Axiom cannot simplify this expression
+--S 64
cc22:=bb2-aa.2
--R
--R
@@ -942,6 +942,13 @@ cc22:=bb2-aa.2
--R \|- b
--R Type: Expression
Integer
--E
+
+--S 65 14:92 Schaums and Axiom agree
+dd22:=ratDenom cc22
+--R
+--R (9) 0
+--R Type: Expression
Integer
+--E
@
\section{\cite{1}:14.93~~~~~$\displaystyle
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
