At least #3 works a bit better with Sage-5.4.rc: sage: sage: R.<x1,x2> = QQ[] sage: sage: S = R.quotient_ring( R.ideal(x2**2 + x1 - 2, x1**2 - 1) ) sage: sage: 1 / S(x1 + x2) # should raise NotImplementedError Traceback (most recent call last) ... NotImplementedError:
There is no segfault, at least: sage: sage: R.<x1,x2> = QQ[] sage: sage: S = R.quotient_ring( R.ideal(x2**2 + x1 - 2, x1**2 - 1) ) sage: sage: S.is_integral_domain() // ** char_series returns 0 x 0 matrix from 3 input polys (0) I[1,1]=x2^2+x1-2 I[1,2]=x1^2-1 (nothing happens, Ctrl-C works). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.