Opened 3 years ago

Last modified 3 years ago

#21340 closed defect

LatticePoset: bug in testing semidistributivity — at Version 4

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: 9edd77b37e3570fdae8d77b5344678f4b6f0cf9a
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 in logarithm of Sage Integer.

Change History (4)

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!topic/sage-devel/ZtwUc5c4Js0 founds better solution.

New commits:

1a72740Workaround for log bug.

comment:3 Changed 3 years ago by git

  • Commit changed from 1a727401edf30b7217771de99acef212703eca83 to 9edd77b37e3570fdae8d77b5344678f4b6f0cf9a

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9edd77bWorkaround for logarithm bug.

comment:4 Changed 3 years ago by jmantysalo

  • Cc leif added
  • Description modified (diff)
  • Status changed from new to needs_review

Leif, can you check this basically one line patch?

Note: See TracTickets for help on using tickets.