|  |  7.5.20.0. testFraction Procedure from libraryolga.lib(see  olga_lib).
 
Example:Usage:
testFraction(frac, locType, locData), vector frac, int locType,
list/intvec/vector locData
Purpose:
test if the given vector is a representation of a fraction in the
specified localization wrt. the checks from fracStatus
Assume:
Return:
nothing
Note:
throws error if checks were not successful
 |  | LIB "olga.lib";
ring r = QQ[x,y,Dx,Dy];
def R = Weyl();
setring R;
list L = x;
vector frac = [x,Dx,x*Dx+2,x^2];
testFraction(frac, 0, L); // correct localization, no error
frac = [x,Dx,x*Dx,x^2];
testFraction(frac, 0, L); // incorrect localization, results in error
==>    ? left and right representation are not equal in:x^2*gen(4)+x*Dx*gen(3\
   )+x*gen(1)+Dx*gen(2)
==>    ? leaving olga.lib::testFraction (0)
 | 
 
 |