First time here? Check out the FAQ!
answered 2014-12-10 02:44:45 +0100
This is not actually a bug. We use a replacement for GMP called MPIR. You don't have to worry about this warning. See e.g https://groups.google.com/forum/#!topic/sage-devel/z3TXt7mBPZQ