From ef891a34cf4aab7b17a1822e49fc661bd7e614aa Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 10 Sep 2025 11:21:01 +0000 Subject: [PATCH 1/4] Update rules count badge [skip ci] --- .github/badges/rules-count.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/badges/rules-count.json b/.github/badges/rules-count.json index c7bb5e6..b00c762 100644 --- a/.github/badges/rules-count.json +++ b/.github/badges/rules-count.json @@ -1,6 +1,6 @@ { "schemaVersion": 1, "label": "Total rules", - "message": "3399", + "message": "3400", "color": "blue" } From e9620dbd8a23cf73b8540f7bac10abfdb4ebfbd9 Mon Sep 17 00:00:00 2001 From: Bumblebee00 Date: Fri, 7 Nov 2025 22:12:37 +0100 Subject: [PATCH 2/4] remove warning "declares type variable F but does not use it" --- src/methods/risch/frontend.jl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/methods/risch/frontend.jl b/src/methods/risch/frontend.jl index a2ab675..3233620 100644 --- a/src/methods/risch/frontend.jl +++ b/src/methods/risch/frontend.jl @@ -661,8 +661,7 @@ Base.promote(x::MPolyRingElem{Nemo.QQBarFieldElem}, y::QQFieldElem) = promote(x, -function TowerOfDifferentialFields(terms::Vector{Term}) where - {T<:FieldElement, P<:MPolyRingElem{T}, F<:FracElem{P}} +function TowerOfDifferentialFields(terms::Vector{Term}) n = length(terms) MF = parent(terms[1].arg) MR = base_ring(MF) From a1dcfaad90b13560ae87041ad90554817ba3b1c7 Mon Sep 17 00:00:00 2001 From: Bumblebee00 Date: Fri, 7 Nov 2025 22:13:19 +0100 Subject: [PATCH 3/4] remove warning "Method definition expinti" --- src/methods/rule_based/general.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/methods/rule_based/general.jl b/src/methods/rule_based/general.jl index eaea312..22aedb4 100644 --- a/src/methods/rule_based/general.jl +++ b/src/methods/rule_based/general.jl @@ -2,7 +2,6 @@ # TODO extension to Symbolics? # function from SpecialFunctions.jl that are not yet registered -@register_symbolic SymbolicUtils.expinti(x) @register_symbolic SymbolicUtils.expint(nu, z) @register_symbolic SymbolicUtils.gamma(x, y) @register_symbolic SymbolicUtils.sinint(x) From e0983256973b8422d6d5e19de484d1b745577f0f Mon Sep 17 00:00:00 2001 From: Bumblebee00 Date: Fri, 7 Nov 2025 22:23:58 +0100 Subject: [PATCH 4/4] removed other special function registration (it's already done in Symbolics.jl) --- src/methods/rule_based/general.jl | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) diff --git a/src/methods/rule_based/general.jl b/src/methods/rule_based/general.jl index 22aedb4..8f554f0 100644 --- a/src/methods/rule_based/general.jl +++ b/src/methods/rule_based/general.jl @@ -1,16 +1,15 @@ # ===== Special functions from a lot of packages -# TODO extension to Symbolics? - -# function from SpecialFunctions.jl that are not yet registered -@register_symbolic SymbolicUtils.expint(nu, z) -@register_symbolic SymbolicUtils.gamma(x, y) -@register_symbolic SymbolicUtils.sinint(x) -@register_symbolic SymbolicUtils.cosint(x) -# other from SpecialFunctions.jl used: -# SymbolicUtils.gamma(x) -# SymbolicUtils.loggamma -# SymbolicUtils.erfi -# SymbolicUtils.erf + +# function from SpecialFunctions.jl used: +# SpecialFunctions.expinti(x) +# SpecialFunctions.expint(nu, z) +# SpecialFunctions.gamma(x, y) +# SpecialFunctions.sinint(x) +# SpecialFunctions.cosint(x) +# SpecialFunctions.gamma(x) +# SpecialFunctions.loggamma +# SpecialFunctions.erfi +# SpecialFunctions.erf using Elliptic @register_symbolic Elliptic.F(phi, m) # incomplete first kind