Gerhard Niklasch on Thu, 20 Nov 1997 20:33:13 +0100


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

And here's another gem...


---8<---
(20:27) gp > idealnorm(nf,x)
%34 = 133
(20:28) gp > idealnorm(nf,Mod(x,nf.pol))
  ***   incorrect type in gabs.
(20:28) gp > idealnorm(nf,nfalgtobasis(nf,Mod(x,nf.pol)))
%35 = 133
--->8---

(nf having been initialized to an NF before)

at variance with both the Tutorial (top page 25) and the general
documentation (Section 3.6) which state that all ideal functions
accept polymods and consider them to represent the corresponding
principal ideals.

Todo++, Gerhard