Add len func to gauss.sage