On Fri, Apr 20, 2012 at 04:25:25AM -0700, Simon King wrote:
> On 20 Apr., 08:35, [email protected] wrote:
> > sage: ZA=ZZ.algebra(QQ,category=CommutativeAdditiveGroups())
> >
> > This creates the group algebra of the group (ZZ, +) with
> > rational coefficients. The construction sounds functorial to me,
> > at least on objects. But it doesn't seem to have an accompanying
> > way to work with morphisms.
>
> Sure. That's a *method* relying on a mathematical functor. But it is
> not a functor in the sense of Sage construction functor.
>
> In fact, a construction functor is missing in this case:
>
> sage: ZA=ZZ.algebra(QQ,category=CommutativeAdditiveGroups())
> sage: print ZA.construction()
> None
Yes, functors and functorial constructions in Sage still need to be
merged together. And indeed, the functorial constructions do not yet
provide features for morphisms.
That being said, ZA.module_morphism might be what you are looking for
Mark.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" 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-combinat-devel?hl=en.
