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

2018-12-06 Thread parisse
Le vendredi 7 décembre 2018 07:53:18 UTC+1, Markus Wageringel a écrit : > > > While there will be some overhead due to the conversion from and to Sage, > it is the same in both cases. In fact, I observe similar times with the > native Giac that is installed into the Sage environment, when

Re: [sage-devel] installing boost failed 1-66_0

2018-12-06 Thread François Bissey
Good timing https://trac.sagemath.org/ticket/26782 needs reviewing. > On 7/12/2018, at 19:59, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > > Dear all, > > Here is the report. There is apparently a problem with our > install script. > > Vincent > > > > boost-1_66_0 >

[sage-devel] installing boost failed 1-66_0

2018-12-06 Thread Vincent Delecroix
Dear all, Here is the report. There is apparently a problem with our install script. Vincent boost-1_66_0 Setting up build directory for boost-1_66_0 Finished extraction No patch files found in ../patches

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

2018-12-06 Thread Markus Wageringel
Am Donnerstag, 6. Dezember 2018 11:41:23 UTC+1 schrieb Bill Hart: > All the other systems are using modular methods here, so Roman use the > modstd library (the command is modStd) in Singular to get those timings. > Indeed cyclic7 over Q takes about 20s on my laptop in Singular using this >

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

2018-12-06 Thread parisse
Le mercredi 5 décembre 2018 23:44:43 UTC+1, Markus Wageringel a écrit : > > Am Samstag, 24. November 2018 23:11:26 UTC+1 schrieb parisse: >> >> >> Giac supports double revlex ordering, this is the order used by the >> eliminate command of Giac. Geogebra has many examples of eliminate commands

Re: [sage-devel] Re: Weak references in the coercion model

2018-12-06 Thread Jeroen Demeyer
On 2018-12-06 14:07, Simon King wrote: And if I understand correctly what you said in another post, it is *dynamically* determined which reference is weak and which reference is strong. When is it determined? During cyclic gc? Yes, during GC: that's the only time where it matters. More

[sage-devel] Re: Weak references in the coercion model

2018-12-06 Thread Simon King
On 2018-12-06, Simon King wrote: > Hopefully it is explained in #26790; I'll have a look... Sorry, must be another ticket. #26811, I guess. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

[sage-devel] Re: Weak references in the coercion model

2018-12-06 Thread Simon King
Hi Jeroen, On 2018-12-06, Jeroen Demeyer wrote: > * The domain and codomain store MultiWeakref references to the map, > where one of those references is weak and one is strong. And if I understand correctly what you said in another post, it is *dynamically* determined which reference is weak

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

2018-12-06 Thread 'Bill Hart' via sage-devel
On Wednesday, 5 December 2018 23:44:43 UTC+1, Markus Wageringel wrote: > > > I am a bit surprised about some of the Singular results being a lot worse > than reported in [5], cyclic7 in particular. Perhaps starting this > computation with some different options can help here. > > > [5]

Re: [sage-devel] Re: Weak references in the coercion model

2018-12-06 Thread Jeroen Demeyer
On 2018-12-06 08:35, Simon King wrote: Then what will be your reference graph? Or phrased differently: Where/how will you store coercion maps? The basic idea is the following (I have not worked out all the details yet): * The coercion model only stores weak references to anything (domains,