Ask Your Question
2

How do I define a homomorphism of a graded commutative algebra?

asked 2018-04-28 12:14:46 -0500

ronno gravatar image

updated 2018-05-03 05:49:30 -0500

slelievre gravatar image

Why does the following throw a TypeError: images do not define a valid homomorphism?

E = GradedCommutativeAlgebra(QQ,'x,y',degrees=(1,1))
E.inject_variables()
f = E.hom([x,y])

I expected it to define $f$ to be the identity homomorphism of $E$. What is the right way to define a homomorphism of $E$? I'm more interested in the one that switches $x$ and $y$ than the identity homomorphism, but this seemed a more obvious version of the question.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted
3

answered 2018-05-01 12:21:26 -0500

updated 2018-05-02 17:35:23 -0500

slelievre gravatar image

This looks like a bug, and I'm not sure of a workaround yet. I created a ticket for it here.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-04-28 12:14:46 -0500

Seen: 55 times

Last updated: May 02