Fiddling with this ask.sagemath question <https://ask.sagemath.org/question/51862/assume-expression-to-be-noninteger/>, I was led to create Trac#29833 <https://trac.sagemath.org/ticket/29833#ticket> ; further review of possibly related tickets showed that the old Trac#14764 <https://trac.sagemath.org/ticket/14764>, seems to have been serendipitously fixed during the recent Sage history.
I marked the latter as invalid and requested review ; the former may be trickier than it seems *prima facie*... -- 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 on the web visit https://groups.google.com/d/msgid/sage-devel/488400fb-88ba-4f1e-9ead-30137ba9c12fo%40googlegroups.com.