-- -*- M2-comint -*- hash: 3134290963494594860

i1 : C1 = coneFromVData matrix {{1,0},{0,1}};

i2 : C2 = coneFromVData matrix {{1,-1},{0,-1}};

i3 : C3 = coneFromVData matrix {{1,-1},{2,-1}};

i4 : areCompatible(C1,C2)

o4 = (true, Cone{...1...})

o4 : Sequence

i5 : areCompatible(C2,C3)

o5 = (true, Cone{...1...})

o5 : Sequence

i6 : areCompatible(C3,C1)

o6 = (false, Cone{...1...})

o6 : Sequence

i7 : 
