CD
Тест будет для случайного x верно (AB)x = A(Bx)
Попробуй-ка напиши реализацию умножения матриц, которая будет проходить вот это
Size: a a a
2020 August 24
CD
И не будет правильной
p
В самой функции эта информация тоже есть, очевидно, мы ж на идрисе пишем
Не очевидно, может спокойно и не быть
EG
Не очевидно, может спокойно и не быть
А может и быть. Для этого не нужно писать доказательство.
p
Попробуй-ка напиши реализацию умножения матриц, которая будет проходить вот это
То есть у тебя тесты могут рандомно падать? Интересно...
CD
То есть у тебя тесты могут рандомно падать? Интересно...
Да, будут
CD
С параметром --true-random
CD
И выдавать входные данные JSON-чиком
EG
То есть у тебя тесты могут рандомно падать? Интересно...
Могут. Для воспроизводимости ты фиксируешь сид рандома.
p
С параметром --true-random
Какая-то плюсовозависимая штука
CD
Какая-то плюсовозависимая штука
Почему?
CD
Просто сделай себе нормальную тестовую среду
CD
Научись сериализовывать входные данные
p
Могут. Для воспроизводимости ты фиксируешь сид рандома.
То есть ты передаешь не рандомный значения уже)
EG
То есть ты передаешь не рандомный значения уже)
Истинный рандом в мире не факт, что бывает.
CD
Какая-то плюсовозависимая штука
Есть очень старый замечательный хак
p
Истинный рандом в мире не факт, что бывает.
БЛЯТЬ ТЫ ЗАЕБАЛ
p
Пиши сразу вывод
CD
Рандсид тестовой среды это хеш командной строки с солью теста
p
В своем сообщении