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

passing ring argument for SymmetricGroupRepresentation always results in Rational Field for base_ring #39245

Open
2 tasks done
jacksonwalters opened this issue Jan 3, 2025 · 0 comments
Labels

Comments

@jacksonwalters
Copy link
Contributor

Steps To Reproduce

rho = SymmetricGroupRepresentation([3,1],ring=GF(7**2))._representation_matrix_uncached
rho(Permutation([2,1,3,4])).base_ring()
Rational Field

Expected Behavior

The base_ring for the representation should be whichever ring is passed. In the above case it should be the finite field GF(7**2) and not the rational numbers.

Actual Behavior

The resulting representation matrix is the Rational Field.

Additional Information

There are different ways to instantiate these representations such as SymmetricGroupAlgebra(F,n).specht_module(partition) which do have the expected behavior.

Environment

  • OS: macOS 15.2 Sequoia
  • Sage Version: 10.5

Checklist

  • I have searched the existing issues for a bug report that matches the one I want to file, without success.
  • I have read the documentation and troubleshoot guide
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant