modify gauss.sage file