Ask Your Question

Construction of groups

asked 2011-04-27 11:30:28 -0500

chaesloc gravatar image

updated 2011-04-27 11:30:46 -0500

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.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2011-04-28 09:19:42 -0500

benjaminfjones gravatar image

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

edit flag offensive delete link more


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

chaesloc gravatar imagechaesloc ( 2011-04-28 14:39:36 -0500 )edit

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

benjaminfjones gravatar imagebenjaminfjones ( 2011-04-28 19:23:44 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2011-04-27 11:30:28 -0500

Seen: 157 times

Last updated: Apr 28 '11