Merge branch 's/enable-bench'

Author: shashi

.github/workflows/benchmark.yml renamed to .buildkite/pipeline.yml

@@ -173,4 +173,9 @@ function expand(expr, variable_type::Type=DynamicPolynomials.PolyVar{true})
     to_term(expr, to_mpoly(expr, variable_type)...)
 end
 
+## Hack to fix https://github.com/JuliaAlgebra/MultivariatePolynomials.jl/issues/169
+
+Base.promote_rule(::Type{S}, ::Type{T}) where {S<:Symbolic, T<:MP.AbstractPolynomialLike}= Any
+Base.promote_rule(::Type{T}, ::Type{S}) where {S<:Symbolic, T<:MP.AbstractPolynomialLike}= Any
+
 Base.@deprecate polynormalize(x) expand(x)

src/abstractalgebra.jl

@@ -41,12 +41,17 @@ struct Empty end
 
 (rw::Empty)(x) = nothing
 
+instrument(x, f) = f(x)
+instrument(x::Empty, f) = x
+
 struct IfElse{F, A, B}
     cond::F
     yes::A
     no::B
 end
 
+instrument(x::IfElse, f) = IfElse(x.cond, instrument(x.yes, f), instrument(x.no, f))
+
 function (rw::IfElse)(x)
     rw.cond(x) ?  rw.yes(x) : rw.no(x)
 end
@@ -67,11 +72,14 @@ function (rw::Chain)(x)
     return x
 end
 
+instrument(c::Chain, f) = Chain(map(x->instrument(x,f), c.rws))
 
 struct RestartedChain{Cs}
     rws::Cs
 end
 
+instrument(c::RestartedChain, f) = RestartedChain(map(x->instrument(x,f), c.rws))
+
 function (rw::RestartedChain)(x)
     for f in rw.rws
         y = @timer cached_repr(f) f(x)
@@ -99,6 +107,8 @@ struct Fixpoint{C}
     rw::C
 end
 
+instrument(x::Fixpoint, f) = Fixpoint(instrument(x.rw, f))
+
 function (rw::Fixpoint)(x)
     f = rw.rw
     y = @timer cached_repr(f) f(x)
@@ -116,6 +126,13 @@ struct Walk{ord, C, F, threaded}
     similarterm::F
 end
 
+function instrument(x::Walk{ord, C,F,threaded}, f) where {ord,C,F,threaded}
+    irw = instrument(x.rw, f)
+    Walk{ord, typeof(irw), typeof(x.similarterm), threaded}(irw,
+                                                            x.thread_cutoff,
+                                                            x.similarterm)
+end
+
 using .Threads
 
 function Postwalk(rw; threaded::Bool=false, thread_cutoff=100, similarterm=similarterm)
@@ -129,6 +146,8 @@ end
 struct PassThrough{C}
     rw::C
 end
+instrument(x::PassThrough, f) = PassThrough(instrument(x.rw, f))
+
 (p::PassThrough)(x) = (y=p.rw(x); y === nothing ? x : y)
 
 passthrough(x, default) = x === nothing ? default : x
@@ -170,5 +189,19 @@ function (p::Walk{ord, C, F, true})(x) where {ord, C, F}
     end
 end
 
+function instrument_io(x)
+    function io_instrumenter(r)
+        function (args...)
+            println("Rule: ", r)
+            println("Input: ", args)
+            res = r(args...)
+            println("Output: ", res)
+            res
+        end
+    end
+
+    instrument(x, io_instrumenter)
+end
+
 end # end module