OKullmann/oklibrary — pull request #423 by MGwynne (2012-06-13 12:52:12+00:00)
Title: rucpbase_issue

Branch: rucpbase_issue.

The combination of RUcpGen and RUcpBase does not (necessarily) produce 1-bases of sets of prime implicates.

Providing an example of a case where this issue is exhibited, and adding todos on checking that all 1-bases we have computed are actually 1-bases. I've started these checks and so far all have been, but some of the larger clause-sets will take a little while to check in the Maxima system.

Matthew