Ferramenta para computação de Gröbner Fans e variedades tropicais
