Update gkz.sage