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

Cardinality fails in small special linear groups #36876

Closed
2 tasks done
jukkakohonen opened this issue Dec 13, 2023 · 1 comment · Fixed by #36881
Closed
2 tasks done

Cardinality fails in small special linear groups #36876

jukkakohonen opened this issue Dec 13, 2023 · 1 comment · Fixed by #36881

Comments

@jukkakohonen
Copy link
Contributor

Steps To Reproduce

Using SageMath version 10.3.beta1, Release Date: 2023-12-10, run:

sage: SL(1, QQ).cardinality()

Expected Behavior

Mathematically I would expect it to be 1, in fact for any special linear group of degree 1 regardless of the field, because the only $1 \times 1$ matrix with determinant one is $[1]$, where $1$ is the multiplicative unity.

If not implemented, at least it should raise a NotImplementedError.

Actual Behavior

It goes into an infinite recursion.

sage: SL(1, QQ).cardinality()
...
RecursionError: maximum recursion depth exceeded

Additional Information

Same happens with SL(1,RR), and also with is_finite.

Environment

- **OS**: Ubuntu 20.04.5 LTS
- **Sage Version**: SageMath version 10.3.beta1, Release Date: 2023-12-10

Also happens on SageMath version 9.0, Release Date: 2020-01-01, with a slightly different error message `RecursionError: maximum recursion depth exceeded while calling a Python object`.

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
@jukkakohonen
Copy link
Contributor Author

Actually #35490 might be the same, or at least related.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant