Свойство ассоциативности при перемножении матриц

@KokosSPb · Регистрация: 03.02.2011

Студворк — интернет-сервис помощи студентам

Народ. Не могу понять одну вещь.
Я сейчас с координатными преобразованиями завис, причём с основами.
Есть свойство ассоциативности перемножения матриц.
(A · B) · C= A · (B · C)
Чтоб не беспокоить форум глупостями, когда я зашел в тупик - я сначала проверил его (свойство) для произведения четырёх матриц,. Действительно, результат не зависит от того какие я буду перемножать матрицы сначала, а какие потом, если я не нарушаю последовательность общего перемножения.
Но в шейдере это не работает 😒

Не по теме:

Не знаю где тут тэг GLSL, поэтому пишу в CPP

glSlang
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#version 150
in vec2 position;
in vec3 color;
in vec2 texcoord;
out vec3 Color;
out vec2 Texcoord; 
mat4 proj;
mat4 trans;
mat4 angX, angY, angZ;
mat4 rot;
uniform float uv;
void main()
{
    angX = mat4(vec4(1.0, 0.0, 0.0, 0.0), vec4(0.0, cos(uv), -sin(uv), 0.0), vec4(0.0, sin(uv), cos(uv), 0.0), vec4(0.0, 0.0, 0, 1.0));
    angY = mat4(vec4(cos(uv), 0.0, sin(uv), 0.0), vec4(0.0, 1.0, 0.0, 0.0), vec4(-sin(uv), 0.0, cos(uv), 0.0), vec4(0.0, 0.0, 0, 1.0));
    angZ = mat4(vec4(cos(uv), -sin(uv), 0.0, 0.0), vec4(sin(uv), cos(uv), 0.0, 0.0), vec4(0.0, 0.0, 1.0, 0.0), vec4(0.0, 0.0, 0, 1.0));
    rot = angZ*angY*angX;
    proj = mat4(vec4(1.732050808/(800.0/600.0), 0.0, 0.0, 0.0), vec4(0.0, 1.732050808, 0.0, 0.0), vec4(0.0, 0.0, (10.0 + 0.1)/(10.0 - 0.1), 1.0), vec4(0.0, 0.0, -2*10.0*0.1/(10.0 - 0.1), 0.0));
    trans = mat4(vec4(1.0, 0.0, 0.0, 0.0), vec4(0.0, 1.0, 0.0, 0.0), vec4(0.0, 0.0, 1.0, 0.0), vec4(0.0, 0.0, 2.0, 1.0));
    Color = color;
    Texcoord = texcoord;
 
    gl_Position = proj * trans * rot * vec4(position, 0.0, 1.0);
}

и

glSlang
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#version 150
in vec2 position;
in vec3 color;
in vec2 texcoord;
out vec3 Color;
out vec2 Texcoord; 
mat4 proj;
mat4 trans;
mat4 angX, angY, angZ;
mat4 rot;
mat4 tmpTrans;
uniform float uv;
void main()
{
    angX = mat4(vec4(1.0, 0.0, 0.0, 0.0), vec4(0.0, cos(uv), -sin(uv), 0.0), vec4(0.0, sin(uv), cos(uv), 0.0), vec4(0.0, 0.0, 0, 1.0));
    angY = mat4(vec4(cos(uv), 0.0, sin(uv), 0.0), vec4(0.0, 1.0, 0.0, 0.0), vec4(-sin(uv), 0.0, cos(uv), 0.0), vec4(0.0, 0.0, 0, 1.0));
    angZ = mat4(vec4(cos(uv), -sin(uv), 0.0, 0.0), vec4(sin(uv), cos(uv), 0.0, 0.0), vec4(0.0, 0.0, 1.0, 0.0), vec4(0.0, 0.0, 0, 1.0));
    rot = angZ*angY*angX;
    proj = mat4(vec4(1.732050808/(800.0/600.0), 0.0, 0.0, 0.0), vec4(0.0, 1.732050808, 0.0, 0.0), vec4(0.0, 0.0, (10.0 + 0.1)/(10.0 - 0.1), 1.0), vec4(0.0, 0.0, -2*10.0*0.1/(10.0 - 0.1), 0.0));
    trans = mat4(vec4(1.0, 0.0, 0.0, 0.0), vec4(0.0, 1.0, 0.0, 0.0), vec4(0.0, 0.0, 1.0, 0.0), vec4(0.0, 0.0, 2.0, 1.0));
    tmpTrans = trans * rot;
    Color = color;
    Texcoord = texcoord;
 
    gl_Position = proj * tmpTrans * vec4(position, 0.0, 1.0);
}

Эти варианты дают разный результат :-( В чём дело?

@Igor3D · 31.05.2017, 12:17

Сообщение от KokosSPb

#version 150
mat4 proj;
mat4 trans;
mat4 angX, angY, angZ;
mat4 rot;
mat4 tmpTrans;

void main()
...

Да, это не выдает ошибок, но разве так можно? Что должна делать "просто переменная" (не in/out/uniform) объявленная вне main? Ведь код шейдера выполняется параллельно

@KokosSPb · 31.05.2017, 20:09 **[ТС]**

Сообщение от Igor3D

но разве так можно?

Я не понял, это ответ? :-)
А так нельзя?
Внёс в main, проблема не изменилась...
Но если так нельзя, спасибо, буду знать

@Igor3D · 01.06.2017, 06:38

Сообщение от KokosSPb

Я не понял, это ответ? :-)

Да

Сообщение от KokosSPb

А так нельзя?

А вот и не знаю, по смыслу нет, но никаких "официальных" заявлений на эту тему не встречал. Во всяком случае разумнее не искать ненужных приключений

Сообщение от KokosSPb

Внёс в main, проблема не изменилась...

Копируйте код в плюсы, там печатайте и сравнивайте матрицы

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .