Does anyone know if SAGE has an analogue of MAGMA's function PointsOverSplittingField, or something that does Groebner basis computations/polynomial system solutions over an algebraically closed field.
I am trying to verify the results that MAGMA gives me, so please don't point me to SAGE's interface to MAGMA.