HW7 #15
HW7 #15
Conversation
src/LibHw7/Library.fs
Outdated
|
|
||
| module Matrix = | ||
| type Nothing = | ||
| | Empty |
src/LibHw7/Library.fs
Outdated
| | Empty | ||
|
|
||
| type QuadMatrix<'T> = | ||
| | Leaf of 'T * int |
src/LibHw7/Library.fs
Outdated
| then 0.0 | ||
| else max (Math.Log2(Array2D.length1 inmatr)) (Math.Log2(Array2D.length2 inmatr)) | ||
|
|
||
| let isSizeFalse = not (logSize = float (int logSize)) |
There was a problem hiding this comment.
Загадочное название функции
There was a problem hiding this comment.
Почему же загадочное? Я делаю квадратную матрицу, для неё нужен квадратный размер со стороной степени двойки. Поэтому и назвал так, Неправильный ли размер
There was a problem hiding this comment.
Тогда уж correct а не false хотя бы.
src/LibHw7/Library.fs
Outdated
|
|
||
| let rec multiplyMatrix qTree1 qTree2 = | ||
| match qTree1, qTree2 with | ||
| | Leaf(value1, size1), Leaf(value2, size2) -> Leaf(value1 * value2, size1) |
There was a problem hiding this comment.
Удивительно. Не должно работать.
src/LibHw7/Library.fs
Outdated
|
|
||
| let rec multiplyMatrix qtree1 size1 qtree2 size2 = | ||
| match qtree1, qtree2 with | ||
| | Leaf(value1), Leaf(value2) -> Leaf(value1 * value2 * size1) |
There was a problem hiding this comment.
Мммм. Правда ли, что я смогу работать с матрицами произвольных типов?
Test/TestsHw7.fs
Outdated
| let matr2 = Gen.sample 1 (PropertyTest.matrixGenerator (int size) (int size) (Gen.choose (-100000, 100000))) | ||
| let matr11d = PropertyTest.toArray matr1.[0] | ||
| let matr21d = PropertyTest.toArray matr2.[0] | ||
| let expmatr = Array.map2 (fun x y -> x + y) matr11d matr21d |
There was a problem hiding this comment.
Правдв ли, что типичные заклинания нельзя вынести в отдельную функцию?
There was a problem hiding this comment.
Я вроде бы вынес, разве нет, сейчас посмотрю
There was a problem hiding this comment.
Вопрос, а про какие именно заклинания идёт речь?
Написал 7 домашку. Здесь представлена библиотека, которая преобразует матрицы в деревья квадрантов и из них обратно. Также написаны функции умножения, map и map2. В дополнение к ним были написаны тесты для этих функций.