1 | initial version |

Ideally, FGb should be included in Singular. However it is possible to include it directly in Sage ! There seems to be a C library, so it should not be too hard with cython. If you feel able to do that by yourself, that would be an awesome contribution, you can have a first look at http://doc.sagemath.org/html/en/thematic_tutorials/cython_interface.html We can help you in the process of letting your work enter Sage source code.

2 | No.2 Revision |

Ideally, FGb should be included in Singular. However it is possible to include it directly in Sage ! There seems to be a C library, so it should not be too hard with cython. If you feel able to do that by yourself, that would be an awesome contribution, you can have a first look at http://doc.sagemath.org/html/en/thematic_tutorials/cython_interface.html We can help you in the process of letting your work enter Sage source code.

**EDIT** Regarding the computation of the Groebner basis of thus ideal, actually there is a way to let Sage compute it, using the interface with giac:

First install `giacpy`

from your terminal:

```
sage -i giacpy
```

Then, you can get the Groebner Basis (in about one minute) from within Sage as follows:

```
sage: G = I.groebner_basis(algorithm='giac:gbasis')
```

3 | No.3 Revision |

**EDIT** Regarding the computation of the Groebner basis of ~~thus ~~this ideal, actually there is a way to let Sage compute it, using the interface with giac:

First install `giacpy`

from your terminal:

```
sage -i giacpy
```

Then, you can get the Groebner Basis (in about one minute) from within Sage as follows:

```
sage: G = I.groebner_basis(algorithm='giac:gbasis')
```

4 | No.4 Revision |

Ideally, FGb should be included in ~~Singular. ~~Singular or Sage but it is closed source... However it is still possible to ~~include ~~interface it ~~directly in ~~with Sage ! There seems to be a C library, so it should not be too hard with cython. If you feel able to do that by yourself, that would be an awesome contribution, you can have a first look at http://doc.sagemath.org/html/en/thematic_tutorials/cython_interface.html We can help you in the process of letting your work enter Sage source code.

**EDIT** Regarding the computation of the Groebner basis of this ideal, actually there is a way to let Sage compute it, using the interface with giac:

First install `giacpy`

from your terminal:

```
sage -i giacpy
```

Then, you can get the Groebner Basis (in about one minute) from within Sage as follows:

```
sage: G = I.groebner_basis(algorithm='giac:gbasis')
```

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.