Re: [sage-devel] latex for desolve results

2018-09-02 Thread Andy Howell
Vincent, I'm not expecting perfection :) It seems like a problem I might be able to fix with a little direction. I did look though the code,but didn't make much progress. I know I have run under the debugger before, but for the life of me I can remember how I did it. If I could figure out how to

Re: [sage-devel] latex for desolve results

2018-09-02 Thread Vincent Delecroix
Dear Andy, Thanks for your report. Note that this result is not wrong with the extra parenthesis. Perhaps a bit annoying. SageMath is developed by volunteers and not perfect. You are very welcome to contribute to its enhancement http://doc.sagemath.org/html/en/developer/ Best Vincent Le 0

[sage-devel] latex for desolve results

2018-09-02 Thread Andy Howell
Hello, I'm not sure if this is a bug or not. I'm just starting to learn differential equations. The latex returned for 'h' below has superfluous () around the '-x' exponent. y = var('y') Plot1=plot_slope_field(2-y,(x,0,3),(y,0,20)) y = function('y')(x) # declare y to be a function of x h = desol

Re: [sage-devel] r-3.4.4.p0 configure/install error

2018-09-02 Thread Nagesh Adluru
I wanted to also add that I am installing using 'screen' command in linux and am not sure if that would be causing the problem. Should I be avoiding that? On Sun, Sep 2, 2018 at 3:19 PM Nagesh Adluru wrote: > Hi David, > > Thanks for sharing that insight. I did install the anaconda in between fo

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Volker, On 2018-09-02, Simon King wrote: > The non-similarities: > ... > - Your code is recursive. I replace the recursion by a loop, as at some > point the recursion went over the permitted limit. I just tested: Your code also gives an error because of recursion. So, here are some changes

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Dima, On 2018-09-02, Dima Pasechnik wrote: > On Sun, 2 Sep 2018, 17:53 Simon King, wrote: >> On 2018-09-02, Dima Pasechnik wrote: >> > It would be good to submit a Singular bug report with an example at >> > https://github.com/Singular/Sources >> >> I guess I should rather file it in the Sin

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Dima Pasechnik
On Sun, 2 Sep 2018, 17:53 Simon King, wrote: > Hi Dima, > > On 2018-09-02, Dima Pasechnik wrote: > > It would be good to submit a Singular bug report with an example at > > https://github.com/Singular/Sources > > I guess I should rather file it in the Singular trac. Well, I'll wait to > see > if

Re: [sage-devel] r-3.4.4.p0 configure/install error

2018-09-02 Thread David Einstein
I don't know about centos, but on OSX this situation occurs when anaconda is installed, and the anaconda directories occur earlier in the path than the system directories. Removing anaconda from the path before building sage fixes the problem. On Sunday, September 2, 2018 at 8:15:33 AM UTC-4,

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Dima, On 2018-09-02, Dima Pasechnik wrote: > It would be good to submit a Singular bug report with an example at > https://github.com/Singular/Sources I guess I should rather file it in the Singular trac. Well, I'll wait to see if a post in the Singular forum helps :-) > It's silly to see an

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Volker, On 2018-09-02, Volker Braun wrote: > FWIW I once wrote a monomial ideal implementation in Sage/Cython, probably > for some related reason though I forget exactly why I couldn't use > Singular. Its presumably similar to the code you wrote already. It doesn't > do weights but does imp

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Dima Pasechnik
On Sun, 2 Sep 2018, 15:15 Simon King, wrote: > > Since this post summarises replies to various posts in this thread and to > an off-list message, I am making this a reply to the top of the thread. > It probably should get subject line "sorry state of basic open-source commutative altebra" :-)

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Volker Braun
FWIW I once wrote a monomial ideal implementation in Sage/Cython, probably for some related reason though I forget exactly why I couldn't use Singular. Its presumably similar to the code you wrote already. It doesn't do weights but does implement the refined HS. A reasonably fast implementation

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread mmarco
That is exactly the case: the cocoalib package is just that for the moment: a way to install cocoalib from sage. The plan when that was done was to write a cython interface , but that hasn't been done yet. Since cocoalib is a very big library, I think it would be a good idea to do so incrementa

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Dima, On 2018-09-02, Dima Pasechnik wrote: > I wonder what kind of overflow you get in Singular - is it related to > exponents being too small to incorporate your weights? No. Quite simply the elements of an intvec in Singular have to be at most 2147483647, but the coefficients of the first

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi! Since this post summarises replies to various posts in this thread and to an off-list message, I am making this a reply to the top of the thread. Objective: As a *small* part of some group cohomology computations, I need to compute the first Hilbert series of certain homogeneous ideals in gra

Re: [sage-devel] r-3.4.4.p0 configure/install error

2018-09-02 Thread Nagesh Adluru
I had actually thought of that but the sys admin thought we had the devel installed. I will pursue this line with more pressure now that I have your suggestion as well. Thanks again so much for the prompt help! Best, Nagesh On Sun, Sep 2, 2018, 2:12 AM Dima Pasechnik wrote: > > > On Sunday, Sep

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Dima Pasechnik
I wonder what kind of overflow you get in Singular - is it related to exponents being too small to incorporate your weights? -- 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

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Dima Pasechnik
I agree that frobby interface appatently has a bug, as there should be no coefficients different from 1 in the expansion of the series. -- 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

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Simon King
Hi Dima, On 2018-09-02, Dima Pasechnik wrote: > Frobby gives you the Hilbert function with N^n-grading, with all weights of > the variables x_j being 1. > I may be saying something silly, but isn't substituting x_j |-> x_j^{w_j} > for weights w_j of x_j gives you the function you need (making

Re: [sage-devel] r-3.4.4.p0 configure/install error

2018-09-02 Thread Dima Pasechnik
On Sunday, September 2, 2018 at 1:27:46 AM UTC+3, Nagesh Adluru wrote: > > Hi Dima, > > Between the delays from our IT admin and me trying to resolve the issue by > myself since in the original log there was no issue of libcurl, I got > delayed in getting back. > The log says: configure: erro

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread jplab
Hi Simon, Le samedi 1 septembre 2018 22:59:12 UTC+2, Simon King a écrit : > > > > The question in all cases (frobby, Normaliz, LattE, CoCoA) is whether the > conversion > from Singular is efficient. > > Normaliz can compute the Hilbert series of monomial ideals given different gradings. With

Re: [sage-devel] Tools to compute Hilbert Poincaré series

2018-09-02 Thread Dima Pasechnik
On Sunday, September 2, 2018 at 12:28:56 AM UTC+3, Simon King wrote: > > Hi Dima, > > On 2018-09-01, Dima Pasechnik > wrote: > > Did you check that > > > http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/frobby.html#sage.interfaces.frobby.Frobby.hilbert > > > doesn't do w