On 2018-09-11, Simon King wrote:
> FWIW: I opened #26243, providing code to compute Hilbert series. It is
> generally a bit slower than libsingular (not much), but does not suffer
> from libsingular's 32-bit limitation.
Meanwhile the work is done. It is *faster* than Singular and doesn't
have the
Hi!
FWIW: I opened #26243, providing code to compute Hilbert series. It is
generally a bit slower than libsingular (not much), but does not suffer
from libsingular's 32-bit limitation.
Best regards,
Simon
--
You received this message because you are subscribed to the Google Groups
"sage-devel"
Done.
On 2018-09-06, Dima Pasechnik wrote:
> On Tue, Sep 4, 2018 at 10:15 AM Simon King wrote:
>> Hannes wrote in the Singular forum
>
> I had an account for the Singular forum, it was linked to my employer's email
> (back in 2005), long gone. I tried to create another account for
> myself few d
On Tue, Sep 4, 2018 at 10:15 AM Simon King wrote:
> Hannes wrote in the Singular forum
I had an account for the Singular forum, it was linked to my employer's email
(back in 2005), long gone. I tried to create another account for
myself few days ago, the process
says it has to be enabled by their
Note that some interest has recently emerged in renewing
the Sage's interface to Macaulay2, see
- Sage trac ticket 25885
Fixes for outdated Macaulay2 interface
https://trac.sagemath.org/ticket/25885
For other Sage tickets related to Macaulay2, see
https://trac.sagemath.org/query?order=id&des
Hi Dima,
On 2018-09-04, Dima Pasechnik wrote:
> M2 needs a libgc-compatible version of everything, including fflas. That's
> probably why
> two copies etc.
>
>
> M2 is maintained and developed. What is not maintained is Sagemath's M2
> package.
I see. In that case: *IF* someone explains to me ho
On Tue, 4 Sep 2018, 11:57 Simon King, wrote:
> Hi Clement,
>
> On 2018-09-04, Clement Pernet wrote:
> > Le 02/09/2018 à 14:13, Simon King a écrit :
> >>
> /home/king/Projekte/Macaulay2/M2/M2/usr-host/include/fflas-ffpack/fflas/fflas_ftrsm_src.inl:279:27:
> error: ‘openblas_set_num_threads’ was n
Hi Clement,
On 2018-09-04, Clement Pernet wrote:
> Le 02/09/2018 à 14:13, Simon King a écrit :
>> /home/king/Projekte/Macaulay2/M2/M2/usr-host/include/fflas-ffpack/fflas/fflas_ftrsm_src.inl:279:27:
>> error: ‘openblas_set_num_threads’ was not declared in this scope
>> openblas_set_num_thread
Le 02/09/2018 à 14:13, Simon King a écrit :
5. Use Macaulay2
Bad: (a) The experimental spkg is broken, it won't install.
(b) The installation instructions for Ubuntu on the project
pages are rather verbose and require adding obscure
repositories.
(c
FWIW:
Hannes wrote in the Singular forum that he finds it a bad idea to use 64
bit integers, because it would behave differently on 32bit machines. He
also argues that bigint vectors exist in Singular, since there are bigint
*matrices* in Singular; right, but the syntax is different and thus it
is
Hi Dima,
On 2018-09-03, Dima Pasechnik wrote:
> once you have a github account, which is trivial to get, go to
> https://github.com/Singular/Sources/issues
>
> and click on New Issue (a big green button)...
Actually this is what I did yesterday. I remembered that once upon a
time I created a git
On Sun, 2 Sep 2018, 20:52 Simon King, wrote:
> 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/Singu
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
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
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
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
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
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" :-)
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
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
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
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
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
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
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
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
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
Hi Dima,
On 2018-09-01, Dima Pasechnik wrote:
> Sage does not need that broken and obsolete package, it can talk to an
> instance of Macaulay2 (usually called M2)
> in the PATH. See
> http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/macaulay2.html
I tried to find out how to
On Sunday, September 2, 2018 at 12:06:35 AM UTC+3, Simon King wrote:
>
> PS:
>
> On 2018-09-01, Dima Pasechnik > wrote:
> >> > On 2018-08-29, Dima Pasechnik >
> wrote:
> >> >> I think this machinery is much better implemented in Macaulay2.
> >> >
> >> > I'll have a look, thank you!
> >>
>
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 what you need?
Two questions:
- The docs say: "Use the -univariate option to get the univariate
PPS:
On 2018-09-01, Simon King wrote:
> A user called Tomer has contacted me off-list and pointed to a CoCoALib
> interface
> (Trac #25707); I didn't know that such (experimental) interface exists. CoCoA
> is
> well known for efficient Hilbert series computations.
"sage -i cocoalib" does work.
PS:
On 2018-09-01, Dima Pasechnik wrote:
>> > On 2018-08-29, Dima Pasechnik > wrote:
>> >> I think this machinery is much better implemented in Macaulay2.
>> >
>> > I'll have a look, thank you!
>>
>> There is an experimental old-style Macaulay2 package. Is it reliable?
>>
>
> I'd expect it t
Hi Dima,
On 2018-09-01, Dima Pasechnik wrote:
> On Saturday, September 1, 2018 at 8:24:37 PM UTC+3, Simon King wrote:
> I'd expect it to be in Macaulay2 core, not in a package.
>
> Did you check that
> http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/frobby.html#sage.interface
On Saturday, September 1, 2018 at 8:24:37 PM UTC+3, Simon King wrote:
>
> On 2018-08-29, Simon King > wrote:
> > Hi Dima,
> >
> > On 2018-08-29, Dima Pasechnik > wrote:
> >> I think this machinery is much better implemented in Macaulay2.
> >
> > I'll have a look, thank you!
>
> There is an
On 2018-08-29, Simon King wrote:
> Hi Dima,
>
> On 2018-08-29, Dima Pasechnik wrote:
>> I think this machinery is much better implemented in Macaulay2.
>
> I'll have a look, thank you!
There is an experimental old-style Macaulay2 package. Is it reliable?
Best regards,
Simon
--
You received th
Hi Dima,
On 2018-08-29, Dima Pasechnik wrote:
> I think this machinery is much better implemented in Macaulay2.
I'll have a look, thank you!
For now, I did implement something myself: Based on Singular, but all
manipulations of integer polynomials is done in Sage. The question is if
I should pu
I think this machinery is much better implemented in Macaulay2.
--
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 to
Hi!
A part of my current project involves the computation of the Hilbert
Poincaré series of a monomial ideal in a polynomial ring with degree
weights on the generators.
Good: Singular can compute it in principle.
Bad: In some of my examples, the coefficients are big, and so Singular
gives up and
38 matches
Mail list logo
