2024-09-04 19:56:17 +02:00
|
|
|
# mkfunction
|
|
|
|
|
|
2024-09-04 20:00:10 +02:00
|
|
|
A CLI for automatically generating a function based on true statements.
|
|
|
|
|
|
|
|
|
|
**Dependencies: giac, [spl](https://git.tudbut.de/tudbut/spl)**
|
|
|
|
|
|
|
|
|
|
## Function kinds:
|
|
|
|
|
|
|
|
|
|
- polynomial
|
|
|
|
|
- (more planned)
|
|
|
|
|
|
|
|
|
|
## How to use
|
|
|
|
|
|
|
|
|
|
- Start using `spl mk[kind].spl`
|
|
|
|
|
- Answer starting questions (denoted `[0]`)
|
|
|
|
|
- List statements you need to be true
|
|
|
|
|
- Use `.` to solve, `list` to output a system of equations.
|
