Trinomial containment in polynomial ideals is undecidable | Digital Library | PAMCET | PAMCET