[swinarsk@compute-2-12 dsva]$ M2
Macaulay 2, version 1.1
with packages: Classic, Core, Elimination, IntegralClosure, LLLBases, Parsing,
               PrimaryDecomposition, SchurRings, TangentCone

i1 : load "chowlite.m2";

i2 : R=chowm0nlite(5);

i3 : D_{1,3}*D_{1,3,5}

       2
o3 = -D
       {1, 4, 5}

o3 : R

i4 : D_{1,3}*D_{2,4}

       2
o4 = -D
       {1, 4, 5}

o4 : R

i5 : D_{1,3}*D_{2,3}

o5 = 0

o5 : R

i6 : clearAll

i7 : load "chowlite.m2"

i8 : S=chowm0nlite(6);

i9 : D_{1,3,5}*D_{1,3}

                                     2                                          
o9 = - D            D             - D             - D            D             +
        {1, 2, 4, 5} {1, 3, 4, 6}    {1, 3, 4, 6}    {1, 2, 3, 4} {1, 2, 5, 6}  
     ---------------------------------------------------------------------------
                                   2                                          
     D            D             - D             + D            D             -
      {1, 3, 4, 6} {1, 2, 5, 6}    {1, 2, 5, 6}    {1, 2, 4, 5} {1, 3, 5, 6}  
     ---------------------------------------------------------------------------
                                   2
     D            D             + D             - D         D
      {1, 2, 4, 6} {1, 3, 5, 6}    {1, 3, 5, 6}    {1, 5, 6} {1, 4, 5, 6}

o9 : S