Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bug in tableaux.random_element #25575

Open
BruceWestbury opened this issue Jun 14, 2018 · 2 comments
Open

Bug in tableaux.random_element #25575

BruceWestbury opened this issue Jun 14, 2018 · 2 comments

Comments

@BruceWestbury
Copy link

This gives a tableau of the correct shape but incorrect evaluation (aka weight)

sage: ST = SemistandardTableaux(shape=[4,4,4],eval=[1]*12)
sage: ST.cardinality()
462
sage: ST.random_element()
[[1, 4, 4, 5], [5, 5, 6, 6], [6, 11, 11, 12]]

CC: @tscrim @sagetrac-sage-combinat @simon-king-jena @nthiery

Component: combinatorics

Keywords: category framework, tableaux

Issue created by migration from https://trac.sagemath.org/ticket/25575

@darijgr
Copy link
Contributor

darijgr commented Jun 14, 2018

comment:1

The problem is that sage.combinat.tableau.SemistandardTableaux_shape_weight inherits the random_element code from SemistandardTableaux_shape. We really need to talk about this issue, since it appears to be universal -- it's clear that if Parent X represents a subset of Parent Y, then the ElementClass of X should inherit from the ElementClass of Y, but it feels wrong that Parent X itself inherits from Parent Y. All sorts of other methods like _list_ and an_element can be equally affected by this.

@darijgr
Copy link
Contributor

darijgr commented Jun 14, 2018

Changed keywords from none to category framework, tableaux

@mkoeppe mkoeppe removed this from the sage-8.3 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants