Para evitar eventuais problemas no SAGE em CentOS ou RedHat 7.4, consulte o seguinte artigo: Correção de eventuais comportamentos instáveis do SAGE em CentOS ou RedHat versão 7.4