change getbasis so that it returns vectors of symbols.