AL
Если вещественные числа не надо складывать, то может это и не вещественные числа тогда
Size: a a a
2021 February 19
ТТ
но его можно не использовать, когда не надо
Окей, в чем была моя задача - перевести на этап компиляции как можно больше ошибок в ресурсоемких операциях с матрицами. С целыми числами все ок, с плавающими - нет (
AL
Окей, в чем была моя задача - перевести на этап компиляции как можно больше ошибок в ресурсоемких операциях с матрицами. С целыми числами все ок, с плавающими - нет (
Где именно в матрицах нужны вещественные числа?
ТТ
а всё ли поведение нужно на уровне типов?
Понятно, что можно не все. Но хотелось бы как можно больше :-)
ТТ
Где именно в матрицах нужны вещественные числа?
В смысле?
AL
Ну что именно перевести на этап компиляции?
JS
хочется иметь тип матрицы с ненулевым определителем?
AL
Натуральные числа я могу понять: размер проверять хочется
AL
Пример с детерминантом вещественной матрицы.
И что хочется от детерминанта?
JS
если я правильно помню, операция обращения применима только к матрицам с ненулевым определителем
JS
а определитель по ячейкам можно вычислить только с погрешностью, если в IEEE 754
ТТ
а определитель по ячейкам можно вычислить только с погрешностью, если в IEEE 754
Вот это и фрустрирует, да.
AL
Проверять написанные функции, что в них нет ошибок, которые привели бы к неверному определителю. Таких потенциально много :-)
Есть операция X, которая меняет определитель по закону y.
Хочется быть уверенным, как можно сильнее, что в имплементации нет ошибок
Есть операция X, которая меняет определитель по закону y.
Хочется быть уверенным, как можно сильнее, что в имплементации нет ошибок
Не могу придумать пример
AL
если я правильно помню, операция обращения применима только к матрицам с ненулевым определителем
Это как посмотреть
AL
Бывают матрицы у которых определитель ненулевой, а обратных к ним нету
AL
Определитель произведения матриц не равен произведению определителей
AL
Не могу найти ни одного полезного свойства определителей, буквально
JS
Бывают матрицы у которых определитель ненулевой, а обратных к ним нету
над числами или над чем-то ещё?