What is to cut or polish with a lap, as glass, gems, cutlery, etc. See 1st Lap, 10 called?

lap — To cut or polish with a lap, as glass, gems, cutlery, etc. See 1st Lap, 10. (Webster's 1913.)

Sources