[opentheory-users] redundant import check

[Ramana Kumar]

Hi Joe,

I have not had time to investigate this thoroughly yet, but I have a
suspicion that the redundant import check might not check for constants
that don't appear in any theorems. Therefore, removing a "redundant" import
might result in two different constants with the same name. Do you think
this is possible?

Cheers,
Ramana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160330/b833cff8/attachment.html>