Markus Endres on Thu, 04 Dec 2003 12:46:51 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

nfhnf and nfhnfmod


I want to compute a pseudo-basis of a module x=[A,I] with nfhnfmod. I
get a ideal determinant with nfdetint. 

Now, the result of nfhnfmod(nf,x,detx) is not equal to nfhnf(nf,x), but
I expected equality. What's the reason?. I thought the HNF is unique. 

Thanks for help