added the possibility to get some statistical information from ex::compare()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 25 May 2004 17:59:31 +0000 (17:59 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 25 May 2004 17:59:31 +0000 (17:59 +0000)
commit3cfb99b28134e1acf8bad3fb672ff152dfd58601
tree12380d0bb56d8f9ad115e55e3cff93f0a7a42ea0
parentf9c4dea564ba4a08f9e4f91cdd47223a735a5fe7
added the possibility to get some statistical information from ex::compare()
ginac/basic.cpp
ginac/basic.h
ginac/ex.h