Skip to content
#

simplification

Star

Here are 64 public repositories matching this topic...

Language: All
Filter by language
All 64 Python 14 Java 10 C++ 9 C# 4 HTML 3 JavaScript 3 C 2 Go 2 Jupyter Notebook 2 Lua 2
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

HarrisonGrodin / Simplify.jl

Star
Open

Named rules

HarrisonGrodin
HarrisonGrodin commented Aug 14, 2018

We should be able to attach names to rules, so that normalization steps (and error messages?) can be better understood by users. For example:

normalize(@term(diff(x + y, x)))
 - @term(diff(x,x) + diff(y,x)) by sum rule in differentiation
 - @term(one(x) + diff(y, x)) by linear rule of differentiation
 - @term(1 + diff(y, x)) by multiplicative identity of a number
 - @term(1 + zero(x))
Read more
feature good first issue

Improve this page

Add a description, image, and links to the simplification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the simplification topic, visit your repo's landing page and select "manage topics."

Learn more