simplification of reduced set basis