Re: [sage-support] Re: Complex embedding with quotient()

2014-05-09 Thread François Colas
That's exactly what I wanted to do f = F([omega],check=False) Thank you :) Le jeudi 8 mai 2014 08:16:41 UTC+2, Martin Albrecht a écrit : > > Hi Nils, > > On Wednesday 07 May 2014 16:43:03 Nils Bruin wrote: > > On Wednesday, May 7, 2014 9:58:48 AM UTC-7, François Colas wrote: > > > What I want

Re: [sage-support] Re: Complex embedding with quotient()

2014-05-07 Thread Martin Albrecht
Hi Nils, On Wednesday 07 May 2014 16:43:03 Nils Bruin wrote: > On Wednesday, May 7, 2014 9:58:48 AM UTC-7, François Colas wrote: > > What I want to do is a way to evaluate polynomials of K in a power of a > > primitive square root of unity: > > > > omega = CC(e^(2*I*pi/m)) > > F = Hom(K, CC) > >

[sage-support] Re: Complex embedding with quotient()

2014-05-07 Thread Nils Bruin
On Wednesday, May 7, 2014 9:58:48 AM UTC-7, François Colas wrote: > > What I want to do is a way to evaluate polynomials of K in a power of a > primitive square root of unity: > > omega = CC(e^(2*I*pi/m)) > F = Hom(K, CC) > f = F([omega]) > TypeError: images do not define a valid homomorphism > >