bridge/class-master/depend/pari/src/modules/krasner.c
/* return 1 if the data verify Ore condition and 0 otherwise */
return 1 if the data verify Ore condition and 0 otherwise
return 1 if the data verify Ore condition and 0 otherwise
static long
VerifyOre(GEN p, long e, long j)
{
  long nv, b, vb, nb;
  if (j < 0) return 0;
  nv = e * u_pval(e, p);
  b  = j%e;
  if (b == 0) return (j == nv);
  if (j > nv) return 0;
  vb = u_pval(b, p);
  nb = vb*e;
  return (nb <= j);
}
static long VerifyOre ( GEN p , long e , long j ) { long nv , b , vb , nb ; if ( j < 0 ) return 0 ; nv = e * u_pval ( e , p ) ; b = j % e ; if ( b == 0 ) return ( j == nv ) ; if ( j > nv ) return 0 ; vb = u_pval ( b , p ) ; nb = vb * e ; return ( nb <= j ) ; }
return 1 if the data verify Ore condition and 0 otherwise
return 1 if the data verify Ore condition and 0 otherwise
/* j < nv */