Thank you Trevor! This was extremely helpful! Trevor Karn schrieb am Dienstag, 27. Juli 2021 um 14:23:37 UTC+2:
> Check out this ask.sagemath.org post: > https://ask.sagemath.org/question/56243/quotients-of-exterior-algebras/. > You could try to implement a specific ideal for the graded commutative > algebras. I opened a ticket https://trac.sagemath.org/ticket/32249 to > start doing this but in the meantime got pulled toward other tasks for my > GSoC project. > > On Monday, July 26, 2021 at 1:43:33 PM UTC-5 Michael Jung wrote: > >> Sorry, the last example is of course >> >> sage: from sage.algebras.commutative_graded_algebra_finite import >> FiniteGCAlgebra >> sage: A.<x,y,z> = FiniteGCAlgebra(QQ, degrees=(1,2,3), max_degree=6) >> sage: I = A.ideal(y^2) >> sage: Q = A.quotient(I) >> sage: Q.gen(1)^2 >> ybar^2 >> >> Michael Jung schrieb am Montag, 26. Juli 2021 um 20:40:25 UTC+2: >> >>> Hello everyone, >>> >>> In https://trac.sagemath.org/ticket/32272, I am trying to implement >>> graded algebras with finite degree. I have troubles constructing a >>> (generic) quotient. Here is what happens without a ngens method: >>> >>> sage: from sage.algebras.commutative_graded_algebra_finite import >>> FiniteGCAlgebra >>> sage: A.<x,y,z> = FiniteGCAlgebra(QQ, degrees=(1,2,3), max_degree=6) >>> sage: I = A.ideal(y^2) >>> sage: A.quotient(I) >>> Traceback (most recent call last) >>> ... >>> RuntimeError: Graded commutative algebra with generators ('x', 'y', 'z') >>> in degrees (1, 2, 3) with maximal finite degree 6 still using old coercion >>> framework >>> >>> Adding a ngens method on the other hand causes the quotients not to >>> function properly: >>> >>> sage: from sage.algebras.commutative_graded_algebra_finite import >>> FiniteGCAlgebra >>> sage: A.<x,y,z> = FiniteGCAlgebra(QQ, degrees=(1,2,3), max_degree=6) >>> sage: I = A.ideal(y^2) >>> sage: Q = A.quotient(I) >>> sage: Q.gen(0)*Q.gen(1) >>> xbar*ybar >>> >>> The result, however, should be zero. >>> >>> What am I doing wrong? Help is very much appreciated! :) >>> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/06c0d95c-c0f4-4ef6-ac2d-5d4a56b7fa90n%40googlegroups.com.
