5 lines
273 B
Text
5 lines
273 B
Text
(library
|
|
(name leibniz)
|
|
(public_name leibniz)
|
|
(libraries str)
|
|
(modules expr canonical simplify substitute lexer parser diff eval integrate series multivariate numerical format polynomial groebner cse codegen limits matrix ode special transforms assumptions piecewise))
|