Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: options to help lift or liftstd complete
PostPosted: Wed Mar 03, 2021 10:27 pm 
I have a system of polynomials that slimgb can calculate the groebner basis in about 10 min and total memory usage under 2GB.

I'd like to write some of the basis elements in terms of the original ideal polynomials.
I tried to use the version of liftstd that lets me specify slimgb, but in about an hour and a half it uses 256GB and dies from out of memory.

I tried using lift instead, and that also runs out of memory.

Since calculating the basis appears easy for Singular, I really hoped I could get this information.
Are there any options you recommend I set?
Or possibly some other way to get this information which is easier once I have the basis?

I am using this version:
Singular for x86_64-Linux version 4.2.0 (4200, 64 bit) Dec 24 2020 14:40:58


Report this post
Top
  
Reply with quote  
 Post subject: Re: options to help lift or liftstd complete
PostPosted: Fri Mar 05, 2021 2:50 pm 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
- check that the attribute "isSB" is set for the Groebner basis
- try lift, and apply it to one polynomial at a time


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: options to help lift or liftstd complete
PostPosted: Fri Mar 05, 2021 6:58 pm 
The original set of generators for the ideal is not a basis. Let's call this ideal idOrg.
I can use Singular to calculate a groebner basis: "ideal idBasis = slimgb(idOrg);"
I would like to be able to write the polynomials in idBasis as a linear combination of the polynomials in idOrg.

So if I select a single polynomial from idBasis, and make a new ideal idSingle with just that polynomial, I can call:
matrix T = lift(idOrg, idSingle)
Neither idOrg nor idSingle are a basis, and the ideal which is a basis (idBasis) is not an argument.
Similarly if I call liftstd to calculate the full matrix in one go
matrix T;
ideal idBasis2 = liftstd(idOrg, T);
the basis is not an argument to liftstd.
So I'm not sure what you mean by: "check that the attribute "isSB" is set for the Groebner basis".
Are you saying there is some way I can pass an already calculated basis to lift or liftstd to help it out?
I don't see that in the documentation. How do I do that?


Report this post
Top
  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

It is currently Fri May 13, 2022 10:54 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group