private static void incremExpt(RatTermVec vec,int degree){
  for (int i=0, size=vec.size(); i < size; i++) {
    vec.set(new RatTerm(vec.get(i).coeff,vec.get(i).expt + degree),i);
  }
}

private static void incremExpt ( RatTermVec vec , int degree ) { for ( int i = 0 , size = vec . size ( ) ; i < size ; i ++ ) { vec . set ( new RatTerm ( vec . get ( i ) . coeff , vec . get ( i ) . expt + degree ) , i ) ; } }
increments exponents within ' vec ' by ' degree ' ( helper procedure ) . requires : vec ! = null modifies : vec effects : forall i s . t . 0 < = i < vec . size ( ) , if ( c . e ) = vec . get ( i ) then vec_post . get ( i ) = ( c . e + degree )
