Ask Your Question

Revision history [back]

As a general advice, note that when you write

sage: K = RealField()

You do not define the genuine real field, but an approximation made of floating-points numbers with 53 bits of precision:

sage: K
Real Field with 53 bits of precision

This is not a safe place for doing algebraic geometry. Usually, i would recommend to work on the algebraic field QQbar or the algebraic real field AA.

Unfortunately, regarding your question, defining K as AA does not solve the problem since the Singular library which is used under the hood for your computation is not able to deal with it.

Sorry not to be able to help more.