There's a patch that involves both graph output and posets at http://trac.sagemath.org/sage_trac/ticket/7004
but I think any labeling might be more for presentation (rather than isomorphisms). But you might have a look all the same, since my impressions could be wrong (either way). I think Nicolas Thiery was going to be working on this patch today, maybe. Rob On Feb 8, 6:14 am, Simon King <simon.k...@nuigalway.ie> wrote: > 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 sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
