Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > Hi Waldek, > > Oh, I just see that my Groebner generalization is not yet merged. > > https://github.com/hemmecke/fricas/commits/poly > > We even had a discussion already, but I only might have some time > tonight to clean up the patches and think again of why I wanted

Re: [fricas-devel] Re: [aldor-devel] foldl and foldr

2017-02-14 Thread Waldek Hebisch
> > On 02/14/2017 08:38 AM, Peter Broadbery wrote: > > Interesting. It definitely does work in .spad files (search for ^+\[). > > Oh... > > https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146 > > count(f : S -> Boolean, c : %) == _+/[1 for x in parts c | f x] > > Then

Re: [fricas-devel] FriCAS status

2017-02-14 Thread Waldek Hebisch
I have now created a release branch. Unless there are serious problems this is going to be next release. As I wrote we recently learned about several integration bugs and we had a few long standing ones. Most is now fixed or worked around, but w a few remain. Also I postponed including some

Re: [fricas-devel] Re: [aldor-devel] foldl and foldr

2017-02-14 Thread Ralf Hemmecke
On 02/14/2017 08:38 AM, Peter Broadbery wrote: > Interesting. It definitely does work in .spad files (search for ^+\[). Oh... https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146 count(f : S -> Boolean, c : %) == _+/[1 for x in parts c | f x] Then it even looks like a

[fricas-devel] generalization of Groebner

2017-02-14 Thread Ralf Hemmecke
Hi Waldek, Oh, I just see that my Groebner generalization is not yet merged. https://github.com/hemmecke/fricas/commits/poly We even had a discussion already, but I only might have some time tonight to clean up the patches and think again of why I wanted totalDegree in the way I have it in the

Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Ralf Hemmecke
On 02/14/2017 06:45 PM, Waldek Hebisch wrote: >> We even had a discussion already, but I only might have some time >> tonight to clean up the patches and think again of why I wanted >> totalDegree in the way I have it in the patch. >> >>

Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Ralf Hemmecke
On 02/14/2017 06:45 PM, Waldek Hebisch wrote: > Delay and adding code now is just incovenience and a little work to > redo. OK. For me it is not totally important to get it in now, since I can compile my FriCAS myself. In other words, don't let me delay a new release. There would anyway be a few

Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > On 02/14/2017 06:45 PM, Waldek Hebisch wrote: > > Delay and adding code now is just incovenience and a little work to > > redo. > > OK. For me it is not totally important to get it in now, since I can > compile my FriCAS myself. In other words, don't let me delay a new >

Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > On 02/14/2017 06:45 PM, Waldek Hebisch wrote: > >> We even had a discussion already, but I only might have some time > >> tonight to clean up the patches and think again of why I wanted > >> totalDegree in the way I have it in the patch. > >> > >>

Re: [fricas-devel] generalization of Groebner

2017-02-14 Thread Ralf Hemmecke
On 02/15/2017 03:35 AM, Waldek Hebisch wrote: >> I basically remove VarSet and thus the (assumed) structure of >> Expon. > > To be more precise: the test should work as before if there is > 'totalDegree' function. All you do is to allow more domains, some of > them may miss 'totalDegree'. In