История изменений
Исправление Manhunt, (текущая версия) :
Ну допустим тебе на вход пришел список [1,1,1], а она вернет [1,2,3].
Под «container.At(j) IsAssignedFrom Oldstate(container).At(i)» подразумевается, что результирующее состояние ячейки j получено путем копирования исходного состояния ячейки i. Не равно исходному состоянию (IsEqual/≡), а именно получено путем копирования (IsAssignedFrom). Допустим, если ты сперва скопировал в голову хвост, а затем скопировал в голову середину, то голова теперь получена копированием из середины, а не из хвоста. Поэтому твой контрпример спецификации не соответствует.
Исправление Manhunt, :
Ну допустим тебе на вход пришел список [1,1,1], а она вернет [1,2,3].
Под «container.At(j) IsAssignedFrom Oldstate(container).At(i)» подразумевается, что результирующее состояние ячейки j получено путем копирования исходного состояния ячейки i. Не равно исходному состоянию (IsEqual/≡), а именно получено путем копирования (IsAssignedFrom). Допустим, если ты сперва скопировал в голову хвост, а затем скопировал в голову середину, то в голова теперь получена копированием из середины, а не из хвоста. Поэтому твой контрпример спецификации не соответствует.
Исправление Manhunt, :
Ну допустим тебе на вход пришел список [1,1,1], а она вернет [1,2,3].
Под «container.At(j) IsAssignedFrom Oldstate(container).At(i)» подразумевается, что результирующее состояние ячейки j получено путем копирования исходного состояния ячейки i. Не равно исходному состоянию (IsEqual/≡), а именно получено путем копирования (IsAssignedFrom). К примеру, если ты сперва скопировал в голову хвост, а затем скопировал в голову середину, то в голова теперь получена копированием из середины, а не из хвоста. Поэтому твой контрпример спецификации не соответствует.
Исходная версия Manhunt, :
Ну допустим тебе на вход пришел список [1,1,1], а она вернет [1,2,3].
Под «container.At(j) IsAssignedFrom Oldstate(container).At(i)» подразумевается, что результирующее состояние ячейки j получено путем копирования исходного состояния ячейки i. Не равно исходному состоянию (IsEqual/≡), а именно получено путем копирования (IsAssignedFrom). К примеру, если ты сперва скопировал в голову хвост, а затем скопировал в голову середину, то в голова получена копированием из середины, а не из хвоста.