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.

Reply via email to