Mathematical term rewriting system
Taddeus Kroes
74d5caf139
Added short notation for absolute values as only function parameter.
|
%!s(int64=14) %!d(string=hai) anos | |
|---|---|---|
| docs | %!s(int64=14) %!d(string=hai) anos | |
| external | %!s(int64=14) %!d(string=hai) anos | |
| src | %!s(int64=14) %!d(string=hai) anos | |
| tests | %!s(int64=14) %!d(string=hai) anos | |
| utils | %!s(int64=14) %!d(string=hai) anos | |
| .gitignore | %!s(int64=14) %!d(string=hai) anos | |
| .gitmodules | %!s(int64=14) %!d(string=hai) anos | |
| Makefile | %!s(int64=14) %!d(string=hai) anos | |
| README | %!s(int64=14) %!d(string=hai) anos | |
| TODO | %!s(int64=14) %!d(string=hai) anos | |
| base.mk | %!s(int64=14) %!d(string=hai) anos | |
| main.py | %!s(int64=14) %!d(string=hai) anos | |
| test.py | %!s(int64=14) %!d(string=hai) anos |
README
Introduction
------------
This project comprises the design and production of a web application that can
assist high school students in learning how to apply mathematical term
reductions.
The basic idea is that the student can work on an assignment using an online
text editor. The text entered in the editor is converted to a mathematical
notation and displayed on the screen in real-time. If the student gets stuck
while rewriting a mathematical formula, he or she can request a `hint' from the
system.
The system should recognize a best reduction to apply at that time, and guide
the student in the right direction by displaying a textual hint that tells the
user what sort of reduction can be applied. When asked the system should apply
an appropriate reduction step itself.
This project is implemented and designed by Taddeus Kroes
and Sander Mathijs van Veen and
supervised by drs. Krzysztof Apt of the CWI, Amsterdam.
Dependencies
------------
- GNU Bison and Flex.
- GNU GCC (or another decent C compiler).
- Pyrex .
- Sympy .
In order to run the unit tests and and see how much coverage the unit tests
have, please install:
- Python testrunner .
- Python coverage .
Deployment / Installation
-------------------------
Use the following commands in order to be able to deploy the term rewriting
system on a Linux box:
git clone git@kompiler.org:trs
cd trs
git submodule init
git submodule update
make -j4
------------
This project comprises the design and production of a web application that can
assist high school students in learning how to apply mathematical term
reductions.
The basic idea is that the student can work on an assignment using an online
text editor. The text entered in the editor is converted to a mathematical
notation and displayed on the screen in real-time. If the student gets stuck
while rewriting a mathematical formula, he or she can request a `hint' from the
system.
The system should recognize a best reduction to apply at that time, and guide
the student in the right direction by displaying a textual hint that tells the
user what sort of reduction can be applied. When asked the system should apply
an appropriate reduction step itself.
This project is implemented and designed by Taddeus Kroes
and Sander Mathijs van Veen and
supervised by drs. Krzysztof Apt of the CWI, Amsterdam.
Dependencies
------------
- GNU Bison and Flex.
- GNU GCC (or another decent C compiler).
- Pyrex .
- Sympy .
In order to run the unit tests and and see how much coverage the unit tests
have, please install:
- Python testrunner .
- Python coverage .
Deployment / Installation
-------------------------
Use the following commands in order to be able to deploy the term rewriting
system on a Linux box:
git clone git@kompiler.org:trs
cd trs
git submodule init
git submodule update
make -j4