added checks for dummy index renaming and canonicalize_clifford()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 18 May 2001 00:52:05 +0000 (00:52 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 18 May 2001 00:52:05 +0000 (00:52 +0000)
commit8a5bcc703e54153669eb60ff4d2c3bd64cd2af0c
tree81c9761799986aae2e3e08c3e773f402f166fda3
parent66e09ce332d6945430e8bb5e17277cdfe62e59e2
added checks for dummy index renaming and canonicalize_clifford()
check/exam_clifford.cpp
check/exam_indexed.cpp