Indeed, the problem comes from two methods calling each other * S.order (inherited from sage/groups/group.pyx) * S.cardinality (inherited from sage/categories/finite_groups.py)
I filled a bug report https://github.com/sagemath/sage/issues/35490 On Wed, 12 Apr 2023 at 18:15, Liam Baker <bakerbak...@gmail.com> wrote: > > Hello there! > > I am trying to do some computations with the special linear group of a finite > ring (given as the quotient ring of a larger ring), and am running into an > issue in which it seems that Sagemath doesn't know that the special linear > group of a finite ring is finite? Here is a minimal working example which > reproduces the error: > q = 7 FqT.<T> = GF(q)[] N = T^2+1 FqTN = QuotientRing(FqT, N*FqT) S = > SL(2,FqTN) S.is_finite()This error arose when I was trying to enumerate > subgroups of this special linear group. But the method I found in the > Sagemath documentation, conjugacy_classes_subgroups(), seems to not exist for > a special linear group? > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/ec1f5a5a-d8d3-44f5-8df6-0ced10da90e1n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAGEwAAnun6mGyokWKoFMHPjq_NsbsbV5b7LaimSPbVNF4hcAdQ%40mail.gmail.com.
