DEV Community: TryAlgebra

Tree pattern matching

TryAlgebra — Sun, 27 Sep 2026 21:06:52 +0000

I managed to find a very effective decomposition of the pattern tree, which gives several useful properties for pattern matching. I finally finished the paper on this topic: https://zenodo.org/records/22972752

Here are the main highlights:

The algorithm treats unresolved variables as connections between different parts of the tree.
Using these connections, it identifies independent parts of the pattern, each corresponding to its own system of Diophantine equations.
During matching, the tree can be matched against independent parts of the pattern in parallel, since the result of matching one part does not affect the matching process of another.
As a bonus, the backtracking is very simple, and the algorithm can be implemented as a straightforward recursive function.

Monthly update post

TryAlgebra — Sun, 27 Sep 2026 21:04:51 +0000

A short monthly progress report:

Added the ability to select a folder/project before starting work.
Added some of the missing mathematical elements.
Improved the mathematical element selector so that it appears next to the cursor.
Added Ctrl+Z/Y support.
Added a command system for quick input.
Added a window that displays the project structure.
Added a scroll bar.
Made various minor UI improvements.

I’m currently working on the formula system. The main components are already in place. The next step is to implement the project compiler, which will collect formulas, algebraic rules, and parsing rules and link them together.

TryAlgebra is an experimental mathematical editor and symbolic computation project

TryAlgebra — Sun, 27 Sep 2026 21:02:41 +0000

It is a WYSIWYG math editor with tools for defining formulas, parsing rules, and an algebraic term rewriting system.

I’m developing the project from scratch and will use this blog to share progress, implementation details, design decisions, and experiments along the way.