ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 28 Apr 2018 12:14:46 -0500How do I define a homomorphism of a graded commutative algebra?http://ask.sagemath.org/question/42202/how-do-i-define-a-homomorphism-of-a-graded-commutative-algebra/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.ronnoSat, 28 Apr 2018 12:14:46 -0500http://ask.sagemath.org/question/42202/