axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] 20080508.02.tpd.patch (ignore gensyms in schaums regre


From: daly
Subject: [Axiom-developer] 20080508.02.tpd.patch (ignore gensyms in schaums regression tests)
Date: Thu, 8 May 2008 13:43:05 -0500

This is a minor patch to ignore gensyms that occur in rules
in the schaums regression test files.
========================================================================
diff --git a/changelog b/changelog
index 7fa956e..0b08224 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20080508 tpd src/input/schaum18.input ignore gensyms
+20080508 tpd src/input/schaum17.input ignore gensyms
 20080508 tpd src/input/schaum34.input fix int(asech(x)/x,x)
 20080507 wxh src/algebra/intef.spad fix int(asech(x)/x,x)
 20080506 tpd src/input/schaum2.input post-mortem fixes
diff --git a/src/input/schaum17.input.pamphlet 
b/src/input/schaum17.input.pamphlet
index 6092400..6939c30 100644
--- a/src/input/schaum17.input.pamphlet
+++ b/src/input/schaum17.input.pamphlet
@@ -1221,9 +1221,9 @@ dd:=tanrule cc
 sindiffrule2:=rule(sin((a-b)/4) == sin(a/4)*cos(b/4)-cos(a/4)*sin(b/4))
 --R 
 --R
---R                 b - a              a     b           b     a
+--I                 b - a              a     b           b     a
 --I   (6)  - %U sin(-----) == - %U cos(-)sin(-) + %U cos(-)sin(-)
---R                   4                4     4           4     4
+--I                   4                4     4           4     4
 --R                        Type: RewriteRule(Integer,Integer,Expression 
Integer)
 --E
 
diff --git a/src/input/schaum18.input.pamphlet 
b/src/input/schaum18.input.pamphlet
index f01b63d..62de8d7 100644
--- a/src/input/schaum18.input.pamphlet
+++ b/src/input/schaum18.input.pamphlet
@@ -428,9 +428,9 @@ dd:=cossinrule cc
 coscosrule:=rule(cos(a)*cos(b) == 1/2*(cos(a-b)+cos(a+b)))
 --R 
 --R
---R                           %O cos(b + a) + %O cos(b - a)
---R   (6)  %O cos(a)cos(b) == -----------------------------
---R                                         2
+--I                           %O cos(b + a) + %O cos(b - a)
+--I   (6)  %O cos(a)cos(b) == -----------------------------
+--I                                         2
 --R                        Type: RewriteRule(Integer,Integer,Expression 
Integer)
 --E
 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]