We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 9308a70 + fd24fc9 commit bde73d1Copy full SHA for bde73d1
src/api.jl
@@ -1,10 +1,12 @@
1
##### Numeric simplification
2
3
"""
4
+```julia
5
simplify(x; rewriter=default_simplifier(),
6
threaded=false,
7
polynorm=true,
8
thread_subtree_cutoff=100)
9
+```
10
11
Simplify an expression (`x`) by applying `rewriter` until there are no changes.
12
`polynorm=true` applies `polynormalize` in the beginning of each fixpoint iteration.
0 commit comments