Re: Factoring in unique factorization domains

[Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>]

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.