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.


Reply via email to