#12339: Free Groups
--------------------------------+-------------------------------------------
Reporter: mmarco | Owner: joyner
Type: enhancement | Status: needs_review
Priority: minor | Milestone:
Component: group theory | Resolution:
Keywords: free groups | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Miguel Marco | Merged in:
Dependencies: | Stopgaps:
--------------------------------+-------------------------------------------
Comment (by jhpalmieri):
Several comments:
- I'm very excited that we can get this into Sage soon; I would like to
use this for computing fundamental groups of simplicial complexes, among
other things.
- `FreeGroup(n)` should work if n is zero!
- `FreeGroup(gens)` should allow gens to be much more general. For
simplicial complexes, for instance, I would want to label the generators
as edges in a graph. Take a look at !CombinatorialFreeModule (in
sage.combinat.free_module): you can have the generators be given by any
family of mathematical objects (and not just strings for them, but the
objects themselves). That sort of functionality would be very useful.
Anyway, I'm imagining that gens could be a string of the current form, but
also any iterable, or possibly something more general like the families
that you can use in !CombinatorialFreeModule.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12339#comment:20>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
