1 | initial version |

A good way of thinking about a system of polynomial equations is that the common zero set of polynomials defines an algebraic variety. You want to know its dimension (which might be -1 for the empty set).

```
sage: R.<x,y> = QQ[]
sage: R.ideal([x*y]).dimension() # solution is x=0 and y=0 plane intersecting at origin
1
sage: R.ideal([x*y,y-1]).dimension() # only solution x=0, y=1
0
sage: R.ideal([x*y,y-1,x-1]).dimension() # inconsistent
-1
```

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.