Opened 12 years ago

Last modified 10 years ago

#289 new bug

degBound coupled with elim1 question

Reported by: e.allman@… Owned by: hannes
Priority: minor Milestone: 3-1-2 and higher
Component: dontKnow Version: 3-1-1
Keywords: degBound, eliminate Cc: e.allman@…

Description

I have been talking with some mathematicians about a problem/question/development I have found when using Singular's debBound option with elim1.

We have somewhat understood the problem, but I thought I should e-mail you all to 1) get a better understanding of how elim1 and degBound interact 2) suggest that you might want to update the (excellent) manual with such information.

I describe the issue below and attach a sample file that will illustrate the problem.

%%% The Problem: In essence I have a homogeneous ideal and I am trying to eliminate variables. This is computationally too difficult a problem so I have set the degBound option to just get elements in this elimination ideal up to various degrees. I am using the "dp" ordering and the command "elim1."

Rather oddly, it seems that when the degBound is set to 10, Singular finds ideal elements of degrees 1 and 2, but when the degBound is set to 4, the quadratic elements are not found.

I've read the Singular manual and see that degBound is interpreted differently depending on which command is used to compute a groebner basis; however, since I am using elim1 I am not sure how to interpret this.

What I would like is to know for sure that I have found all the elements of the elimination ideal up to a particular degree. These results of course have me quite skeptical about having found this.

Any ideas, suggestions, or comments?

Many thanks,

Elizabeth Allman

Attachments (1)

question.sing (4.7 KB) - added by e.allman@… 12 years ago.
sample Singular code to illustrate the problem

Download all attachments as: .zip

Change History (3)

Changed 12 years ago by e.allman@…

Attachment: question.sing added

sample Singular code to illustrate the problem

comment:1 Changed 12 years ago by seelisch

Owner: changed from somebody to decker

comment:2 Changed 10 years ago by decker

Owner: changed from decker to hannes
Note: See TracTickets for help on using tickets.