Hi, I'd like to know whether I can invert a specific element a of a (commutative) ring R, and I'm fine with adding that inverse to the ring if possible. For example, can I construct the ring ZZ[1/2] ? ZZ.extension(2*x-1,'alpha') doesn't work since the polynomial must be monic. Obviously, if R is an integral domain, I could just take the field of fractions, but in more general rings I cannot do that (well except for the fact that I just took the fraction field of Z[x]/(x^2) and sage had no problem with doing that). As a specific example, I'd like to associate a symmetric matrix to a binary quadratic form over some ring R and I'd like to be able to do this whenever R is contained in a ring where 2 is invertible.
Thanks, +Rob P.S.: As an aside, I was able to take the fraction_field of (Z/10Z)[x]/ (x^2), but not of Z/10Z itself. Perhaps this is because the method is_integral_domain is not implementer for the former ring. -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
