Re: [sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-18 Thread sahin508
I changed the decimals into fractions and I confirm that I am now getting results. Thank you so much for your help. You saved me out of stress and depression. Best Regards, On Tuesday, February 18, 2014 11:23:37 AM UTC-5, Martin R. Albrecht wrote: > > > > On 18/02/14 14:31, sahi...@gmail.com w

Re: [sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-18 Thread Martin R. Albrecht
On 18/02/14 14:31, sahin...@gmail.com wrote: > TypeError: unsupported operand parent(s) for '*': 'Real Field with > 53 bits of precision' and 'Multivariate Polynomial Ring in x1, x2, > x3, x4, x5, x6, x7, x8 over Number Field in I with defining > polynomial x^2 + 1' This means that you are mixin

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-18 Thread sahin508
Thank you for the reply. I am now trying the computation with a somewhat more involved example and I am getting the error. The example I am trying to solve is below: R = QQ[sqrt(-1)] RI = R.gens()[0] S. = PolynomialRing(R,order='lex') SI = S.ideal(4*RI*x4+2*x1-2.52*x3-8*RI,3*x4+2*x1-3.5*x2-6,-4

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread john_perry_usm
The actual computation I had in mind requires a somewhat more convoluted: sage: R = QQ[sqrt(-1)] sage: RI = R.gens()[0] # necessary, since Sage's I is symbolic, and causes issues sage: S. = PolynomialRing(R,order='lex') sage: SI = S.ideal((1+RI)*x+y,x+(1-RI)*y-(1-RI)) sage: SI.groebner_basis() [x

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread sahin508
Thank you, I get the solution by using N. = NumberField(x^2+1) S. = PolynomialRing(QQ,order='lex') is the variable x in the first line a dummy one, i.e. has nothing to do with the x in the second line? Sorry, I am new to Sage and sometimes I get confused. If CC is not appropriate for this kind

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread luisfe
On Monday, February 17, 2014 6:39:38 PM UTC+1, sahi...@gmail.com wrote: > > OK, I tried the following: > > S. = PolynomialRing(QQ,order='lex') > I = ideal(i^2+1,(1+i)*x+y,x+(1-i)*y-(1-i)) > G = I.groebner_basis() > G > > would give me > > [i - x - 1, x^2 + 2*x + 2, y - 2] > > which are the result

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread sahin508
OK, I tried the following: S. = PolynomialRing(QQ,order='lex') I = ideal(i^2+1,(1+i)*x+y,x+(1-i)*y-(1-i)) G = I.groebner_basis() G would give me [i - x - 1, x^2 + 2*x + 2, y - 2] which are the results. But I am confused; why I can't get the result when I try to get a polynomial ring in the fie

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread john_perry_usm
ACK! Make sure I=sqrt(-1) first! john perry On Monday, February 17, 2014 10:37:30 AM UTC-6, sahi...@gmail.com wrote: > > Hi: > > I am trying to obtain solution of a system of polynomial equations with > complex coefficients without success. For example, when I try > > S. = PolynomialRing(CC,ord

[sage-support] Re: groebner bases of polynomials with complex coefficients

2014-02-17 Thread john_perry_usm
Instead of CC, try using QQ[i]. That works for me, giving the basis [x + 4/25, y - 24/25] john perry On Monday, February 17, 2014 10:37:30 AM UTC-6, sahi...@gmail.com wrote: > > Hi: > > I am trying to obtain solution of a system of polynomial equations with > complex coefficients without su