-- -*- M2-comint -*- {* hash: 171752372 *} i1 : x_1 o1 = x 1 o1 : IndexedVariable i2 : x_(a,1) ..< z_(c,3) o2 = (x , x , x , x , y , y , y , y ) a,1 a,2 b,1 b,2 a,1 a,2 b,1 b,2 o2 : Sequence i3 :
-- -*- M2-comint -*- {* hash: 171752372 *} i1 : x_1 o1 = x 1 o1 : IndexedVariable i2 : x_(a,1) ..< z_(c,3) o2 = (x , x , x , x , y , y , y , y ) a,1 a,2 b,1 b,2 a,1 a,2 b,1 b,2 o2 : Sequence i3 :