Update gauss.sage