I don't recall that word at all from any crufty discussion in number theory or logic design with the faculties of a handful of american universities where I might have been a fly on the wall. Others' mileage may vary. The usage that is common for us of a certain age is the one that is a synonym for 'ablation'.