Changes between Version 2 and Version 4 of Ticket #21340


Ignore:
Timestamp:
08/27/16 05:02:48 (3 years ago)
Author:
jmantysalo
Comment:

Leif, can you check this basically one line patch?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21340

    • Property Cc leif added
    • Property Commit changed from 1a727401edf30b7217771de99acef212703eca83 to 9edd77b37e3570fdae8d77b5344678f4b6f0cf9a
    • Property Status changed from new to needs_review
  • Ticket #21340 – Description

    v2 v4  
    1 Sage says that the Boolean lattice of `2^3=8` elements is not [meet|join]-semidistributive. This is due to comparison between logarithm and integer.
     1Sage says that the Boolean lattice of `2^3=8` elements is not [meet|join]-semidistributive. This is due to comparison in logarithm of Sage `Integer`.