Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead)

Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead) #6918