Allow, optionally, indices to be substituted by things that are not indices.
authorChris Dams <Chris.Dams@mi.infn.it>
Fri, 7 Jul 2006 13:35:29 +0000 (13:35 +0000)
committerChris Dams <Chris.Dams@mi.infn.it>
Fri, 7 Jul 2006 13:35:29 +0000 (13:35 +0000)
commit7e68cf1c0515b0397a49a13f2f08decae7509af1
treed00d7e2d505eebef579368b5545d279b4f75a96c
parenta57c586be1fb226e9dd234b481c6b1da91013925
Allow, optionally, indices to be substituted by things that are not indices.
ginac/flags.h
ginac/idx.cpp