Hi! A quick search in the Sage reference manual did not reveal an answer, so, I hope I can ask here:
If I am not mistaken, lattices are implemented in Sage (at least Posets are, although they are not much documented). GAP can compute the subgroup lattice of a finite group. Is there a method implemented that converts this subgroup lattice into a lattice in Sage? If there isn't: In what files should I look for relevant material to implement such thing? And then, I'd probably like to label the lattices: Namely label both the vertices and the arrows of a lattice by objects that can be compared. Isomorphisms of such labelled lattices must preserve the labels. Are labelled lattices implemented in Sage? Labelled isomorphisms of lattices as well? Best regards, Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
