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.Tue, 27 Aug 2019 08:32:45 -0500- How to get graded component of graded ringhttp://ask.sagemath.org/question/47622/how-to-get-graded-component-of-graded-ring/I have a graded quotient of a graded polynomial ring, say something like
P = PolynomialRing(QQ, , 'x,y,z', order=TermOrder('wdegrevlex',(1,2,3)))
I = P.ideal(x*y^2 + x^5, z*y + x^3*y)
Q = P.quotient(I)
I would like to get the vector space over QQ consisting on vectors of degree, say 9, in Q.
heluaniTue, 27 Aug 2019 08:32:45 -0500http://ask.sagemath.org/question/47622/
- 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/