reform 0.1.0

A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace.
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
99
100

extern crate clap;
extern crate env_logger;
extern crate reform;

#[cfg(feature = "profile")]
extern crate cpuprofiler;

use clap::{App, Arg};
use std::str::FromStr;

#[cfg(feature = "profile")]
use cpuprofiler::PROFILER;

use reform::structure::Element;

fn main() -> Result<(), Box<std::error::Error>> {
    env_logger::init();
    #[cfg(feature = "profile")]
    PROFILER.lock().unwrap().state(); // Ensure linking to gperftools

    let matches = App::new("reFORM")
        .version("0.1.0")
        .author("Ben Ruijl <benruyl@gmail.com>")
        .about("A symbolic manipulation toolkit")
        .arg(
            Arg::with_name("config")
                .short("c")
                .long("config")
                .value_name("FILE")
                .help("Sets a custom config file")
                .takes_value(true),
        ).arg(
            Arg::with_name("log")
                .short("l")
                .long("log")
                .help("Create a log file with the output"),
        ).arg(
            Arg::with_name("workers")
                .short("w")
                .long("workers")
                .help("Number of workers (threads)")
                .default_value("1")
                .takes_value(true),
        ).arg(
            Arg::with_name("dollars")
                .short("d")
                .long("dollars")
                .help("Define dollar variables in a list as $a=x,b=\"1 + x\"")
                .takes_value(true),
        ).arg(
            Arg::with_name("INPUT")
                .help("Sets the input file to use")
                .required(true)
                .default_value("test.frm")
                .index(1),
        ).arg(
            Arg::with_name("v")
                .short("v")
                .multiple(true)
                .help("Sets the level of verbosity"),
        ).get_matches();

    // parse the program
    let mut program = reform::parser::parse_file(matches.value_of("INPUT").unwrap());

    // read in dollar variables from the command line
    if let Some(ds) = matches.value_of("dollars") {
        for s in ds.split(',') {
            let r: Vec<_> = s.split('=').collect();
            if r.len() != 2 {
                panic!("Expected key-value pair for dollar variable: $a=5 or a=5");
            }

            if r[0].is_empty() {
                panic!("Expected key-value pair for dollar variable: $a=5 or a=5");
            }

            let lhs_str = if r[0].starts_with('$') {
                r[0].to_owned()
            } else {
                "$".to_owned() + r[0]
            };

            let mut lhs = Element::from_str(&lhs_str)?.to_element(&mut program.var_info);
            lhs.normalize_inplace(&program.var_info.global_info);

            let mut rhs = Element::from_str(r[1])?.to_element(&mut program.var_info);
            rhs.normalize_inplace(&program.var_info.global_info);

            program.var_info.local_info.add_dollar(lhs, rhs);
        }
    }

    program.do_program(
        matches.is_present("log"),
        matches.occurrences_of("v"),
        matches.value_of("workers").unwrap().parse().unwrap(),
    );
    Ok(())
}