P5-math-symbolic-custom-transformation

Jul 20, 2023

Transform Math::Symbolic trees

MathSymbolicCustomTransformation is an extension to the MathSymbolic module. You’re assumed to be remotely familiar with that module throughout the documentation.

This package implements transformations of MathSymbolic trees using MathSymbolic trees. I’ll try to explain what this means in the following paragraphs.

Until now, in order to be able to inspect a MathSymbolic tree, one had to use the low-level MathSymbolic interface like comparing the top node’s term type with a constant such as T_OPERATOR and then its operator type with more constants. This has changed with the release of MathSymbolicCustomPattern.

To modify the tree, you had to use equally low-level or even encapsulation-breaking methods. This is meant to be changed by this distribution.



Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++