breandan06/23/2020, 9:31 AM
is a member of some algebra over the reals equipped with the usual operators (when you apply an operator, it is evaluated and you get
back). Another way is (2) to treat the function as a member of a field whose elements are themselves functions, e.g.
, and instead of returning
, applying an operator instead returns
which can be later evaluated by calling
are both fields). It turns out the second representation comes from finite field theory, which has important implications for expression parsing and language design. It would be useful to understand this connection more deeply.
altavir06/23/2020, 11:59 AM
branch of kmath: https://github.com/mipt-npm/kmath/tree/adv-expr/kmath-ast