### Is it possible to compute a Gröbner basis of an ideal of a graded commutative algebra in SageMath

Let me start by saying that I am a newbie to Sage.

Let us say I have a graded commutative algebra `A`

using the command
`GradedCommutativeAlgebra`

, and an ideal `I`

of `A`

.

For instance, something like the following (but this is just a toy example!):

```
sage: A.<x,y,z> = GradedCommutativeAlgebra(QQ, degrees=((1,1), (2,1), (3,2))
sage: I =
```~~A.ideal([z*z ~~A.ideal([z*y - ~~x*x*y*y])
~~x*y*y])

I would like to get a Gröbner basis of `I`

from SageMath
(not for the previous example, which is immediate).

I know how to do this for polynomial algebras, but for graded
commutative algebras constructed using `GradedCommutativeAlgebra`

this does not seem to work. Is it possible?

Thanks in advance!