  The ideal membership problem asks whether an element in the ring belongs to
the given ideal. In this paper, we propose a function that reflecting the
complexity of the ideal membership problem in the ring of Laurent polynomials
with integer coefficients. We also connect the complexity function we define to
the Dehn function of a metabelian group, in the hope of constructing a
metabelian group with superexponential Dehn function.
