a surgical operation in which one or more branches of the vagus nerve are cut, typically to reduce the rate of gastric secretion (e.g. in treating peptic ulcers)

some of these patients had had vagotomy in the past

a vagotomy was completed