I asked Hans Schoenemann about this. Whilst Singular does support doing
Groebner bases over inexact fields, there is no error checking and so this
is not considered useful. It's only there for people who want to run the
computation and examine the output themselves and see if they think it is
On Friday, February 17, 2017 at 4:51:49 AM UTC, john_perry_usm wrote:
>
> On Thursday, February 16, 2017 at 1:46:18 AM UTC-6, Dima Pasechnik wrote:
>>
>>
>>
>> On Thursday, February 16, 2017 at 6:59:04 AM UTC, William wrote:
>>>
>>> **Disclaimer: I consider myself very naive about computational
On Thursday, February 16, 2017 at 1:46:18 AM UTC-6, Dima Pasechnik wrote:
>
>
>
> On Thursday, February 16, 2017 at 6:59:04 AM UTC, William wrote:
>>
>> **Disclaimer: I consider myself very naive about computational
>> commutative algebra, especially with floating point numbers. Dima,
>> thanks
On Thursday, February 16, 2017 at 7:46:18 AM UTC, Dima Pasechnik wrote:
>
>
>
> On Thursday, February 16, 2017 at 6:59:04 AM UTC, William wrote:
>>
>> **Disclaimer: I consider myself very naive about computational
>> commutative algebra, especially with floating point numbers. Dima,
>> thanks
On Thursday, February 16, 2017 at 6:59:04 AM UTC, William wrote:
>
> **Disclaimer: I consider myself very naive about computational
> commutative algebra, especially with floating point numbers. Dima,
> thanks for answering the question, but I think you are maybe jumping
> to wronc
**Disclaimer: I consider myself very naive about computational
commutative algebra, especially with floating point numbers. Dima,
thanks for answering the question, but I think you are maybe jumping
to wronc conclusions. See below. **
> The backend that actually does this computation is