ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 28 Apr 2011 19:23:44 -0500Construction of groupshttp://ask.sagemath.org/question/8094/construction-of-groups/I could not find any Sage function that constructs all groups of a certain (not necessarily small) order - is there one?
There is one for GAP, but it is in the grpconst module, which is not included by default in Sage. Do you find it reasonable to request that it is included by default? After all, the Sage installation instructions recommend installing the GAP small groups database, but that database was created with the module in question.Wed, 27 Apr 2011 11:30:28 -0500http://ask.sagemath.org/question/8094/construction-of-groups/Answer by benjaminfjones for <p>I could not find any Sage function that constructs all groups of a certain (not necessarily small) order - is there one?</p>
<p>There is one for GAP, but it is in the grpconst module, which is not included by default in Sage. Do you find it reasonable to request that it is included by default? After all, the Sage installation instructions recommend installing the GAP small groups database, but that database was created with the module in question.</p>
http://ask.sagemath.org/question/8094/construction-of-groups/?answer=12326#post-id-12326There is no function (apart from what is included through GAP) to construct all groups of a given order in Sage. You can certainly use the `grpconst` module from GAP in Sage using the GAP interface.
If you can make a good case for why it should be included by default in Sage and bring it up on sage-devel, I think the community would discuss its inclusion.
For instance, what kinds of problems would you like to solve using such a function? How would you use it (for research, for demonstrations in an algebra class, etc..) How would the inclusion of the module be better than say including the small groups database (which I assume uses a large amount of disk space)?
Thu, 28 Apr 2011 09:19:42 -0500http://ask.sagemath.org/question/8094/construction-of-groups/?answer=12326#post-id-12326Comment by chaesloc for <p>There is no function (apart from what is included through GAP) to construct all groups of a given order in Sage. You can certainly use the <code>grpconst</code> module from GAP in Sage using the GAP interface. </p>
<p>If you can make a good case for why it should be included by default in Sage and bring it up on sage-devel, I think the community would discuss its inclusion. </p>
<p>For instance, what kinds of problems would you like to solve using such a function? How would you use it (for research, for demonstrations in an algebra class, etc..) How would the inclusion of the module be better than say including the small groups database (which I assume uses a large amount of disk space)?</p>
http://ask.sagemath.org/question/8094/construction-of-groups/?comment=21774#post-id-21774"How would the inclusion of the module be better than say including the small groups database" - the two are not incompatible. The module uses a negligible amount of disk space, is loaded manually, does not break anything, and is trivial to package (i.e. copy its folder to gap folder). So I see no downsides to including it. The upside is that if one normally uses the database, but stumbles upon a group not in it, there will be a workaround. So I guess my main reason is "for completeness".Thu, 28 Apr 2011 14:39:36 -0500http://ask.sagemath.org/question/8094/construction-of-groups/?comment=21774#post-id-21774Comment by benjaminfjones for <p>There is no function (apart from what is included through GAP) to construct all groups of a given order in Sage. You can certainly use the <code>grpconst</code> module from GAP in Sage using the GAP interface. </p>
<p>If you can make a good case for why it should be included by default in Sage and bring it up on sage-devel, I think the community would discuss its inclusion. </p>
<p>For instance, what kinds of problems would you like to solve using such a function? How would you use it (for research, for demonstrations in an algebra class, etc..) How would the inclusion of the module be better than say including the small groups database (which I assume uses a large amount of disk space)?</p>
http://ask.sagemath.org/question/8094/construction-of-groups/?comment=21773#post-id-21773I would argue that completeness alone is not a compelling reason for the inclusion of a given feature. What is the use-case for the module that you have in mind?Thu, 28 Apr 2011 19:23:44 -0500http://ask.sagemath.org/question/8094/construction-of-groups/?comment=21773#post-id-21773