Relation between squarefree algorithms and radical of ideals
No, this can't work in general. Try $(x,y^2+x)$: both are irreducible and therefore square-free, but $(x,y^2+x)=(x,y^2)$ which is not radical. Your impression that finding generator sets for radical ideals is somewhat difficult is correct.