Post new topic Reply to topic  [ 5 posts ] 
Author Message
 Post subject: SOLVE in ideal 1-dimensional
PostPosted: Mon Mar 29, 2010 4:40 pm 

Joined: Mon Dec 21, 2009 2:29 pm
Posts: 10
hello friends

i need to compute solutions of a ideal that dont are 0-dimensional
in the examples, its uses the function std.
but in my case
even after using the command, the dimension of the ideal remains the same
and must reduce it to 0 to use the function solve, or need one that returns a solution to an ideal that is not 0-dimensional

ideal s= x(1)^2+(5.072659+i*1.481763)*x(1)-75;
when i use std(s), its return the same s.

i need that dim(s) be a 0
or solve s with other funcion


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: SOLVE in ideal 1-dimensional
PostPosted: Mon Mar 29, 2010 7:24 pm 

Joined: Wed Mar 03, 2010 5:08 pm
Posts: 108
Location: Germany, Münster
Your ideal is definitely zero-dimensional.

Tell us, how does your basering looks like?

I suppose that you defined a ring with several variables.

Singular computes the dimension with respect to the
ambiant ring you are working in and not with respect to
the number of variables that occur in the ideal.

So define a new ring only in the variable x(1) and fetch the
ideal s to this ring.Then call solve again. This should then work.


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: SOLVE in ideal 1-dimensional
PostPosted: Mon Mar 29, 2010 7:36 pm 

Joined: Mon Dec 21, 2009 2:29 pm
Posts: 10
> basering;
// characteristic : 0 (complex:6 digits, additional 6 digits)
// 1 parameter : i
// minpoly : (i^2+1)
// number of vars : 2
// block 1 : ordering lp
// : names x(1) x(2)
// block 2 : ordering C


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: SOLVE in ideal 1-dimensional
PostPosted: Mon Mar 29, 2010 11:43 pm 

Joined: Wed Mar 03, 2010 5:08 pm
Posts: 108
Location: Germany, Münster
And did you try what I proposed?

Actually, I think your ring definition was

Code:
ring R = complex,(x(1..2)),dp;

Now define
Code:
ring Rnew = complex,(x(1)),dp;
ideal s = imap(R,s);
// ideal s= x(1)^2+(5.072659+i*1.481763)*x(1)-75;
solve(s);  // from solve.lib


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: SOLVE in ideal 1-dimensional
PostPosted: Mon Apr 05, 2010 4:32 pm 

Joined: Mon Dec 21, 2009 2:29 pm
Posts: 10
HELlo

thanks, this really solved my problem



gorzel wrote:
And did you try what I proposed?

Actually, I think your ring definition was

Code:
ring R = complex,(x(1..2)),dp;

Now define
Code:
ring Rnew = complex,(x(1)),dp;
ideal s = imap(R,s);
// ideal s= x(1)^2+(5.072659+i*1.481763)*x(1)-75;
solve(s);  // from solve.lib


Report this post
Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 5 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 11:04 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group