On Oct 21, 4:03 am, mmarco <mma...@unizar.es> wrote: > That was my first idea when i encountered these problems. But then, > things like primary decomposition rely on factorization of > polynomials... which will differ a lot from QQbar to an algebraic > extension of Q.
Indeed. Data point: Magma does allow QQbar as a base ring for polynomial rings and supports primary decomposition. Magma uses a finite field to track dependencies rather than interval arithmetic. That's numerically a lot simpler, except in the rare event that you run into a polynomial with bad reduction at the chosen prime. -- 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.