(quote ^,Ideal,ZZ)
I^n
-- the n-th power of an ideal I.
