I just noticed 30243 has been closed but not merged yet; I've gone ahead and attached a snippet and an image if you'd like to add it to the release tour; it would fit as a subsection under Combinatorics. I'll see about getting a legacy trac account in the future.
Thanks! -- Chase On Thursday, August 27, 2020 at 8:04:35 AM UTC-6 dim...@gmail.com wrote: > On Thu, Aug 27, 2020 at 1:00 PM Samuel Lelievre > <samuel....@gmail.com> wrote: > > > > We could also decide to migrate the release notes > > to the Trac Wiki. Then everyone who can participate > > in Trac tickets can also participate in the release notes. > > IMHO we would not want to further tie us up to trac, it's probably > inevitable that we'll move somewhere more modern. > > As well, I'd much prefer a Wiki which can be updated via Git. > > Dima > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/28aa8d29-9a15-4f7e-b0ca-ed66aa138d69o%40googlegroups.com. > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/bba92f2a-8899-46d5-a110-bfbcd2bd45c2n%40googlegroups.com.
== Fully Commutative Elements == It is now possible by [[https://trac.sagemath.org/ticket/30243]](30243) to enumerate and work with the fully commutative elements of a Coxeter group. Methods to compute *star operations* and plot the *heaps* of such elements are also included. {{{ #!python sage: FCA3 = CoxeterGroup(['A', 3]).fully_commutative_elements() sage: FCA3.category() Category of finite enumerated sets sage: FCA3.list() [[], [1], [2], ... [1, 3, 2], [1, 2, 3], [2, 1, 3, 2]] sage: FCB8 = CoxeterGroup(['B', 8]).fully_commutative_elements() sage: len(FCB8) # long time (7 seconds) 14299 sage: FCB6 = CoxeterGroup(['B', 6]).fully_commutative_elements() sage: w = FCB6([1, 6, 2, 5, 4, 6, 5]) sage: w.coset_decomposition({5, 6}) ([6, 5, 6], [1, 2, 4, 5]) sage: w.star_operation({5,6}, 'lower') [1, 5, 2, 4, 6, 5] sage: FCB6([3, 2, 4, 3, 1]).plot_heap() }}} {{attachment:heap.png}}
