Bug in testing whether an element is in an abelian group

34 views
Skip to first unread message

Maarten Derickx

unread,
Nov 20, 2021, 7:52:08 PM11/20/21
to sage-devel
Hi All,

Believe it or not, the relatively innocent looking piece of code:

sage: Zmstar = AbelianGroup(1,[4]) 
sage: Hgens =  [Zmstar.gen(0)**2] 
sage: H = Zmstar.subgroup(Hgens) 
sage: g = Zmstar.gen(0)**3 
sage: g in H 

Produces a:

TypeError: no conversion of this rational to integer

At https://trac.sagemath.org/ticket/32910#comment:2 I already posted a possible solution with some explicit code. However I don't have a development environment setup for sage, and have been having some trouble to get my development setup to work. So I'm hoping someone else is willing to take it from here.

Thanks,
Maarten
Reply all
Reply to author
Forward
0 new messages