You'll have to evaluate the two-sided ideal, meaning left (or right) multiply by with .

You'll probably get something like where . You'll have to figure out what exactly and can be

So, if you get something like and , then the ideal will have elements