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

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

use std::os::raw::c_char;

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

use crate::ffi_apis::common::from_json_string;
use crate::ffi_apis::common::to_json_string;
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 (JSON).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_expand_json(json_str: *const c_char) -> *mut c_char {
    let expr: Option<Expr> = from_json_string(json_str);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return std::ptr::null_mut();
        },
    };

    let result = cas_foundations::expand(expr);

    to_json_string(&result)
}

/// Factorizes an expression (JSON).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_factorize_json(json_str: *const c_char) -> *mut c_char {
    let expr: Option<Expr> = from_json_string(json_str);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return std::ptr::null_mut();
        },
    };

    let result = cas_foundations::factorize(expr);

    to_json_string(&result)
}

/// Normalizes an expression to a canonical form (JSON).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_normalize_json(json_str: *const c_char) -> *mut c_char {
    let expr: Option<Expr> = from_json_string(json_str);

    let expr = match expr {
        | Some(e) => e,
        | None => {
            return std::ptr::null_mut();
        },
    };

    let result = cas_foundations::normalize(expr);

    to_json_string(&result)
}

/// Simplifies an expression using a set of polynomial side-relations (JSON).
#[unsafe(no_mangle)]
pub extern "C" fn rssn_cas_simplify_with_relations_json(json_str: *const c_char) -> *mut c_char {
    let input: Option<SimplifyWithRelationsInput> = from_json_string(json_str);

    let input = match input {
        | Some(i) => i,
        | None => {
            return std::ptr::null_mut();
        },
    };

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

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

    to_json_string(&result)
}