ishehadeh / simplify

Solve and rewrite algebra

Notice

Simplify was a project I worked on while taking algebra 2 to teach myself the concepts and improve my C skills. I don't plan on working on it anymore, even though it's buggy and incomplete.

I'm leaving the repo up and archiving it because I think it will be fun to look back on. :)

Simplify

Simplify evaluates a mathematical expression, putting it in its simplest terms.

For example:

simplify --isolate x '2(x + 2) = 5'
x = 0.5

Simplify also works with multiple variables:

simplify --isolate y '2 + x * y^4 = 10
y = (8 / x) \ 4.

Variables can also be assigned in an expression:

simplify 'x : 2' 'x - 5'
2
-3

For a more detailed explanation check out the wiki.

Building

Simplify depends on GMP and MPFR You can use the get-deps.sh script to download them, but most package managers will have up-to-date prebuilt versions.

1. ./get-deps.sh [optional]
2. mkdir build; cd build
3. cmake ..
4. cmake --build .

Testing

To run the tests ctest must be in your PATH
Follow build steps 1 and 2, then run make test

Regenerate Documentation

To generate documentation cldoc and ronn must be in your PATH
Similar to making the tests do build steps 1 and 2, but run make docs instead of make test.

simplify's Issues

Wrong sign for -x = 1

$ ./simplify --isolate x '(0 - x) = 1'
x = 1

But really, it should be x = -1

Not sure how -d is supposed to work

Could you give an example in the readme or --help on how to use the -d argument? I tried this but got an error:

./simplify -d ADD2S="(2+2)" "ADD2S + 4"

and got this error:

simplify: expected an expression in the form of VARIABLE=EXPRESSION

Probably because there's a number in the variable name. So I removed that and got this:

/simplify -d ADD="(2+2)" "ADD + 4"

And got this:

2 + 2 = 4
2 + 2 + 4

So I guess the first one evaluates the variable expression and the second is just a replacement/simplification of the last expression.

Is that right?