LIB "olga.lib";
ring r = QQ[x,y,Dx,Dy];
def R = Weyl();
setring R;
fracStatus([1,0,0,0], 42, list(1));
==> [1]:
==>    0
==> [2]:
==>    invalid localization in fraction: gen(1)
==>       invalid localization: type is 42, valid types are:
==> 0 for a monoidal localization
==> 1 for a geometric localization
==> 2 for a rational localization
list L = x;
fracStatus([0,7,x,0], 0, L);
==> [1]:
==>    0
==> [2]:
==>    vector is not a valid fraction: no denominator specified in x*gen(3)+7\
   *gen(2)
fracStatus([Dx,Dy,0,0], 0, L);
==> [1]:
==>    0
==> [2]:
==>    the left denominator Dx of fraction Dx*gen(1)+Dy*gen(2) is not in the \
   denominator set of type 0 given by x
fracStatus([0,0,Dx,Dy], 0, L);
==> [1]:
==>    0
==> [2]:
==>    the right denominator Dy of fraction Dx*gen(3)+Dy*gen(4) is not in the\
    denominator set of type 0 given by x
fracStatus([x,Dx,Dy,x], 0, L);
==> [1]:
==>    0
==> [2]:
==>    left and right representation are not equal in:x*gen(4)+x*gen(1)+Dx*ge\
   n(2)+Dy*gen(3)
fracStatus([x,Dx,x*Dx+2,x^2], 0, L);
==> [1]:
==>    1
==> [2]:
==>    valid fraction