-- -*- M2-comint -*- {* hash: 1841618963 *}

i1 : numerator (4/6)

o1 = 2

i2 : R = frac(ZZ[x,y]);

i3 : numerator((x+2*y-3)/(x-y))

o3 = x + 2y - 3

o3 : ZZ[x, y]

i4 : R = QQ[a..d]/(a^2,b^2,c^3);

i5 : hf = hilbertSeries R

           2    3    4     5    7
     1 - 2T  - T  + T  + 2T  - T
o5 = ----------------------------
                      4
               (1 - T)

o5 : Expression of class Divide

i6 : numerator hf

           2    3    4     5    7
o6 = 1 - 2T  - T  + T  + 2T  - T

o6 : ZZ[T]

i7 : R = QQ[x,y,z,Inverses => true, MonomialOrder => Lex]

o7 = R

o7 : PolynomialRing

i8 : numerator (x*y^-1+y*z^-2+1+y^-1*z^-1)

        2    2      2
o8 = x*z  + y  + y*z  + z

o8 : R

i9 :