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/
- Partially commutative monoid of a graphhttp://ask.sagemath.org/question/41756/partially-commutative-monoid-of-a-graph/I am interested in the free partially commutative monoid associated to a graph whose definition can be seen here www.sciencedirect.com/science/article/pii/0304397591903556 and here https://en.m.wikipedia.org/wiki/Trace_monoid.
Basically I need a free monoid in which some variables commutes.
My questions are
1. whether this notion is already implemented in Sage?
2. If not how to implement this in Sage?GA316Sun, 25 Mar 2018 10:54:57 -0500http://ask.sagemath.org/question/41756/