I just started to play around with "Hom()" and tryed to create a
function mapping
phi:x -> ; phi(x)(y) = with as element in
Hom(ZZ^3,Z) and i was looking for a way to do this without using matrixes.
greatz
Why precisely do you want to do this? Is it entirely so you can write
> f(v), where f i
On Fri, Nov 19, 2010 at 9:55 AM, BFJ wrote:
> It seems to me that the issue might be that Sage doesn't understand
> how Hom(ZZ^3, ZZ^1) is a (free) module over ZZ.
Correct. H=Hom(ZZ^3, ZZ^1) is a homset in the category of "modules
with basis over ZZ". In Sage, H simply doesn't also have the
str
It seems to me that the issue might be that Sage doesn't understand
how Hom(ZZ^3, ZZ^1) is a (free) module over ZZ. If you could coerce it
into that category, then the object H = Hom(ZZ^3, ZZ^1) would have
generators induced by those of ZZ^3 and ZZ^1 and then specifying a map
in Hom( ZZ^3, Hom( ZZ^
