Add derivative of integral

JuliaSymbolics · May 23, 2021 · 0dae216 · 0dae216
1 parent 0f2fe53
commit 0dae216
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/integral.jl b/src/integral.jl
@@ -10,9 +10,8 @@ end
 SymbolicUtils.promote_symtype(::Integral, x) = x
 
 function Base.show(io::IO, I::Integral)
-    print(io, "Integral(", I.x, ")")
-    print(io, "domain: ")
-    show(io, I.domain)
+    print(io, "Integral(", I.x, ", ", I.domain, ")")
 end
 
 Base.:(==)(I1::Integral, I2::Integral) = (isequal(I1.x, I2.x) && isequal(I1.domain, I2.domain))
+(D::Differential)(I::Integral{X,T}) where{X,T} = I∘D