- Each file defines a list of lists
[[a1, b1], [a2, b2], ...]:where eachaiis a first-order formula andbiis a quantifier-free formula which equivalent toai.
AUTHOR(required)DOMAIN(required)CITATION(required)
| LaTeX | Notation |
|---|---|
= |
= |
\ne |
<> |
< |
< |
\leq |
<= |
> |
> |
\geq |
>= |
F := parse(FileTools[Text][ReadFile]("filename.mpl")):
for fml in F do
SyNRAC[qe](fml[1]);
end do;
You can convert formulas to another format by using qeconv.
See CONTRIBUTING-JP.md (in Japanese)