Back to Forum | View unanswered posts | View active topics
|
Page 1 of 1
|
[ 3 posts ] |
|
Author |
Message |
kevin
|
Post subject: options to help lift or liftstd complete Posted: 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
|
|
Top |
|
|
hannes
|
Post subject: Re: options to help lift or liftstd complete Posted: 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
|
|
Top |
|
|
kelvin
|
Post subject: Re: options to help lift or liftstd complete Posted: 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?
|
|
Top |
|
|
|
Page 1 of 1
|
[ 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
|
|