> VIII. Finite Groups; Finitely-Presented Groups > > * I'm not enough of a group theorist to appreciate differences > between what Sage provides via GAP and Magma. They seem pretty > similar to me for group theory. Sage exposes much of GAP's > functionality for groups.
William, I think you're right that the capabilities of GAP and Magma are very similar in the domain of group theory. However, there's at least one key thing that GAP has but Sage doesn't expose: finitely-presented groups. It's even in the title of this chapter of the Magma handbook, so we definitely need it ;-) So, PROJECT: Implement a finitely-presented group class in Sage. N.B. this has been briefly discussed on sage-devel before, and there are some ideas of where to start there. Best, Nathan --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
