On Tuesday 10 February 2009, john_perry_usm wrote:
> 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).
John,
he's using PolyBoRi. The correction option to use is prot=True or
full_prot=True (see docstring of groebner_basis command on
BooleanPolynomialIdeal).
But you're of course right about our Singular interface.
Cheers,
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
-~----------~----~----~----~------~----~------~--~---
