[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] 20080506.01.tpd.patch (CATS Schaums-Axiom post-mortem
From: |
daly |
Subject: |
[Axiom-developer] 20080506.01.tpd.patch (CATS Schaums-Axiom post-mortem fixups) |
Date: |
Tue, 6 May 2008 22:21:59 -0500 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] 20080506.01.tpd.patch (CATS Schaums-Axiom post-mortem fixups),
daly <=