public void remove(int index){
  underlying_terms.remove(index);
  terms=(RatTerm[])underlying_terms.toArray(new RatTerm[]{});
}

public void remove ( int index ) { underlying_terms . remove ( index ) ; terms = ( RatTerm [ ] ) underlying_terms . toArray ( new RatTerm [ ] { } ) ; }
deletion operation . requires : 0 < = index < this . size ( ) modifies : this effects : deletes the ratterm at the specified index . each ratterm in this vector with an index greater or equal to the specified index is shifted downward to have an index one smaller than the value it had previously . the size of this vector is decreased by 1 . < br > e . g . given a rattermvec v = [ t2 , t3 , t4 ] , the statement " v . remove ( 1 ) ; " will make v_post = [ t2 , t4 ] .
