Я пытаюсь повернуть трехмерный неединичный вектор (Vector_3) так, чтобы он совпадал с другим трехмерным неединичным вектором, используя Exact_predicates_exact_constructions_kernel.
Я создаю матрицу вращения, в основном ссылаясь надо это .Однако создание единичных векторов нетривиально.Каков наиболее подходящий метод для выполнения такого вращения с этим ядром?