An Algorithm to Compute the H-Bases for Ideals of Subalgebras. (7th July 2021)