|
D.15.25.1 hasLeftDenom
Procedure from library ncfrac.lib (see ncfrac_lib).
- Usage:
- hasLeftDenom(frac), ncfrac frac
- Purpose:
- checks if frac has a left representation
- Return:
- int, 1 if frac has a left representation, 0 otherwise
Example:
| LIB "ncfrac.lib";
==> // ** redefining testNcfrac (LIB "ncfrac.lib";)
==> // ** redefining testNcloc ( LIB "ncloc.lib";)
ring R = 0,(x,y,Dx,Dy),dp;
def S = Weyl();
setring S;
ncloc loc = ideal(x-3,y+7);
ncfrac noLeft = list([0,0,3*y*Dx,x+2], loc);
hasLeftDenom(noLeft);
==> 0
ncfrac left = list([1,Dx,Dx,1], loc);
hasLeftDenom(left);
==> 1
|
|