Renamed Ideal to Basis to avoid name conflict with Frobby.