Re: [sage-devel] Real algebraic varieties

2018-12-15 Thread Dima Pasechnik
On Sat, Dec 15, 2018 at 6:25 PM Thierry wrote: > > On Sat, Dec 15, 2018 at 05:58:57PM +, Dima Pasechnik wrote: > > On Sat, Dec 15, 2018 at 5:37 PM Thierry > > wrote: > > > > > > Hi, > > > > > > this question is related to the thread about Groebner bases. > > > > > > Are there some free-softw

Re: [sage-devel] Real algebraic varieties

2018-12-15 Thread Thierry
On Sat, Dec 15, 2018 at 05:58:57PM +, Dima Pasechnik wrote: > On Sat, Dec 15, 2018 at 5:37 PM Thierry > wrote: > > > > Hi, > > > > this question is related to the thread about Groebner bases. > > > > Are there some free-software implementations for real algebraic geometry > > available somewh

Re: [sage-devel] Real algebraic varieties

2018-12-15 Thread Dima Pasechnik
On Sat, Dec 15, 2018 at 5:37 PM Thierry wrote: > > Hi, > > this question is related to the thread about Groebner bases. > > Are there some free-software implementations for real algebraic geometry > available somewhere ? Could Giac or Singular help with that ? Or maybe > Reduce or Macaulay2 (that