On Wednesday, May 25, 2022 at 6:22:48 PM UTC+8 wdjo...@gmail.com wrote:
> On Wed, May 25, 2022 at 6:08 AM Hongyi Zhao <hongy...@gmail.com> wrote:
> >
> > As commented here [1], the following two methods can be used to define
> an Cyclic Group:
> >
> > ```
> > Generators
> > If the group operation is multiplication then:
> > <r | r ^ n =1>
> > If the group operation is addition then:
> > <z | n * z = 0 >
> > ```
> >
> > For the first case, the corresponding code snippet in GAP is as follows:
> >
> > ```
> > gap> f:=FreeGroup("P");;
> > gap> g:=f/ParseRelators(f, "P^8" );
> > <fp group on the generators [ P ]>
> > gap> StructureDescription(g);
> > "C8"
> > ```
> >
> > But I'm not sure if GAP also supports the second method mentioned above
> to define a group.
> >
>
> While SageMath does use GAP for a lot of group theory, it uses different
> command
> syntax for cyclic groups. In SageMath, you can use both
> CyclicPermutationGroup(8)
> for the multiplicative cyclic group of order 8, or
> IntegerModRing(8)
> for the additive version.
Thank you for your tips and tricks. In fact, I'm working in SageMath with
GAP, so I'm interested in the additive version implemented in GAP, and am
not sure if it also such a counterpart.
Best,
HZ
> Please see the additional examples given in
> the tutorials
> https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html
> and
> https://doc.sagemath.org/html/en/constructions/groups.html
>
>
> > [1]
> http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm
>
> >
> > Regards,
> > HZ
> >
> > --
> > 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...@googlegroups.com.
> > To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%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/6ad8b899-b3c5-4b8e-89ed-9065698660e6n%40googlegroups.com.
