rssn 0.2.9

A comprehensive scientific computing library for Rust, aiming for feature parity with NumPy and SymPy.
Documentation 
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

use std::collections::HashMap;
use std::os::raw::c_char;

use crate::ffi_apis::common::from_json_string;
use crate::symbolic::core::Expr;
use crate::symbolic::proof;

/// Verifies an equation solution using JSON.
///
/// # Safety
///
/// This function is unsafe because it dereferences raw pointers as part of the FFI boundary.
/// The caller must ensure:
/// 1. All pointer arguments are valid and point to initialized memory.
/// 2. The memory layout of passed structures matches the expected C-ABI layout.
/// 3. Any pointers returned by this function are managed according to the API's ownership rules.
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_json_verify_equation_solution(
    equations_json: *const c_char,
    solution_json: *const c_char,
    free_vars_json: *const c_char,
) -> bool {
    let equations: Option<Vec<Expr>> = from_json_string(equations_json);

    let solution: Option<HashMap<String, Expr>> = from_json_string(solution_json);

    let free_vars: Option<Vec<String>> = from_json_string(free_vars_json);

    match (equations, solution, free_vars) {
        | (Some(eqs), Some(sol), Some(free)) => {
            let free_refs: Vec<&str> = free.iter().map(std::string::String::as_str).collect();

            proof::verify_equation_solution(&eqs, &sol, &free_refs)
        },
        | _ => false,
    }
}

/// Verifies an indefinite integral using JSON.
///
/// # Safety
///
/// This function is unsafe because it dereferences raw pointers as part of the FFI boundary.
/// The caller must ensure:
/// 1. All pointer arguments are valid and point to initialized memory.
/// 2. The memory layout of passed structures matches the expected C-ABI layout.
/// 3. Any pointers returned by this function are managed according to the API's ownership rules.
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_json_verify_indefinite_integral(
    integrand_json: *const c_char,
    integral_result_json: *const c_char,
    var_json: *const c_char,
) -> bool {
    let integrand: Option<Expr> = from_json_string(integrand_json);

    let integral_result: Option<Expr> = from_json_string(integral_result_json);

    let var: Option<String> = from_json_string(var_json);

    match (integrand, integral_result, var) {
        | (Some(f), Some(int), Some(v)) => proof::verify_indefinite_integral(&f, &int, &v),
        | _ => false,
    }
}

/// Verifies a matrix inverse using JSON.
///
/// # Safety
///
/// This function is unsafe because it dereferences raw pointers as part of the FFI boundary.
/// The caller must ensure:
/// 1. All pointer arguments are valid and point to initialized memory.
/// 2. The memory layout of passed structures matches the expected C-ABI layout.
/// 3. Any pointers returned by this function are managed according to the API's ownership rules.
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_json_verify_matrix_inverse(
    original_json: *const c_char,
    inverse_json: *const c_char,
) -> bool {
    let original: Option<Expr> = from_json_string(original_json);

    let inverse: Option<Expr> = from_json_string(inverse_json);

    match (original, inverse) {
        | (Some(orig), Some(inv)) => proof::verify_matrix_inverse(&orig, &inv),
        | _ => false,
    }
}