1.0.0 Aug 4, 2022

#34 in #math-parser

MIT license

130KB
2.5K SLoC

Numcore: a math interpreter and evaluator

Numcore allows you to easily parse strings into math expressions and evaluate them.

Numcore is part of Numerus.

Features

  • Binary and unary operators
  • Supports multiple value types:
    • Bool,
    • Int,
    • Float,
    • Complex,
    • Vector
  • Built-in functions
  • Built-in constants
  • User-defined functions: f(x,y) = xsin(y)+ysin(x)
  • User-defined var: a = pi/2 or b = a+2
  • Define you own functions with macros.
  • Understands ambiguous syntax, like: g(x) = pisinx
  • Recursion: f(x) = branch(x<=2, 1, f(x-1)+f(x-2))
  • Serde support
  • No panicking

Much more will be implemented in future releases!

Use Guide

Evaluating simple static expressions:

use numcore::*;

assert_eq!(eval("2+2").unwrap(), Value::from(4));
assert_eq!(eval("sin(pi)").unwrap(), Value::from(0));
assert_eq!(eval("re(10+3i)").unwrap(), Value::from(10));

Using contexts:

use numcore::*;

let mut context = Context::default();
// Declaring a function
let res = eval_with_mutable_context(
    "f(x) = branch(x<=2, 1, f(x-1) + f(x-2))",
    &mut context
).unwrap();

// Result is None
assert_eq!(res, None);
// Calling the function. We could just use eval_with_static_context at this point
let res = eval_with_mutable_context("f(10)", &mut context).unwrap();

assert_eq!(res, Some(Value::from(55)));

Values

Values are contained inside the Value enum, which provides useful functions to access the contained data:

use numcore::Value;

let value = Value::Float(1.0);

assert_eq!(value.as_bool().unwrap(), true);
assert_eq!(value.as_int().unwrap(), 1);
assert_eq!(value.as_float().unwrap(), 1.0);
assert_eq!(value.as_complex().unwrap(), num::complex::Complex::new(1.0, 0.0));
assert_eq!(value.as_vector(), vec![Value::Float(1.0)]);

// Assign type implicitly:
let implicit = Value::from(1.0);

assert_eq!(value, implicit);

Note that, even thought the initial value was a float, it has been cast into ints and bools. This was possible since the value had no decimal part and it was a one. If these conditions were not met, the cast would have failed.

Operators

Binary operators:

Operator Description Precedence
^ Exponentiation 90
/ Division 70
* Multiplication 70
% Modulo 70
+ Sum 60
- Subtraction 60
< Less than 50
> Greater than 50
<= Less or equal to 50
>= Greater or equal to 50
== Equal to 40
!= Not equal to 40
&& Logical AND 30
|| Logical OR 20
, Aggregation. Creates vectors 10
= Assignment. Used for functions and vars declarations 0

Unary operators:

Operator Description Precedence
! Logical NOT 80
- Negation 60

Functions

Function Parameters Amount Description
min >=1 Returns the minimum value.
max >=1 Returns the maximum value.
floor 1 Returns the greatest lower integer.
ceil 1 Returns the lowest greater integer.
round 1 Returns the rounded integer.
ln 1 Returns the natural log of the number.
log 2 (base, arg) Returns the logarithm of the number with the specified base.
exp 1 Returns e^(arg).
rand 2 (min, max) Returns a random float between the two number specified.
branch 3 (condition, true, false) Returns the second argument if the condition is true, the third if it is false.
sin 1 Returns the sine of the angle.
cos 1 Returns the cosine of the angle.
tan 1 Returns the tangent of the angle.
asin 1 Returns the arcsine of the angle.
acos 1 Returns the arccosine of the angle.
atan 1 Returns the arctangent of the angle.
sinh 1 Returns the hyperbolic sine of the angle.
cosh 1 Returns the hyperbolic cosine of the angle.
tanh 1 Returns the hyperbolic tangent of the angle.
asinh 1 Returns the hyperbolic arcsine of the angle.
acosh 1 Returns the hyperbolic arccosine of the angle.
atanh 1 Returns the hyperbolic arctangent of the angle.
re 1 Returns the natural part of the number.
im 1 Returns the imaginary part of the number.
polar 1 Returns the polar form (r, theta) of the complex number.
arg 1 Returns the principal arg of the number.
norm 1 Returns the length of the vector (re, im).

Context

Contexts allows you keep track of user-defined functions and variables, as well as settings. They can be created as follows:

use numcore::*;

let mut my_context = Context::new(settings::Rounding::Round(8));

Serde

You can use the optional feature serde_support to let all the public structs derive Serialize and Deserialize.

[dependencies]
num = { version = "<version>", features = [ "serde_support" ] }

License and contribution

Differently from Numerus, Numcore is licensed under a MIT License.

Numcore is currently under heavy development, but feel free to open issues and pull requests for any problems or ideas you come up with.

IMPORTANT: after staging files use the npm run commit command to commit and then follow the prompts. Use all lowercase and imperative descriptions. This ensures that all commits follow the same format and help to keep a clean commit history.

Dependencies

~2MB
~37K SLoC