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
89
90
91
92
93
94
95
96
97
98

//! Bincode-based FFI API for symbolic CAS foundations.

use serde::Deserialize;
use serde::Serialize;

use crate::ffi_apis::common::BincodeBuffer;
use crate::ffi_apis::common::from_bincode_buffer;
use crate::ffi_apis::common::to_bincode_buffer;
use crate::symbolic::cas_foundations;
use crate::symbolic::core::Expr;
use crate::symbolic::grobner::MonomialOrder;

#[derive(Serialize, Deserialize)]
struct SimplifyWithRelationsInput {
    expr: Expr,
    relations: Vec<Expr>,
    vars: Vec<String>,
    order: MonomialOrder,
}

/// Expands an expression using algebraic rules (Bincode).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_expand_bincode(input: BincodeBuffer) -> BincodeBuffer {
    let expr: Option<Expr> = from_bincode_buffer(&input);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return BincodeBuffer::empty();
        },
    };

    let result = cas_foundations::expand(expr);

    to_bincode_buffer(&result)
}

/// Factorizes an expression (Bincode).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_factorize_bincode(input: BincodeBuffer) -> BincodeBuffer {
    let expr: Option<Expr> = from_bincode_buffer(&input);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return BincodeBuffer::empty();
        },
    };

    let result = cas_foundations::factorize(expr);

    to_bincode_buffer(&result)
}

/// Normalizes an expression to a canonical form (Bincode).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_normalize_bincode(input: BincodeBuffer) -> BincodeBuffer {
    let expr: Option<Expr> = from_bincode_buffer(&input);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return BincodeBuffer::empty();
        },
    };

    let result = cas_foundations::normalize(expr);

    to_bincode_buffer(&result)
}

/// Simplifies an expression using a set of polynomial side-relations (Bincode).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_simplify_with_relations_bincode(input: BincodeBuffer) -> BincodeBuffer {
    let input_data: Option<SimplifyWithRelationsInput> = from_bincode_buffer(&input);

    let input_data = match input_data {
        | Some(i) => i,
        | None => {
            return BincodeBuffer::empty();
        },
    };

    let vars_refs: Vec<&str> = input_data
        .vars
        .iter()
        .map(std::string::String::as_str)
        .collect();

    let result = cas_foundations::simplify_with_relations(
        &input_data.expr,
        &input_data.relations,
        &vars_refs,
        input_data.order,
    );

    to_bincode_buffer(&result)
}