January 7th, 2007

with Cat The Cat

Прогресс.

Используя Хаскель в качестве языка манипуляции термов, написал проверочный код для выбранной мною задачи построения аналога существенной матрицы с помощью геометрической алгебры и, в будущем, калибровки камеры.

Получилась нелинейная зависимость по элементам версора и каждая соответствие точек изображения фиксирует три координаты.

Будем разбираться дальше. Пока всё идёт по плану.

PS
Оптимизировать выражения неудобно. Много частных случаев.
with Cat The Cat

Промучал эту мою задачу дальше.

Простое выражение, к которому я пришёл (которое O^m^∞^(V(O^m')V-1) не работает совершенно. Оно получается тождественно равным нулю.

Более сложное выражение O^m^∞^(Vm'V-1)^((VOV-1) работает, но даёт всего одно уравнение на точку, что само по себе не беда.

Сейчас разбираюсь с более сложным вариантом.

Упрощатель - сложная штука. Это не жалко повторить. ;)
with Cat The Cat

Смотря спиной мультик "Вечера на хотре близ Диканьки."

     Долго стояла Оксана, раздумывая о странных речах  кузнеца.
Уже   внутри  ее  что-то  говорило,  что  она  слишком  жестоко
поступила  с  ним.  Что,  если  он  в  самом  деле  решится  на
что-нибудь  страшное?  "Чего  доброго!  может  быть,  он с горя
вздумает влюбиться в другую  и  с  досады  станет  называть  ее
первою красавицею на селе? Но нет, он меня любит. Я так хороша!
Он  меня  ни  за  что не променяет; он шалит, прикидывается. Не
пройдет минут десять, как он, верно, придет поглядеть на  меня.
Я  в  самом  деле  сурова.  Нужно  ему  дать, как будто нехотя,
поцеловать себя. То-то он обрадуется!"
Клёво! ;)
with Cat The Cat

While "Haskell programming language" often delivers junk...