Я ничего не знаю о JTS, но это не может быть правдой в целом.
Предположим, у вас есть две фигуры:
XXX XXX
X X XXX
XXX XXX
Насколько я понимаю, buffer(1)
в обоих случаях приведет примерно к следующему:
XXXXX XXXXX
XXXXX XXXXX
XXXXX XXXXX
XXXXX XXXXX
XXXXX XXXXX
Теперь buffer(-1)
не сможет получить два разных результата из этих двух фигур.
Эффективно операция buffer()
теряет информацию, поэтому ее нельзя отменить без повторного добавления этой информации откуда-либо еще.