options: mention default and available solvers for basis reduction