bridge/class-master/depend/pari/src/kernel/gmp/mp.c
/* assume a < 0, initialized by setloop. Do a++ */
assume a < 0, initialized by setloop. Do a
assume a < 0 initialized by setloop . Do a
static GEN
incneg(GEN a)
{
  long i, l = lgefint(a)-1;
  if (uel(a,2)--)
  {
    if (!a[l]) 
    {
      a[0] = evaltyp(t_INT) | _evallg(2);
      a[1] = evalsigne(0) | evallgefint(2);
    }
    return a;
  }
  for (i=3; i<=l; i++)
    if (uel(a,i)--) break;
  if (!a[l])
  {
    a[0] = evaltyp(t_INT) | _evallg(l);
    a[1] = evalsigne(-1) | evallgefint(l);
  }
  return a;
}
static GEN incneg ( GEN a ) { long i , l = lgefint ( a ) - 1 ; if ( uel ( a , 2 ) -- ) { if ( ! a [ l ] ) { a [ 0 ] = evaltyp ( t_INT ) | _evallg ( 2 ) ; a [ 1 ] = evalsigne ( 0 ) | evallgefint ( 2 ) ; } return a ; } for ( i = 3 ; i <= l ; i ++ ) if ( uel ( a , i ) -- ) break ; if ( ! a [ l ] ) { a [ 0 ] = evaltyp ( t_INT ) | _evallg ( l ) ; a [ 1 ] = evalsigne ( -1 ) | evallgefint ( l ) ; } return a ; }
assume a < 0, initialized by setloop.
assume a < 0 initialized by setloop .
/* implies l = 2 */