Добавление новых функций, возвращение функций subtract_scaled

This commit is contained in:
Andrey Pokidov 2026-02-15 23:41:01 +07:00
parent 727961ad98
commit 1075624d05
26 changed files with 836 additions and 292 deletions

View file

@ -18,20 +18,6 @@ inline void bgc_fp64_dual_vector3_reset(BGC_FP64_DualVector3* vector)
bgc_fp64_vector3_reset(&vector->dual_part);
}
// ==================== Make ==================== //
inline void bgc_fp32_dual_vector3_make(BGC_FP32_DualVector3* vector, const BGC_FP32_Vector3* real_part, const BGC_FP32_Vector3* dual_part)
{
bgc_fp32_vector3_copy(&vector->real_part, real_part);
bgc_fp32_vector3_copy(&vector->dual_part, dual_part);
}
inline void bgc_fp64_dual_vector3_make(BGC_FP64_DualVector3* vector, const BGC_FP64_Vector3* real_part, const BGC_FP64_Vector3* dual_part)
{
bgc_fp64_vector3_copy(&vector->real_part, real_part);
bgc_fp64_vector3_copy(&vector->dual_part, dual_part);
}
// ==================== Copy ==================== //
inline void bgc_fp32_dual_vector3_copy(BGC_FP32_DualVector3* destination, const BGC_FP32_DualVector3* source)
@ -60,6 +46,48 @@ inline void bgc_fp64_dual_vector3_swap(BGC_FP64_DualVector3* first, BGC_FP64_Dua
bgc_fp64_vector3_swap(&first->dual_part, &second->dual_part);
}
// ================== Convert =================== //
inline void bgc_fp32_dual_vector3_convert_to_fp64(BGC_FP64_DualVector3* destination, const BGC_FP32_DualVector3* source)
{
bgc_fp32_vector3_convert_to_fp64(&destination->real_part, &source->real_part);
bgc_fp32_vector3_convert_to_fp64(&destination->dual_part, &source->dual_part);
}
inline void bgc_fp64_dual_vector3_convert_to_fp32(BGC_FP32_DualVector3* destination, const BGC_FP64_DualVector3* source)
{
bgc_fp64_vector3_convert_to_fp32(&destination->real_part, &source->real_part);
bgc_fp64_vector3_convert_to_fp32(&destination->dual_part, &source->dual_part);
}
// =================== Revert =================== //
inline void bgc_fp32_dual_vector3_revert(BGC_FP32_DualVector3* vector)
{
bgc_fp32_vector3_revert(&vector->real_part);
bgc_fp32_vector3_revert(&vector->dual_part);
}
inline void bgc_fp64_dual_vector3_revert(BGC_FP64_DualVector3* vector)
{
bgc_fp64_vector3_revert(&vector->real_part);
bgc_fp64_vector3_revert(&vector->dual_part);
}
// ================ Get Reverse ================= //
inline void bgc_fp32_dual_vector3_get_reverse(BGC_FP32_DualVector3* reverse, const BGC_FP32_DualVector3* vector)
{
bgc_fp32_vector3_get_reverse(&reverse->real_part, &vector->real_part);
bgc_fp32_vector3_get_reverse(&reverse->dual_part, &vector->dual_part);
}
inline void bgc_fp64_dual_vector3_get_reverse(BGC_FP64_DualVector3* reverse, const BGC_FP64_DualVector3* vector)
{
bgc_fp64_vector3_get_reverse(&reverse->real_part, &vector->real_part);
bgc_fp64_vector3_get_reverse(&reverse->dual_part, &vector->dual_part);
}
// ==================== Add ===================== //
inline void bgc_fp32_dual_vector3_add(BGC_FP32_DualVector3* sum, const BGC_FP32_DualVector3* first, const BGC_FP32_DualVector3* second)
@ -102,6 +130,20 @@ inline void bgc_fp64_dual_vector3_subtract(BGC_FP64_DualVector3* difference, con
bgc_fp64_vector3_subtract(&difference->dual_part, &minuend->dual_part, &subtrahend->dual_part);
}
// ============== Subtract Scaled =============== //
inline void bgc_fp32_dual_vector3_subtract_scaled(BGC_FP32_DualVector3* difference, const BGC_FP32_DualVector3* base_vector, const BGC_FP32_DualVector3* scalable_vector, const float scale)
{
bgc_fp32_vector3_subtract_scaled(&difference->real_part, &base_vector->real_part, &scalable_vector->real_part, scale);
bgc_fp32_vector3_subtract_scaled(&difference->dual_part, &base_vector->dual_part, &scalable_vector->dual_part, scale);
}
inline void bgc_fp64_dual_vector3_subtract_scaled(BGC_FP64_DualVector3* difference, const BGC_FP64_DualVector3* base_vector, const BGC_FP64_DualVector3* scalable_vector, const double scale)
{
bgc_fp64_vector3_subtract_scaled(&difference->real_part, &base_vector->real_part, &scalable_vector->real_part, scale);
bgc_fp64_vector3_subtract_scaled(&difference->dual_part, &base_vector->dual_part, &scalable_vector->dual_part, scale);
}
// ================== Multiply ================== //
inline void bgc_fp32_dual_vector3_multiply_by_real(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* multiplicand, const float multiplier)
@ -116,80 +158,52 @@ inline void bgc_fp64_dual_vector3_multiply_by_real(BGC_FP64_DualVector3* product
bgc_fp64_vector3_multiply_by_real(&product->dual_part, &multiplicand->dual_part, multiplier);
}
inline void bgc_fp32_dual_vector3_multiply_by_dual(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* multiplicand, const BGC_FP32_DualScalar* multiplier)
// ========== Multiply by Dual Number =========== //
inline void bgc_fp32_dual_vector3_multiply_by_dual(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* multiplicand, const BGC_FP32_DualNumber* multiplier)
{
const float real_x1 = multiplicand->real_part.x1 * multiplier->real_part;
const float real_x2 = multiplicand->real_part.x2 * multiplier->real_part;
const float real_x3 = multiplicand->real_part.x3 * multiplier->real_part;
BGC_FP32_Vector3 dual_part;
const float dual_x1 = multiplicand->dual_part.x1 * multiplier->real_part + multiplicand->real_part.x1 * multiplier->dual_part;
const float dual_x2 = multiplicand->dual_part.x2 * multiplier->real_part + multiplicand->real_part.x2 * multiplier->dual_part;
const float dual_x3 = multiplicand->dual_part.x3 * multiplier->real_part + multiplicand->real_part.x3 * multiplier->dual_part;
bgc_fp32_vector3_multiply_by_real(&dual_part, &multiplicand->dual_part, multiplier->real_part);
bgc_fp32_vector3_add_scaled(&dual_part, &dual_part, &multiplicand->real_part, multiplier->dual_part);
product->real_part.x1 = real_x1;
product->real_part.x2 = real_x2;
product->real_part.x3 = real_x3;
product->dual_part.x1 = dual_x1;
product->dual_part.x2 = dual_x2;
product->dual_part.x3 = dual_x3;
bgc_fp32_vector3_multiply_by_real(&product->real_part, &multiplicand->real_part, multiplier->real_part);
bgc_fp32_vector3_copy(&product->dual_part, &dual_part);
}
inline void bgc_fp64_dual_vector3_multiply_by_dual(BGC_FP64_DualVector3* product, const BGC_FP64_DualVector3* multiplicand, const BGC_FP64_DualScalar* multiplier)
inline void bgc_fp64_dual_vector3_multiply_by_dual(BGC_FP64_DualVector3* product, const BGC_FP64_DualVector3* multiplicand, const BGC_FP64_DualNumber* multiplier)
{
const double real_x1 = multiplicand->real_part.x1 * multiplier->real_part;
const double real_x2 = multiplicand->real_part.x2 * multiplier->real_part;
const double real_x3 = multiplicand->real_part.x3 * multiplier->real_part;
BGC_FP64_Vector3 dual_part;
const double dual_x1 = multiplicand->dual_part.x1 * multiplier->real_part + multiplicand->real_part.x1 * multiplier->dual_part;
const double dual_x2 = multiplicand->dual_part.x2 * multiplier->real_part + multiplicand->real_part.x2 * multiplier->dual_part;
const double dual_x3 = multiplicand->dual_part.x3 * multiplier->real_part + multiplicand->real_part.x3 * multiplier->dual_part;
bgc_fp64_vector3_multiply_by_real(&dual_part, &multiplicand->dual_part, multiplier->real_part);
bgc_fp64_vector3_add_scaled(&dual_part, &dual_part, &multiplicand->real_part, multiplier->dual_part);
product->real_part.x1 = real_x1;
product->real_part.x2 = real_x2;
product->real_part.x3 = real_x3;
product->dual_part.x1 = dual_x1;
product->dual_part.x2 = dual_x2;
product->dual_part.x3 = dual_x3;
bgc_fp64_vector3_multiply_by_real(&product->real_part, &multiplicand->real_part, multiplier->real_part);
bgc_fp64_vector3_copy(&product->dual_part, &dual_part);
}
inline void bgc_fp32_dual_vector3_multiply_by_conjugate(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* multiplicand, const BGC_FP32_DualScalar* multiplier_to_conjugate)
// ===== Multiply by Conjugate Dual Number ====== //
inline void bgc_fp32_dual_vector3_multiply_by_conjugate(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* multiplicand, const BGC_FP32_DualNumber* multiplier_to_conjugate)
{
const float real_x1 = multiplicand->real_part.x1 * multiplier_to_conjugate->real_part;
const float real_x2 = multiplicand->real_part.x2 * multiplier_to_conjugate->real_part;
const float real_x3 = multiplicand->real_part.x3 * multiplier_to_conjugate->real_part;
BGC_FP32_Vector3 dual_part;
const float dual_x1 = multiplicand->dual_part.x1 * multiplier_to_conjugate->real_part - multiplicand->real_part.x1 * multiplier_to_conjugate->dual_part;
const float dual_x2 = multiplicand->dual_part.x2 * multiplier_to_conjugate->real_part - multiplicand->real_part.x2 * multiplier_to_conjugate->dual_part;
const float dual_x3 = multiplicand->dual_part.x3 * multiplier_to_conjugate->real_part - multiplicand->real_part.x3 * multiplier_to_conjugate->dual_part;
bgc_fp32_vector3_multiply_by_real(&dual_part, &multiplicand->dual_part, multiplier_to_conjugate->real_part);
bgc_fp32_vector3_subtract_scaled(&dual_part, &dual_part, &multiplicand->real_part, multiplier_to_conjugate->dual_part);
product->real_part.x1 = real_x1;
product->real_part.x2 = real_x2;
product->real_part.x3 = real_x3;
product->dual_part.x1 = dual_x1;
product->dual_part.x2 = dual_x2;
product->dual_part.x3 = dual_x3;
bgc_fp32_vector3_multiply_by_real(&product->real_part, &multiplicand->real_part, multiplier_to_conjugate->real_part);
bgc_fp32_vector3_copy(&product->dual_part, &dual_part);
}
inline void bgc_fp64_dual_vector3_multiply_by_conjugate(BGC_FP64_DualVector3* product, const BGC_FP64_DualVector3* multiplicand, const BGC_FP64_DualScalar* multiplier_to_conjugate)
inline void bgc_fp64_dual_vector3_multiply_by_conjugate(BGC_FP64_DualVector3* product, const BGC_FP64_DualVector3* multiplicand, const BGC_FP64_DualNumber* multiplier_to_conjugate)
{
const double real_x1 = multiplicand->real_part.x1 * multiplier_to_conjugate->real_part;
const double real_x2 = multiplicand->real_part.x2 * multiplier_to_conjugate->real_part;
const double real_x3 = multiplicand->real_part.x3 * multiplier_to_conjugate->real_part;
BGC_FP64_Vector3 dual_part;
const double dual_x1 = multiplicand->dual_part.x1 * multiplier_to_conjugate->real_part - multiplicand->real_part.x1 * multiplier_to_conjugate->dual_part;
const double dual_x2 = multiplicand->dual_part.x2 * multiplier_to_conjugate->real_part - multiplicand->real_part.x2 * multiplier_to_conjugate->dual_part;
const double dual_x3 = multiplicand->dual_part.x3 * multiplier_to_conjugate->real_part - multiplicand->real_part.x3 * multiplier_to_conjugate->dual_part;
bgc_fp64_vector3_multiply_by_real(&dual_part, &multiplicand->dual_part, multiplier_to_conjugate->real_part);
bgc_fp64_vector3_subtract_scaled(&dual_part, &dual_part, &multiplicand->real_part, multiplier_to_conjugate->dual_part);
product->real_part.x1 = real_x1;
product->real_part.x2 = real_x2;
product->real_part.x3 = real_x3;
product->dual_part.x1 = dual_x1;
product->dual_part.x2 = dual_x2;
product->dual_part.x3 = dual_x3;
bgc_fp64_vector3_multiply_by_real(&product->real_part, &multiplicand->real_part, multiplier_to_conjugate->real_part);
bgc_fp64_vector3_copy(&product->dual_part, &dual_part);
}
// =================== Divide =================== //
@ -222,32 +236,92 @@ inline int bgc_fp64_dual_vector3_divide_by_real(BGC_FP64_DualVector3* quotient,
return BGC_SUCCESS;
}
// ================ Mean of Two ================= //
// =========== Divide by Dual Number ============ //
inline void bgc_fp32_dual_vector3_get_mean2(BGC_FP32_DualVector3* mean, const BGC_FP32_DualVector3* vector1, const BGC_FP32_DualVector3* vector2)
inline int bgc_fp32_dual_vector3_divide_by_dual(BGC_FP32_DualVector3* quotient, const BGC_FP32_DualVector3* dividend, const BGC_FP32_DualNumber* divisor)
{
bgc_fp32_vector3_get_mean2(&mean->real_part, &vector1->real_part, &vector2->real_part);
bgc_fp32_vector3_get_mean2(&mean->dual_part, &vector1->dual_part, &vector2->dual_part);
const float square_modulus = divisor->real_part * divisor->real_part;
if (square_modulus <= BGC_FP32_SQUARE_EPSILON) {
return BGC_FAILURE;
}
bgc_fp32_dual_vector3_multiply_by_conjugate(quotient, dividend, divisor);
bgc_fp32_dual_vector3_multiply_by_real(quotient, quotient, 1.0f / square_modulus);
return BGC_SUCCESS;
}
inline void bgc_fp64_dual_vector3_get_mean2(BGC_FP64_DualVector3* mean, const BGC_FP64_DualVector3* vector1, const BGC_FP64_DualVector3* vector2)
inline int bgc_fp64_dual_vector3_divide_by_dual(BGC_FP64_DualVector3* quotient, const BGC_FP64_DualVector3* dividend, const BGC_FP64_DualNumber* divisor)
{
bgc_fp64_vector3_get_mean2(&mean->real_part, &vector1->real_part, &vector2->real_part);
bgc_fp64_vector3_get_mean2(&mean->dual_part, &vector1->dual_part, &vector2->dual_part);
const double square_modulus = divisor->real_part * divisor->real_part;
if (square_modulus <= BGC_FP64_SQUARE_EPSILON) {
return BGC_FAILURE;
}
bgc_fp64_dual_vector3_multiply_by_conjugate(quotient, dividend, divisor);
bgc_fp64_dual_vector3_multiply_by_real(quotient, quotient, 1.0 / square_modulus);
return BGC_SUCCESS;
}
// ====== Divide by Conjugate Dual Number ======= //
inline int bgc_fp32_dual_vector3_divide_by_conjugate(BGC_FP32_DualVector3* quotient, const BGC_FP32_DualVector3* dividend, const BGC_FP32_DualNumber* divisor_to_conjugate)
{
const float square_modulus = divisor_to_conjugate->real_part * divisor_to_conjugate->real_part;
if (square_modulus <= BGC_FP32_SQUARE_EPSILON) {
return BGC_FAILURE;
}
bgc_fp32_dual_vector3_multiply_by_dual(quotient, dividend, divisor_to_conjugate);
bgc_fp32_dual_vector3_multiply_by_real(quotient, quotient, 1.0f / square_modulus);
return BGC_SUCCESS;
}
inline int bgc_fp64_dual_vector3_divide_by_conjugate(BGC_FP64_DualVector3* quotient, const BGC_FP64_DualVector3* dividend, const BGC_FP64_DualNumber* divisor_to_conjugate)
{
const double square_modulus = divisor_to_conjugate->real_part * divisor_to_conjugate->real_part;
if (square_modulus <= BGC_FP64_SQUARE_EPSILON) {
return BGC_FAILURE;
}
bgc_fp64_dual_vector3_multiply_by_dual(quotient, dividend, divisor_to_conjugate);
bgc_fp64_dual_vector3_multiply_by_real(quotient, quotient, 1.0 / square_modulus);
return BGC_SUCCESS;
}
// ================ Mean of Two ================= //
inline void bgc_fp32_dual_vector3_get_mean2(BGC_FP32_DualVector3* mean, const BGC_FP32_DualVector3* first, const BGC_FP32_DualVector3* second)
{
bgc_fp32_vector3_get_mean2(&mean->real_part, &first->real_part, &second->real_part);
bgc_fp32_vector3_get_mean2(&mean->dual_part, &first->dual_part, &second->dual_part);
}
inline void bgc_fp64_dual_vector3_get_mean2(BGC_FP64_DualVector3* mean, const BGC_FP64_DualVector3* first, const BGC_FP64_DualVector3* second)
{
bgc_fp64_vector3_get_mean2(&mean->real_part, &first->real_part, &second->real_part);
bgc_fp64_vector3_get_mean2(&mean->dual_part, &first->dual_part, &second->dual_part);
}
// =============== Mean of Three ================ //
inline void bgc_fp32_dual_vector3_get_mean3(BGC_FP32_DualVector3* mean, const BGC_FP32_DualVector3* vector1, const BGC_FP32_DualVector3* vector2, const BGC_FP32_DualVector3* vector3)
inline void bgc_fp32_dual_vector3_get_mean3(BGC_FP32_DualVector3* mean, const BGC_FP32_DualVector3* first, const BGC_FP32_DualVector3* second, const BGC_FP32_DualVector3* third)
{
bgc_fp32_vector3_get_mean3(&mean->real_part, &vector1->real_part, &vector2->real_part, &vector3->real_part);
bgc_fp32_vector3_get_mean3(&mean->dual_part, &vector1->dual_part, &vector2->dual_part, &vector3->dual_part);
bgc_fp32_vector3_get_mean3(&mean->real_part, &first->real_part, &second->real_part, &third->real_part);
bgc_fp32_vector3_get_mean3(&mean->dual_part, &first->dual_part, &second->dual_part, &third->dual_part);
}
inline void bgc_fp64_dual_vector3_get_mean3(BGC_FP64_DualVector3* mean, const BGC_FP64_DualVector3* vector1, const BGC_FP64_DualVector3* vector2, const BGC_FP64_DualVector3* vector3)
inline void bgc_fp64_dual_vector3_get_mean3(BGC_FP64_DualVector3* mean, const BGC_FP64_DualVector3* first, const BGC_FP64_DualVector3* second, const BGC_FP64_DualVector3* third)
{
bgc_fp64_vector3_get_mean3(&mean->real_part, &vector1->real_part, &vector2->real_part, &vector3->real_part);
bgc_fp64_vector3_get_mean3(&mean->dual_part, &vector1->dual_part, &vector2->dual_part, &vector3->dual_part);
bgc_fp64_vector3_get_mean3(&mean->real_part, &first->real_part, &second->real_part, &third->real_part);
bgc_fp64_vector3_get_mean3(&mean->dual_part, &first->dual_part, &second->dual_part, &third->dual_part);
}
// ============ Linear Interpolation ============ //
@ -264,32 +338,42 @@ inline void bgc_fp64_dual_vector3_interpolate(BGC_FP64_DualVector3* interpolatio
bgc_fp64_vector3_interpolate(&interpolation->dual_part, &first->dual_part, &second->dual_part, phase);
}
// =================== Revert =================== //
// ================ Dot Product ================= //
inline void bgc_fp32_dual_vector3_revert(BGC_FP32_DualVector3* vector)
inline void bgc_fp32_dual_vector3_get_dot_product(BGC_FP32_DualNumber* product, const BGC_FP32_DualVector3* first, const BGC_FP32_DualVector3* second)
{
bgc_fp32_vector3_revert(&vector->real_part);
bgc_fp32_vector3_revert(&vector->dual_part);
product->real_part = bgc_fp32_vector3_get_dot_product(&first->real_part, &second->real_part);
product->dual_part = bgc_fp32_vector3_get_dot_product(&first->dual_part, &second->real_part) + bgc_fp32_vector3_get_dot_product(&first->real_part, &second->dual_part);
}
inline void bgc_fp64_dual_vector3_revert(BGC_FP64_DualVector3* vector)
inline void bgc_fp64_dual_vector3_get_dot_product(BGC_FP64_DualNumber* product, const BGC_FP64_DualVector3* first, const BGC_FP64_DualVector3* second)
{
bgc_fp64_vector3_revert(&vector->real_part);
bgc_fp64_vector3_revert(&vector->dual_part);
product->real_part = bgc_fp64_vector3_get_dot_product(&first->real_part, &second->real_part);
product->dual_part = bgc_fp64_vector3_get_dot_product(&first->dual_part, &second->real_part) + bgc_fp64_vector3_get_dot_product(&first->real_part, &second->dual_part);
}
// ================ Get Reverse ================= //
// =============== Cross Product ================ //
inline void bgc_fp32_dual_vector3_get_reverse(BGC_FP32_DualVector3* reverse, const BGC_FP32_DualVector3* vector)
inline void bgc_fp32_dual_vector3_get_cross_product(BGC_FP32_DualVector3* product, const BGC_FP32_DualVector3* first, const BGC_FP32_DualVector3* second)
{
bgc_fp32_vector3_get_reverse(&reverse->real_part, &vector->real_part);
bgc_fp32_vector3_get_reverse(&reverse->dual_part, &vector->dual_part);
BGC_FP32_Vector3 part1, part2;
bgc_fp32_vector3_get_cross_product(&part1, &first->dual_part, &second->real_part);
bgc_fp32_vector3_get_cross_product(&part2, &first->real_part, &second->dual_part);
bgc_fp32_vector3_get_cross_product(&product->real_part, &first->real_part, &second->real_part);
bgc_fp32_vector3_add(&product->dual_part, &part1, &part2);
}
inline void bgc_fp64_dual_vector3_get_reverse(BGC_FP64_DualVector3* reverse, const BGC_FP64_DualVector3* vector)
inline void bgc_fp64_dual_vector3_get_cross_product(BGC_FP64_DualVector3* product, const BGC_FP64_DualVector3* first, const BGC_FP64_DualVector3* second)
{
bgc_fp64_vector3_get_reverse(&reverse->real_part, &vector->real_part);
bgc_fp64_vector3_get_reverse(&reverse->dual_part, &vector->dual_part);
BGC_FP64_Vector3 part1, part2;
bgc_fp64_vector3_get_cross_product(&part1, &first->dual_part, &second->real_part);
bgc_fp64_vector3_get_cross_product(&part2, &first->real_part, &second->dual_part);
bgc_fp64_vector3_get_cross_product(&product->real_part, &first->real_part, &second->real_part);
bgc_fp64_vector3_add(&product->dual_part, &part1, &part2);
}
#endif