Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread 'Bill Hart' via sage-devel
On Saturday, 15 December 2018 22:22:09 UTC+1, parisse wrote: > > > > Le samedi 15 décembre 2018 20:57:02 UTC+1, Bill Hart a écrit : >> >> >> >> And even if giac did all that, it is one of many projects doing >> multivariate polynomial arithmetic in Europe. There's also Trip, Piranha, >> Factory

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread parisse
Le samedi 15 décembre 2018 20:57:02 UTC+1, Bill Hart a écrit : > > > > And even if giac did all that, it is one of many projects doing > multivariate polynomial arithmetic in Europe. There's also Trip, Piranha, > Factory, Pari/GP, Gap. I really don't think it is a valid argument that > just be

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread 'Bill Hart' via sage-devel
On Saturday, 15 December 2018 18:19:53 UTC+1, parisse wrote: > > Bill, my feeling is that part of ODK money was used to improve > multivariate polynomial arithmetic implementations precisely in a domain > where Giac behaves well (and maybe I should emphasize that unlike almost > all other CAS,

Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg

2018-12-15 Thread David Roe
That sounds great! David On Sat, Dec 15, 2018 at 7:28 AM John Cremona wrote: > +1 > > On 15 Dec 2018 10:09, "Dima Pasechnik" wrote: > >> The present design with two optional packages gap_packages and >> database_gap was dictated in the 1st place by copyright issues with >> their contents, preve

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

[sage-devel] Real algebraic varieties

2018-12-15 Thread Thierry
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 are not shipped with Sage) ? More precisely, suppose i have a

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread parisse
Bill, my feeling is that part of ODK money was used to improve multivariate polynomial arithmetic implementations precisely in a domain where Giac behaves well (and maybe I should emphasize that unlike almost all other CAS, Giac is a library, i.e. is interoperable with any software that can int

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread 'Bill Hart' via sage-devel
On Saturday, 15 December 2018 17:10:10 UTC+1, Bill Hart wrote: > > > > On Sunday, 9 December 2018 11:22:48 UTC+1, Dima Pasechnik wrote: > > > > I cannot comment on why certain implementations did not use Giac code, >> I am not involved in this work. >> > > I am involved in that, > I should pr

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread 'Bill Hart' via sage-devel
On Sunday, 9 December 2018 11:22:48 UTC+1, Dima Pasechnik wrote: I cannot comment on why certain implementations did not use Giac code, > I am not involved in this work. > I am involved in that, but I believe there may be some misconceptions here. The implementations we are doing for ODK a

[sage-devel] convert all of Sage library code to libgap

2018-12-15 Thread Dima Pasechnik
I have opened #26902: convert all of Sage library code to libgap. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post

[sage-devel] Re: A Sage interface for FGb (Gröbner bases)

2018-12-15 Thread 'Bill Hart' via sage-devel
On Friday, 7 December 2018 21:41:41 UTC+1, Markus Wageringel wrote: > > Am Freitag, 7. Dezember 2018 13:07:45 UTC+1 schrieb Bill Hart: >> >> How many physical cores do you have on the machine (not logical cores), >> and how many CPU sockets and what is the cache structure? (I assume it is >> at

Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg

2018-12-15 Thread John Cremona
+1 On 15 Dec 2018 10:09, "Dima Pasechnik" wrote: > The present design with two optional packages gap_packages and > database_gap was dictated in the 1st place by copyright issues with > their contents, preventing them from being standard. > > Since GAP release 4.9, all these issues have been res

[sage-devel] merging gap_packages and database_gap spkgs into gap spkg

2018-12-15 Thread Dima Pasechnik
The present design with two optional packages gap_packages and database_gap was dictated in the 1st place by copyright issues with their contents, preventing them from being standard. Since GAP release 4.9, all these issues have been resolved upstream, and I propose these spkgs to be merged into t

Re: [sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-15 Thread Dima Pasechnik
this does not look like a Sage issue, rather like an texmacs issue. On Sat, Dec 15, 2018 at 3:26 AM Amir Zia wrote: > > I have another problem with texmacs: > > I open multiple documents and then: When the document is saved and then > closed, I do not get this warning...When the document is unsa