As Simon says, perhaps you are running out of memory. Do you know how
to check your RAM usage?
There is an option in Singular to display protocol information (option
("protocol")), but IIRC the Sage interface to Singular isn't handling
options correctly. Martin may want to correct me, but I recalling
working on that at SD12, and we made little progress (other priorities
were higher). Something you can try is this:
sage: singular_console()
[Singular starts within Sage]
> option("prot"); // don't forget semicolon at the end of each command
> ring R = ...describe your ring in Singular-speak... ;
> ideal I = ...describe your ideal in Singular-speak... ;
> ideal B = std(I);
When I do this with Cyclic-8 it takes a while, but shows a lot of
diagnostic information, described at the bottom of this page:
http://www.singular.uni-kl.de/Manual/3-0-4/sing_258.htm#SEC298
Its last four lines are:
s(145)s(150)s
(155)----------------------------------------------------
---
(100)----------------------30--------------------------------------
----------------------------------------
product criterion:5544 chain criterion:685409
So for example the last number 30 means that we had reached degree 30;
the (100) means that there were 100 critical pairs left, and s(155)
means that a new element of the standard basis had been found, and
subsequently there were 155 critical pairs left.
Even if you haven't run out of memory, it may simply take a long time.
I've run Groebner basis computations for weeks at a time before it
terminates successfully. That's the nature of the beast.
john perry
On Feb 9, 3:56 am, Adela <[email protected]> wrote:
> My computer has been working uninterrupted for almost 19 hours with
> the Groebner basis and still no response.
>
> Should it be alright? It is becoming slower in responding to any
> other simple command..
>
> I don't know if I should still leave it work, maybe it's stuck
> somewhere.
>
> Adela
>
> On 8 Feb, 20:06, Adela <[email protected]> wrote:
>
> > Thank you very much!
>
> > I applied this and no more error. For the moment at least. It's been
> > computing for 2 hours and I still don;t get any answer.
>
> > I guess it's normal, the computations are enough large.
>
> > Is there a possiblity to make it verbose? I mean, to have a feedback
> > from it, to know that it's not blocked and hanging somewhere.
>
> > Adela
>
> > On 8 Feb, 17:00, Martin Albrecht <[email protected]>
> > wrote:
>
> > > > sage: I.groebner_basis()
>
> > > Try:
>
> > > I.groebner_basis(faugere=False,linear_algebra_in_last_block=False)
>
> > > This disables M4RI (which runs out of memory). If that still fails,
> > > you're out
> > > of luck and your computer can't handle the computation you're throwing at
> > > it.
>
> > > Martin
>
> > > --
> > > name: Martin Albrecht
> > > _pgp:http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
> > > _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
> > > _www:http://www.informatik.uni-bremen.de/~malb
> > > _jab: [email protected]
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
