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.