|Bill Allombert on Thu, 18 Dec 2014 19:42:29 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: Factoring in unique factorization domains|
On Thu, Dec 18, 2014 at 07:59:54PM +0200, Andrew Lelechenko wrote: > Thank you for answers. > > One more (presumably silly) question: how to calculate a norm > of a factor? E. g., for disc=7 I can calculate the norm Did you mean disc=-7 ? > of 4*omega-3 as norm(Mod(4*x-3, x^2-x+2)). Is there more > natural way? if your factor is given by an ideal, you can use idealnorm(nf,...) if your factor is given by an number field element, you can use nfeltnorm(nf,...) Otherwise you can also do omega=Mod(x,x^2-x+2); norm(4*omega-3); Cheers, Bill.