I try to do the following in Magma:
P< x, y > := PolynomialRing(ComplexField(), 2);
I := ideal < P |
x + y>;
I got the error: "Runtime error in ideal<...>: Base ring must be an exact field or an Euclidean ring." I don't really understand what this is about. Could someone please explain?