-- -*- M2-comint -*- hash: 4718392216104494376

i1 : (S,E) = productOfProjectiveSpaces {1,2}

o1 = (S, E)

o1 : Sequence

i2 : I = ideal(x_(0,0)*x_(1,0),x_(1,1)^3)

                       3
o2 = ideal (x   x   , x   )
             0,0 1,0   1,1

o2 : Ideal of S

i3 : M = S^1/I

o3 = cokernel | x_(0,0)x_(1,0) x_(1,1)^3 |

                            1
o3 : S-module, quotient of S

i4 : regularityBound M

o4 = {{0, 2}}

o4 : List

i5 : needsPackage "VirtualResolutions"

o5 = VirtualResolutions

o5 : Package

i6 : multigradedRegularity(S,M)

o6 = {{0, 2}}

o6 : List

i7 : 
