public RatTermVec(){
  underlying_terms=new Vector();
  terms=(RatTerm[])underlying_terms.toArray(new RatTerm[]{});
}

public RatTermVec ( ) { underlying_terms = new Vector ( ) ; terms = ( RatTerm [ ] ) underlying_terms . toArray ( new RatTerm [ ] { } ) ; }
effects : constructs a new empty rattermvec , [ ] .
