Ask Your Question
2

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

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

ronno gravatar image

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

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

Comments

I am working on implementing morphisms of graded commutative algebras. No promises about when it might be done, but what are you interested in doing with the morphisms? What features would you like to have?

John Palmieri gravatar imageJohn Palmieri ( 2018-08-27 13:51:55 -0600 )edit

1 answer

Sort by ยป oldest newest most voted
3

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

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

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 -0600

Seen: 90 times

Last updated: May 02