add a function in gauss.sage