git://www.ginac.de
/
ginac.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dd62f33
)
added one more check
author
Christian Bauer
<Christian.Bauer@uni-mainz.de>
Sat, 19 May 2001 00:39:55 +0000
(
00:39
+0000)
committer
Christian Bauer
<Christian.Bauer@uni-mainz.de>
Sat, 19 May 2001 00:39:55 +0000
(
00:39
+0000)
check/exam_indexed.cpp
patch
|
blob
|
history
diff --git
a/check/exam_indexed.cpp
b/check/exam_indexed.cpp
index e1ee1eb1c8977e84c6b269acd632247db6073e41..10eb3d01e0b65b5dba44a18f4013cd264c918490 100644
(file)
--- a/
check/exam_indexed.cpp
+++ b/
check/exam_indexed.cpp
@@
-315,6
+315,7
@@
static unsigned dummy_check(void)
symbol p("p"), q("q");
idx i(symbol("i"), 3), j(symbol("j"), 3), n(symbol("n"), 3);
+ varidx mu(symbol("mu"), 4), nu(symbol("nu"), 4);
ex e;
e = indexed(p, i) * indexed(q, i) - indexed(p, j) * indexed(q, j);
@@
-324,6
+325,9
@@
static unsigned dummy_check(void)
- indexed(p, n) * indexed(p, n) * indexed(q, j) * indexed(q, j);
result += check_equal_simplify(e, 0);
+ e = indexed(p, mu, mu.toggle_variance()) - indexed(p, nu, nu.toggle_variance());
+ result += check_equal_simplify(e, 0);
+
return result;
}