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.Mon, 29 Oct 2018 04:26:05 -0500- How do I define a homomorphism of a graded commutative algebra?http://ask.sagemath.org/question/44109/how-do-i-define-a-homomorphism-of-a-graded-commutative-algebra/ I am working on implementing morphisms of graded commutative algebras. I have two graded commutative algebra, A with generators <w,x> and B with generators <y,z> . I define H the set of homomorphisms from A to B. Then, I want to define the homomorphisms f such that f(w)=y and f(x)=0 but I get an error:
sage: H = Hom(A,B)
sage: H([y,0])
TypeError: images do not define a valid homomorphism
BelĂ©nMon, 29 Oct 2018 04:26:05 -0500http://ask.sagemath.org/question/44109/
- Free algebra with involutionhttp://ask.sagemath.org/question/42253/free-algebra-with-involution/ I'd like to implement an involution over a free (associative noncommutative) algebra, i.e., an antiautomorphism of order 2 (linear map such that $f(ab)=f(b)f(a)$ and $f(f(a))=a$), but I don't know where to start. Perhaps we could define the algebra with a double number of generators, every generator x having its involution x1, and then define f from this by correspondence of generators (but I have no knowledge to do this).
More precisely, what I actually want to do is to take the product of the algebra as starting point to define a new product of the form
$$a*b:=af(b).$$Jose BroxThu, 03 May 2018 17:30:23 -0500http://ask.sagemath.org/question/42253/