Opened 7 years ago

Closed 7 years ago

#16873 closed enhancement (duplicate)

Adding is_lattice to poset

Reported by: jmantysalo Owned by: jmantysalo
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: combinatorics Keywords: poset
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: u/jmantysalo/adding_is_lattice_to_poset (Commits, GitHub, GitLab) Commit: a7b214f45dcd5b7ab64dfb9d239451be4f2a897e
Dependencies: Stopgaps:

Status badges

Description (last modified by jmantysalo)

Posets class contains all three: top(), bottom() and is_bounded(). However, for now there is no is_lattice() even there exists is_join_semilattice() and is_meet_semilattice().

Change History (10)

comment:1 Changed 7 years ago by jmantysalo

  • Component changed from PLEASE CHANGE to combinatorics
  • Keywords poset added
  • Milestone changed from sage-6.3 to sage-6.4
  • Priority changed from major to minor

comment:2 Changed 7 years ago by jmantysalo

  • Type changed from PLEASE CHANGE to enhancement

comment:3 Changed 7 years ago by jmantysalo

  • Branch set to u/jmantysalo/adding_is_lattice_to_poset

comment:4 Changed 7 years ago by jmantysalo

  • Commit set to 79d9c2f794de47dce84582afb367ba7984d92e59
  • Description modified (diff)
  • Owner changed from (none) to jmantysalo

comment:5 Changed 7 years ago by jmantysalo

  • Status changed from new to needs_review

comment:6 Changed 7 years ago by git

  • Commit changed from 79d9c2f794de47dce84582afb367ba7984d92e59 to a7b214f45dcd5b7ab64dfb9d239451be4f2a897e

Branch pushed to git repo; I updated commit sha1. New commits:

​a7b214fAdded is_lattice() method.

comment:7 Changed 7 years ago by jmantysalo

Arghs. is_lattice() already exists on categories/finite_posets.py. Hence this ticket can be closed. (And another one opened for documentation of posets...)

comment:8 Changed 7 years ago by jmantysalo

  • Milestone changed from sage-6.4 to sage-duplicate/invalid/wontfix

comment:9 Changed 7 years ago by jmantysalo

  • Status changed from needs_review to positive_review

comment:10 Changed 7 years ago by vbraun

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.