Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#26857 closed defect (fixed)

LatticePoset, error in is_supersolvable() with certificate=True

Reported by: jmantysalo Owned by:
Priority: major Milestone: sage-8.6
Component: combinatorics Keywords:
Cc: mantepse Merged in:
Authors: Jori Mäntysalo Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: e3aa0ed (Commits, GitHub, GitLab) Commit: e3aa0ed4275d8508098f273b57832ecaf4d408e9
Dependencies: Stopgaps:

Status badges

Description 

hex = LatticePoset({1: [2, 3], 2: [4], 3: [5], 4: [6], 5: [6]})
hex.is_supersolvable(certificate=True)

outputs plain False, but it should output (False, None).

Change History (7)

comment:1 Changed 3 years ago by jmantysalo

  • Branch set to u/jmantysalo/supersolvable-cert

comment:2 Changed 3 years ago by jmantysalo

  • Commit set to e3aa0ed4275d8508098f273b57832ecaf4d408e9
  • Status changed from new to needs_review

Done without compiling...

New commits:

​e3aa0edAlways return a pair when certificate=True

comment:3 Changed 3 years ago by chapoton

  • Authors set to Jori Mäntysalo
  • Reviewers set to Frédéric Chapoton

green bot => positive review

comment:4 Changed 3 years ago by tscrim

  • Status changed from needs_review to positive_review

comment:5 Changed 3 years ago by jmantysalo

Thanks.

I tested with all lattices up to 9 elements, and there was no more errors of this .is_something(certificate=True) -type.

comment:6 Changed 3 years ago by vbraun

  • Branch changed from u/jmantysalo/supersolvable-cert to e3aa0ed4275d8508098f273b57832ecaf4d408e9
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:7 Changed 3 years ago by embray

  • Milestone changed from sage-8.5 to sage-8.6

This tickets were closed as fixed after the Sage 8.5 release.

Note: See TracTickets for help on using tickets.