Hey Nathann,
   There are a couple of things that I currently see:

- This is considered to be a ring, not an additive group (which has no such 
function to create a Cayley graph), so you are specifying the 
multiplicative generators.
- Without parameters, I get an attribute error for creating the Cayley 
graph of such as there are is monoid/semigroup_generators (which is good 
IMO wrt the previous note).

So I would create a similar function for the category of AdditiveSemigroups 
called additive_cayley_graph() to avoid any ambiguity and keeps with our 
convention that (semi)groups without "additive" are treated as 
multiplicative.

Best,
Travis


On Sunday, September 27, 2015 at 8:32:58 AM UTC-5, Nathann Cohen wrote:
>
> Hello everybody, 
>
> Playing with products of groups today, I was not able to obtain what I 
> expected from the 'cayley graph' function, as it seems to use (by 
> default) the multiplicative operation defined on my group (my group is 
> groups.misc.AdditiveCyclic(10)) 
>
> What do you think is the cayley graph generated by '1' in the additive 
> group Z/10Z? 
> - A cycle? 
> - 10 non-adjacent vertices with a loop attached to each? 
>
> The second wins. Check it out: 
>
>     sage: 
> groups.misc.AdditiveCyclic(10).cayley_graph(generators=[1]).show() 
>
> If anybody knows how that could be fixed "cleanly"... 
>
> Thaaaanks, 
>
> Nathann 
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to