|  |  7.5.21.0. isOneFraction Procedure from libraryolga.lib(see  olga_lib).
 
Example:Usage:
isOneFraction(frac), vector frac
Purpose:
determine if the vector frac represents one
Assume:
frac is a valid fraction
Return:
int
Note:
1, if frac == 1; 0 otherwise
 |  | LIB "olga.lib";
ring R = 0,(x,y,Dx,Dy),dp;
def S = Weyl();
setring S; S;
==> // coefficients: QQ considered as a field
==> // number of vars : 4
==> //        block   1 : ordering dp
==> //                  : names    x y Dx Dy
==> //        block   2 : ordering C
==> // noncommutative relations:
==> //    Dxx=x*Dx+1
==> //    Dyy=y*Dy+1
isOneFraction([42,42,0,0]);
==> 1
isOneFraction([0,0,Dx,3]);
==> 0
isOneFraction([1,0,0,1]);
==> 0
 | 
 
 |