Opened 10 years ago

Closed 10 years ago

Last modified 10 years ago

#10167 closed enhancement (duplicate)

three new methods in Poset

Reported by: chapoton Owned by: sage-combinat
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: combinatorics Keywords: poset
Cc: sage-combinat Merged in:
Authors: Frédéric Chapoton, Nicolas Thiéry Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by nthiery)

1) I need the distributive lattice of order ideals of a poset:

sage: Posets.PentagonPoset().order_ideals_lattice() 

2) I need the poset of join irreducibles of a lattice:

sage: Posets.PentagonPoset().join_irreducibles_poset()

3) The Coxeter tranformation of a poset is a matrix, defined using the order matrix and its inverse, which is useful in the study of the derived category attached to the poset.

sage: Posets.PentagonPoset().coxeter_transformation()

My procedure for the distributive lattice now works. N. Thiery has provided a procedure for the poset of join irreducibles. I have written a working procedure for the Coxeter transformation. They are all included in the patch below.

Notes: those changes are now included in #10998; this ticket can be closed as soon as #10998 will go in.

Attachments (1)

trac_10167-posets_Jposet_ARmatrix_fc.patch (6.5 KB) - added by chapoton 10 years ago.
updated patch

Download all attachments as: .zip

Change History (8)

comment:1 Changed 10 years ago by chapoton

  • Authors changed from Frederic Chapoton to Frédéric Chapoton

comment:2 Changed 10 years ago by chapoton

  • Cc sage-combinat added

comment:3 Changed 10 years ago by chapoton

  • Description modified (diff)

comment:4 Changed 10 years ago by chapoton

  • Authors changed from Frédéric Chapoton to Frédéric Chapoton, Nicolas Thiéry
  • Status changed from new to needs_review

Changed 10 years ago by chapoton

updated patch

comment:5 follow-up: Changed 10 years ago by ncohen

Hello !

Could you rebase your patch on the current release ? It fails to apply on rc1. After that, I think the review should go fast :-)

Nathann

comment:6 Changed 10 years ago by nthiery

  • Description modified (diff)
  • Milestone set to sage-duplicate/invalid/wontfix
  • Resolution set to duplicate
  • Status changed from needs_review to closed

comment:7 in reply to: ↑ 5 Changed 10 years ago by nthiery

Hi Nathann!

Replying to ncohen:

Could you rebase your patch on the current release ? It fails to apply on rc1. After that, I think the review should go fast :-)

Oops, sorry for not marking that this was a duplicate.

Cheers,

Nicolas

Note: See TracTickets for help on using tickets.