Fortran或TeX到Haskell

Question

我已经在FriCAS (Axiom fork)中象征性地计算了一个整数，我想将结果粘贴为Haskell中的一个函数。但是，FriCAS只能将输出导出为TeX、Fortran、MathML、html、texmacs。

有没有办法把TeX公式解析成Haskell？还有其他建议吗？

公式包含+ - * / ^ sqrt atan

Answer 1

答案是特定于FriCAS的。可以将输出作为spad字符串生成，如FriCAS mailing list中所述。对我来说，这是

unparse(rootSimp((integrate(integrate(halfL - sqrt(r^2-x^2-y^2), y = (sqrt(r^2-halfL^2-x^2))..halfL, "noPole"), x = (sqrt(r^2-2*halfL^2))..halfL,"noPole")) :: Expression(DoubleFloat)) :: INFORM)

Spad语法与Haskell非常相似，但是unparse将sqrt表示为^(1/(2.0))。让它成为**0.5是一个肮脏的技巧，但毕竟通过使用解析公式而不是2D数值积分获得的速度增益掩盖了**的低效。