added exhashmap<> as a replacement for map<> that uses hashing
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 20 Aug 2003 21:09:59 +0000 (21:09 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 20 Aug 2003 21:09:59 +0000 (21:09 +0000)
commitb38e42e8ed1d985129d88dd53792e643796fc4d8
tree6680e110dcf31917e8ab601213c07be00ea28939
parentc94cbc55628a5ccf536dfc63c5512d626ae647b6
added exhashmap<> as a replacement for map<> that uses hashing
ginac/ginac.h
ginac/hash_map.h [new file with mode: 0644]