On Jun 3, 10:03 am, John H Palmieri <[email protected]> wrote: > I wish that these two approaches were more unified, or at least there were > good ways to convert between the two.
There are CombinatorialFreeModule_with_category.element_class.to_vector and CombinatorialFreeModule.from_vector. You could build coercions out of those to link your module to a particular vector space ... That last one actually suggests that CombinatorialFreeModule should really be a subclass of sage.modules.free_module.FreeModule. Then all it would have to do is keep track of a named basis to solve the "unique structure" problem you'd otherwise run into. It does inherit from sage.modules.module.Module, but that obviously doesn't have much useful functionality on it. -- 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
