i2 : R=QQ[x,y,z,MonomialOrder=>Lex];

i3 : G={y^6-z^5, x*z-y^2, x*y^4-z^4, x^2*y^2-z^3 *x^3-z^2}

       6    5         2     4    4     3 3    2 2    2
o3 = {y  - z , x*z - y , x*y  - z , - x z  + x y  - z }

o3 : List

i4 :
     ^2*y^2*z^2+y^6+3*z^5;
stdio:5:1:(3): error: syntax error at '^'

i4 :
     y^2*z^2+y^6+3*z^5

      6    2 2     5
o4 = y  + y z  + 3z

o4 : R

i5 :
     //G
stdio:8:1:(3): error: syntax error at '//'

i5 : f//G
stdio:8:4:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--              6    5         2     4    4     3 3    2 2    2
--     //     {y  - z , x*z - y , x*y  - z , - x z  + x y  - z } (of class List)

i6 : gens G
stdio:9:1:(3): error: no method found for applying generators to:
     argument   :    6    5         2     4    4     3 3    2 . (of class List)
                   {y  - z , x*z - y , x*y  - z , - x z  + x y.

i7 : G

       6    5         2     4    4     3 3    2 2    2
o7 = {y  - z , x*z - y , x*y  - z , - x z  + x y  - z }

o7 : List

i8 : gb G
stdio:11:1:(3): error: no method found for applying gb to:
     argument   :    6    5         2     4    4     3 3    2 . (of class List)
                   {y  - z , x*z - y , x*y  - z , - x z  + x y.

i9 : ideal(G)

             6    5         2     4    4     3 3    2 2    2
o9 = ideal (y  - z , x*z - y , x*y  - z , - x z  + x y  - z )

o9 : Ideal of R

i10 : f // gens ideal(G)
stdio:13:3:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--     //     | y6-z5 xz-y2 xy4-z4 -x3z3+x2y2-z2 | (of class Matrix)

i11 : f//ideal(G)
stdio:14:2:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--                    6    5         2     4    4     3 3    2 2    2
--     //     ideal (y  - z , x*z - y , x*y  - z , - x z  + x y  - z ) (of class Ideal)

i12 : f//gens gb(ideal(G))
stdio:15:2:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--     //     | z6-z4+z3 y2z5-y2z3+y2z2 y4z4-y4z2+y4z y6-z5 xz-y2 xy4-z4 x2y2-z5-. (of class Matrix)

i13 : gb(ideal(G))

o13 = GroebnerBasis[status: done; S-pairs encountered up to degree 10]

o13 : GroebnerBasis

i14 : gro=gb(ideal(G))

o14 = GroebnerBasis[status: done; S-pairs encountered up to degree 10]

o14 : GroebnerBasis

i15 : f//gens gro
stdio:18:2:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--     //     | z6-z4+z3 y2z5-y2z3+y2z2 y4z4-y4z2+y4z y6-z5 xz-y2 xy4-z4 x2y2-z5-. (of class Matrix)

i16 : gens gro

o16 = | z6-z4+z3 y2z5-y2z3+y2z2 y4z4-y4z2+y4z y6-z5 xz-y2 xy4-z4 x2y2-z5-z2 |

              1       7
o16 : Matrix R  <--- R

i17 : f//(gens gro)
stdio:20:2:(3): error: no method for binary operator // applied to objects:
--            f (of class Symbol)
--     //     | z6-z4+z3 y2z5-y2z3+y2z2 y4z4-y4z2+y4z y6-z5 xz-y2 xy4-z4 x2y2-z5-. (of class Matrix)

i18 : gro

o18 = GroebnerBasis[status: done; S-pairs encountered up to degree 10]

o18 : GroebnerBasis

i19 : gens gro

o19 = | z6-z4+z3 y2z5-y2z3+y2z2 y4z4-y4z2+y4z y6-z5 xz-y2 xy4-z4 x2y2-z5-z2 |

              1       7
o19 : Matrix R  <--- R

i20 : f