public void insert(RatTerm t,int index){
  underlying_terms.add(index,t);
  terms=(RatTerm[])underlying_terms.toArray(new RatTerm[]{});
}

public void insert ( RatTerm t , int index ) { underlying_terms . add ( index , t ) ; terms = ( RatTerm [ ] ) underlying_terms . toArray ( new RatTerm [ ] { } ) ; }
insertion operation . requires : t ! = null & & 0 < = index < = this . size ( ) modifies : this effects : inserts ' t ' as a component in this rattermvec at the specified index . each component in this vector with an index greater or equal to the specified index is shifted upward to have an index one greater than the value it had previously . the size of this vector is increased by 1 . < br > e . g . given a rattermvec v = [ t2 , t3 , t4 ] , the statement " v . insert ( t5 , 1 ) ; " will make v_post = [ t2 , t5 , t3 , t4 ] .
