Changes between Initial Version and Version 2 of Ticket #21340


Ignore:
Timestamp:
08/26/16 07:14:12 (3 years ago)
Author:
jmantysalo
Comment:

Ready for review, but let's first wait if discussion at https://groups.google.com/forum/#!topic/sage-devel/ZtwUc5c4Js0 founds better solution.


New commits:

1a72740Workaround for log bug.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21340

    • Property Commit changed from to 1a727401edf30b7217771de99acef212703eca83
    • Property Branch changed from to u/jmantysalo/latticeposet__bug_in_testing_semidistributivity
  • Ticket #21340 – Description

    initial v2  
    1 Sage says that the Boolean lattice of `2^3=8` elements is not [meet|join]-semidistributive. This is propably due to division by `2` that is not preparsed and was hence missed in my tests.
     1Sage says that the Boolean lattice of `2^3=8` elements is not [meet|join]-semidistributive. This is due to comparison between logarithm and integer.