[Axiom-developer] 20080506.01.tpd.patch (CATS Schaums-Axiom post-mortem fixups)

[daly]

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