fwiw, there is this comment in the code:
* Note that this code does not currently look for all possible
redundant cases* and either ignore or stop with warning. The create might fail
later when* names for indices turn out to be duplicated, or a user might have
specified* extra useless indices which might hurt performance. - thomas
1997-12-08
But I should (probably) be able to fix this particular case.
- Tom
--
Thomas Lockhart lockhart@alumni.caltech.edu
South Pasadena, California
