Opened 3 years ago

Last modified 3 years ago

#21340 closed defect

LatticePoset: bug in testing semidistributivity — at Version 2

Reported by: jmantysalo Owned by:
Priority: major Milestone: sage-7.4
Component: combinatorics Keywords:
Cc: leif Merged in:
Authors: Jori Mäntysalo Reviewers:
Report Upstream: N/A Work issues:
Branch: u/jmantysalo/latticeposet__bug_in_testing_semidistributivity (Commits) Commit: 1a727401edf30b7217771de99acef212703eca83
Dependencies: Stopgaps:

Description (last modified by jmantysalo)

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.

Change History (2)

comment:1 Changed 3 years ago by jmantysalo

  • Branch set to u/jmantysalo/latticeposet__bug_in_testing_semidistributivity

comment:2 Changed 3 years ago by jmantysalo

  • Commit set to 1a727401edf30b7217771de99acef212703eca83
  • Description modified (diff)

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.
Note: See TracTickets for help on using tickets.