On Sunday, April 20, 2014 8:53:55 AM UTC-7, Simon King wrote:
>
> Hi John, 
>
> On 2014-04-20, John H Palmieri <jhpalm...@gmail.com <javascript:>> wrote: 
> > For the sake of tab completion, and for consistency with how other 
> groups 
> > are accessed, you should be able to do "groups.free(...)" also. Without 
> > this and with just Groups().free(...), it might be hard to figure out 
> how 
> > to create free groups. Should we have a top-level "algebras" object with 
> > the same kind of functionality? Probably not a bad idea. 
>
> Turning it into static methods of "Algebras" and "Groups" would have a 
> similar effect. 
>

If I type "Groups().<TAB>", nothing helpful is returned, and I wouldn't 
expect anything helpful to be returned, given my experience with tab 
completion: the parentheses throw it off. I didn't think that Travis was 
suggesting that Groups.Free(...) should work, but that's another option. 
Still, since we already have various families of groups available via 
"groups.blah(...)", I think adding free groups to this makes sense: 
"groups.blah(...)" should be the access to point to constructing as many 
groups as possible. (See also "graphs.blah", "matrix.blah", 
"simplicial_complexes.blah", and probably some others.)


> I guess that ideally "Modules.free(ZZ,3)" and "Modules(ZZ).free(3)" should 
> both work, and return the free rank 3 ZZ-module. 
>

Sounds good.
 

>
> My 0.02€ 
> Simon 
>
>
 John
 

-- 
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