1 | initial version |

I assume `f`

is `a`

and `g`

is `x*y - z`

?

If so, maybe this does what you want?

```
sage: R.<x, y, z> = QQ['x, y, z']
sage: f = x^2*y - x - z
sage: g = x*y - z
sage: J = R.ideal(g)
sage: r = J.reduce(f)
sage: r
x*z - x - z
```

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.