And here's another gem...

[Gerhard Niklasch <nikl@mathematik.tu-muenchen.de>]

---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