for zero-dimensional ideals, allow computation of varieties over arbitrary fields #2343
Description
This lets you start with an ideal over a polynomial ring with rational coefficients, then compute the entire real (or entire complex) variety.
Component: algebraic geometry
Issue created by migration from https://trac.sagemath.org/ticket/2343