# \#metatheory

**URL:** https://discourse.julialang.org/tag/metatheory/786.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Using latest TermInterface for custom types in MetaTheory](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885)

<div class="topic-metadata">

**Author:** [@wgm](https://discourse.julialang.org/u/wgm)\
**Replies:** 2\
**Last updated:** [July 10, 2024, 10:50pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885 "2024-07-10T22:50:10Z")

</div>

Is there an example of using TermInterface v2.0 with the ale/3.0 branch of MetaTheory for working with custom types? I’m looking for something like Interfacing with Metatheory.jl · Metatheory.jl that works with the lates…

---

## [Q: Using TermInterface to set up Metatheory](https://discourse.julialang.org/t/q-using-terminterface-to-set-up-metatheory/106480)

<div class="topic-metadata">

**Author:** [@Audrius-St](https://discourse.julialang.org/u/Audrius-St)\
**Replies:** 0\
**Last updated:** [November 20, 2023, 6:22pm UTC](https://discourse.julialang.org/t/q-using-terminterface-to-set-up-metatheory/106480 "2023-11-20T18:22:43Z")

</div>

While I have been using Symbolics and SymbolicUtils for some time now , I am a novice in the use of Metatheory. My first attempt to set up Metatheory using TermInterface as described in the documentation is opened as an…

---

## [Using Metatheory.jl to simplify algebra expression](https://discourse.julialang.org/t/using-metatheory-jl-to-simplify-algebra-expression/99550)

<div class="topic-metadata">

**Author:** [@VPBML](https://discourse.julialang.org/u/VPBML)\
**Replies:** 0\
**Last updated:** [May 29, 2023, 10:25am UTC](https://discourse.julialang.org/t/using-metatheory-jl-to-simplify-algebra-expression/99550 "2023-05-29T10:25:40Z")

</div>

Hi, I am trying to use Metatheory.jl to simplify my algebra expressions (the expressions have type Expr), but did not get the results I expected. For example, when I tried to simplify the Expr :(a+(a-b)), I got :(a+(a-b…

---

## [A Recap of the state of the Symbolics ecosystem](https://discourse.julialang.org/t/a-recap-of-the-state-of-the-symbolics-ecosystem/68022)

<div class="topic-metadata">

**Author:** [@0x0f0f0f](https://discourse.julialang.org/u/0x0f0f0f)\
**Replies:** 7\
**Last updated:** [September 17, 2021, 3:52pm UTC](https://discourse.julialang.org/t/a-recap-of-the-state-of-the-symbolics-ecosystem/68022 "2021-09-17T15:52:24Z")

</div>

The introduction of TermInterface.jl has allowed for large potential in generalization of term rewriting and symbolic analysis and manipulation features. Also, it’s been a few months we’ve been talking about the integrat…

---

## [Term representation in SymbolicUtils/Symbolics -- rational polynomial form, and future changes](https://discourse.julialang.org/t/term-representation-in-symbolicutils-symbolics-rational-polynomial-form-and-future-changes/67367)

<div class="topic-metadata">

**Author:** [@shashi](https://discourse.julialang.org/u/shashi)\
**Replies:** 0\
**Last updated:** [August 30, 2021, 3:57pm UTC](https://discourse.julialang.org/t/term-representation-in-symbolicutils-symbolics-rational-polynomial-form-and-future-changes/67367 "2021-08-30T15:57:33Z")

</div>

Hi all! I wanted to post an update about the recent changes in SymbolicUtils that I’m looking forward to bug-fixing and making very good. An explanation of this representation is written up here In summary, we have …