K=bnfinit(y^2+1);
P=idealprimedec(K,2)[1];
nfislocalpower(K,P,2,2)
nfislocalpower(K,P,-1,2)
nfislocalpower(K,P,-1,4)
P=idealprimedec(K,5)[1];
nfislocalpower(K,P,P.gen[2],2)
nfislocalpower(K,P,P.gen[2],5)
nfislocalpower(K,P,y,5)
nfislocalpower(K,P,y,10)
nfislocalpower(K,P,Mod(y+1,K.pol)^10,10)

N=nfinit(x^2-155);pr=idealprimedec(N,5)[1];
nfislocalpower(N,pr,20*x-249,5)

K=nfinit(y^3-2);
P=idealprimedec(K,3)[1];
nfislocalpower(K,P,2^18,54)
nfislocalpower(K,P,y,3)
nfislocalpower(K,P,y,0)
nfislocalpower(K,P,1,0)
nfislocalpower(K,"",1,0)
nfislocalpower(K,"","",0)
