1 | initial version |

I am not sure this trick is formally correct (pleases tell us), but you can try to make `c1`

and `c2`

transcendental, by creating a fraction field around them:

```
sage: R.<c1,c2> = PolynomialRing(QQ)
sage: F = R.fraction_field()
sage: S.<x,y,z> = PolynomialRing(F)
sage: I = ideal(y^2 + z - c1, x*y^2 - c2 - 2)
sage: I.groebner_basis()
[y^2 + z - c1, x*z + (-c1)*x + c2 + 2]
```

2 | No.2 Revision |

I am not sure this trick is formally correct ~~(pleases ~~(please tell us), but you can try to make `c1`

and `c2`

transcendental, by creating a fraction field around them:

```
sage: R.<c1,c2> = PolynomialRing(QQ)
sage: F = R.fraction_field()
sage: S.<x,y,z> = PolynomialRing(F)
sage: I = ideal(y^2 + z - c1, x*y^2 - c2 - 2)
sage: I.groebner_basis()
[y^2 + z - c1, x*z + (-c1)*x + c2 + 2]
```

3 | No.3 Revision |

I am not sure this trick is formally correct (please tell ~~us), ~~us!), but you can try to make `c1`

and `c2`

transcendental, by creating a fraction field around them:

```
sage: R.<c1,c2> = PolynomialRing(QQ)
sage: F = R.fraction_field()
sage: S.<x,y,z> = PolynomialRing(F)
sage: I = ideal(y^2 + z - c1, x*y^2 - c2 - 2)
sage: I.groebner_basis()
[y^2 + z - c1, x*z + (-c1)*x + c2 + 2]
```

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.