In sage 10.4, I can prove $-1 = -oo$ and I am concerned about citing CAS with this inconsistency.
Are there plans to try to reduce the inner inconsistencies in sage? sage: Kx.<x>=QQ[];f=Kx(0);f.degree() -1 sage: gp(f).poldegree() -oo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD-XjwZ6MPVQYNKgiif2LF-BMKe3aS5LTDj8FufYx9LWVg%40mail.gmail.com.