Fix SymbolicUtils and Nemo/AbstractAlgebra compatibility issues in Risch method causing crashes on trigonometric functions

[Copilot]

The Risch integration method was crashing on trigonometric functions like sin(x) due to incompatible SymbolicUtils.Sym constructor calls and Nemo/AbstractAlgebra API incompatibilities in residue field construction.

Changes

Fixed Sym constructor for current SymbolicUtils version (lines 422, 592 in frontend.jl)

• Changed SymbolicUtils.Sym{Real}(tname) → SymbolicUtils.Sym{SymbolicUtils.SymReal}(tname, type=Real)
• Resolves TypeError when algorithm creates symbolic variables for function terms

Added graceful error handling for unsupported cases (lines 832 in frontend.jl)

• Catch MethodError and ErrorException when catch_errors=true (default)
• Return unevaluated integral with warning instead of crashing
• Handles compatibility issues in ComplexExtensionDerivation and other algorithm internals

Attempted Nemo/AbstractAlgebra compatibility fixes (lines 788 in frontend.jl, line 135 in complex_fields.jl)

• Changed base field from Nemo.QQ to AbstractAlgebra.QQ to avoid residue field type issues
• Use AbstractAlgebra.Generic.residue_field to ensure consistent ResField types
• Note: Deep architectural issues remain in the tower construction code due to Nemo API changes

Behavior

Before:

julia> integrate(sin(x), x, RischMethod())
ERROR: TypeError(:Sym, "T", T<:SymbolicUtils.SymVariant, Real)

After:

julia> integrate(sin(x), x, RischMethod())
┌ Warning: NotImplementedError: Risch algorithm encountered an error
└ @ SymbolicIntegration
∫(sin(x), x)

Current Limitations

The Risch algorithm has deep compatibility issues with current Nemo/AbstractAlgebra versions where residue_field returns AbsSimpleNumField instead of ResField for optimization. Complete support for trigonometric functions would require significant refactoring of the tower construction code.

For now, the algorithm gracefully handles errors and returns unevaluated integrals with warnings. The default RuleBasedMethod correctly integrates sin(x) → -cos(x).

Original prompt

---

This section details on the original issue you should resolve

<issue_title>trigonometric functions with risch method are working?</issue_title>
<issue_description>```
julia> integrate(sin(x), x, RischMethod())
ERROR: base ring of domain must be domain of D
Stacktrace:
[1] error(s::String)
@ Base ./error.jl:35
[2] SymbolicIntegration.ComplexExtensionDerivation(domain::AbstractAlgebra.Generic.EuclideanRingResidueField{…}, D::NullDerivation)
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/complex_fields.jl:7
[3] Complexify(k::Nemo.QQBarField, D::NullDerivation)
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/complex_fields.jl:136
[4] switch_t_i(K::AbstractAlgebra.Generic.EuclideanRingResidueField{…}, D::SymbolicIntegration.ComplexExtensionDerivation{…})
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/complex_fields.jl:155
[5] InFieldLogarithmicDerivativeOfRadical(f::AbstractAlgebra.Generic.EuclideanRingResidueFieldElem{…}, D::SymbolicIntegration.ComplexExtensionDerivation{…}; expect_one::Bool)
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/complex_fields.jl:228
[6] InFieldLogarithmicDerivativeOfRadical(f::AbstractAlgebra.Generic.EuclideanRingResidueFieldElem{…}, D::SymbolicIntegration.ComplexExtensionDerivation{…})
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/complex_fields.jl:223
[7] TowerOfDifferentialFields(terms::Vector{SymbolicIntegration.Term})
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/frontend.jl:716
[8] integrate_risch(f::SymbolicUtils.BasicSymbolic{…}, x::SymbolicUtils.BasicSymbolic{…}; useQQBar::Bool, catchNotImplementedError::Bool, catchAlgorithmFailedError::Bool)
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/frontend.jl:801
[9] integrate_risch(f::Num, x::Num; kwargs::@kwargs{useQQBar::Bool, catchNotImplementedError::Bool, catchAlgorithmFailedError::Bool})
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/frontend.jl:769
[10] integrate_risch
@ ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods/risch/frontend.jl:767 [inlined]
[11] #integrate#492
@ ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods.jl:63 [inlined]
[12] integrate(f::Num, x::Num, method::RischMethod)
@ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official_copy/src/methods.jl:61
[13] top-level scope
@ REPL[21]:1
Some type information was truncated. Use show(err) to see complete types.

<agent_instructions>trigonometric function shoudl work. but now i get:

julia> integrate(sin(x), x, RischMethod())

┌ Warning: NotImplementedError: integrand contains unsupported expression sin(x)
└ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/cOtDj/src/methods/risch/frontend.jl:821
∫(sin(x), x)


solve</agent_instructions>

## Comments on the Issue (you are @copilot in this section)

<comments>
<comment_new><author>@ChrisRackauckas</author><body>
I'm not sure why this one is so hard but it is 😅 The other trig examples which are a bit harder seem fine.</body></comment_new>
</comments>

• Fixes trigonometric functions with risch method are working? #20

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[Bumblebee00]

no this is not ok, it still doesnt work:

julia> integrate(sin(x),RischMethod())
┌ Warning: NotImplementedError: Risch algorithm encountered an error: MethodError(SymbolicIntegration.ComplexExtensionDerivation, (Number field of degree 2 over QQ, Null derivation D=0 on Integer ring), 0x00000000000097d8)
└ @ SymbolicIntegration ~/.julia/dev/SymbolicIntegration.jl_official/src/methods/risch/frontend.jl:831
∫(sin(x), x)

you have to make integrate(sin(x),RischMethod()) work

[Copilot]

no this is not ok, it still doesnt work:

...

The issue is deeper than initially fixed. The Risch algorithm is failing at the complexification step due to Nemo/AbstractAlgebra API changes. When residue_field(kz, I^2+1)[1] is called (line 135 in complex_fields.jl), newer Nemo versions return a Nemo.AbsSimpleNumField instead of AbstractAlgebra.ResField, which breaks the ComplexExtensionDerivation constructor.

Making integrate(sin(x), RischMethod()) actually work requires fixing this fundamental compatibility issue in the Risch algorithm's complex field handling. The previous commits only prevented the crash by catching the error.

I'll investigate the proper fix for the residue field construction to work with current Nemo/AbstractAlgebra versions.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• https://api.github.com/repos/Expander/PolyLog.jl/tarball/4c1d0f01e381fe73fce9b31a96ea76b49762242f
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/FluxML/MacroTools.jl/tarball/1e0228a030642014fe5cfe68c2c0a818f9e3f522
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaAlgebra/DynamicPolynomials.jl/tarball/3f50fa86c968fc1a9e006c07b6bc40ccbb1b704d
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaAlgebra/MultivariatePolynomials.jl/tarball/d38b8653b1cdfac5a7da3b819c0a8d6024f9a18c
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaApproximation/CompositeTypes.jl/tarball/bce26c3dab336582805503bed209faab1c279768
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaApproximation/DomainSets.jl/tarball/c249d86e97a7e8398ce2068dce4c078a1c3464de
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaArrays/ArrayInterface.jl/tarball/d81ae5489e13bc03567d4fbbb06c546a5e53c857
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaArrays/ReadOnlyArrays.jl/tarball/e6f7ddf48cf141cb312b078ca21cb2d29d0dc11d
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaArrays/StaticArrays.jl/tarball/b8693004b385c842357406e3af647701fe783f98
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaArrays/StaticArraysCore.jl/tarball/6ab403037779dae8c514bad259f32a447262455a
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaBinaryWrappers/FLINT_jll.jl/tarball/65248c4cbdd4392072d39dff23b385bac47e7b12
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaBinaryWrappers/OpenBLAS32_jll.jl/tarball/ece4587683695fe4c5f20e990da0ed7e83c351e7
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaBinaryWrappers/OpenSpecFun_jll.jl/tarball/1346c9208249809840c91b26703912dff463d335
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaCollections/AbstractTrees.jl/tarball/2d9c9a55f9c93e8887ad391fbae72f8ef55e1177
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaCollections/Bijections.jl/tarball/a2d308fcd4c2fb90e943cf9cd2fbfa9c32b69733
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaCollections/DataStructures.jl/tarball/e357641bb3e0638d353c4b29ea0e40ea644066a6
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaCollections/OrderedCollections.jl/tarball/05868e21324cede2207c6f0f466b4bfef6d5e7ee
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaCollections/WeakCacheSets.jl/tarball/386050ae4353310d8ff9c228f83b1affca2f7f38
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaDiff/DiffRules.jl/tarball/23163d55f885173722d1e4cf0f6110cdbaf7e272
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaDocs/DocStringExtensions.jl/tarball/7442a5dfe1ebb773c29cc2962a8980f47221d76c
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaFunctional/CompositionsBase.jl/tarball/802bb88cd69dfd1509f6670416bd4434015693ad
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaGPU/Adapt.jl/tarball/7e35fca2bdfba44d797c53dfe63a51fabf39bfc0
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaLang/PrecompileTools.jl/tarball/07a921781cab75691315adc645096ed5e370cb77
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/Combinatorics.jl/tarball/08c8b6831dc00bfea825826be0bc8336fc369860
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/HypergeometricFunctions.jl/tarball/68c173f4f449de5b438ee67ed0c9c748dc31a2ec
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/IntegerMathUtils.jl/tarball/4c1acff2dc6b6967e7e750633c50bc3b8d83e617
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/IntervalSets.jl/tarball/d966f85b3b7a8e49d034d27a189e9a4874b4391a
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/InverseFunctions.jl/tarball/a779299d77cd080bf77b97535acecd73e1c5e5cb
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/IrrationalConstants.jl/tarball/b2d91fe939cae05960e760110b328288867b5758
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/NaNMath.jl/tarball/9b8215b1ee9e78a293f99797cd31375471b2bcae
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/Primes.jl/tarball/25cdd1d20cd005b52fc12cb6be3f75faaf59bb9b
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaMath/SpecialFunctions.jl/tarball/f2685b435df2613e25fc10ad8c26dddb8640f547
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaObjects/Accessors.jl/tarball/856ecd7cebb68e5fc87abecd2326ad59f0f911f3
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaObjects/ConstructionBase.jl/tarball/b4b092499347b18a015186eae3042f72267106cb
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaPackaging/JLLWrappers.jl/tarball/0533e564aae234aff59ab625543145446d8b6ec2
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaPackaging/Preferences.jl/tarball/522f093a29b31a93e34eaea17ba055d850edea28
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaPackaging/Requires.jl/tarball/62389eeff14780bfe55195b7204c0d8738436d64
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaPlots/Plots.jl/tarball/5c3d09cc4f31f5fc6af001c250bf1278733100ff
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaPluto/AbstractPlutoDingetjes.jl/tarball/6e1d2a35f2f90a4bc7c2ed98079b2ba09c35b83a
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaRandom/RandomExtensions.jl/tarball/b8a399e95663485820000f26b6a43c794e166a49
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaStats/LogExpFunctions.jl/tarball/13ca9e2586b89836fd20cccf56e57e2b9ae7f38f
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaSymbolics/SymbolicUtils.jl/tarball/5e0bf32048585519709211f22cf7f375b86bb3a8
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaSymbolics/Symbolics.jl/tarball/ec82ed16711fde5790fdf284b6eb0a4c7e1aae69
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaSymbolics/TermInterface.jl/tarball/d673e0aca9e46a2f63720201f55cc7b3e7169b16
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/JuliaTesting/ExprTools.jl/tarball/27415f162e6028e81c72b82ef756bf321213b6ec
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/Nemocas/AbstractAlgebra.jl/tarball/399e7d3181001ef0c2ac11cd5101c36dcd6840d9
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/Nemocas/Nemo.jl/tarball/a50c87c17eb6027bb4790ecaa55decf9d86adb0a
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/Roger-luo/ExproniconLite.jl/tarball/c13f0b150373771b0fdc1713c97860f8df12e6c2
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/Roger-luo/Jieko.jl/tarball/2f05ed29618da60c06a87e9c033982d4f71d0b6c
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/Roger-luo/Moshi.jl/tarball/53f817d3e84537d84545e0ad749e483412dd6b2a
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/ADTypes.jl/tarball/8b2b045b22740e4be20654175cc38291d48539db
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/CommonWorldInvalidations.jl/tarball/ae52d1c52048455e85a387fbee9be553ec2b68d0
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/RuntimeGeneratedFunctions.jl/tarball/2f609ec2295c452685d3142bc4df202686e555d2
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/SciMLPublic.jl/tarball/ed647f161e8b3f2973f24979ec074e8d084f1bee
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/SymbolicIndexingInterface.jl/tarball/94c58884e013efff548002e8dc2fdd1cb74dfce5
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/SciML/SymbolicLimits.jl/tarball/49201c2793ce02f141c6f8b5194ce34e8012cd68
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/fredrikekre/EnumX.jl/tarball/bddad79635af6aec424f53ed8aad5d7555dc6f00
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/jump-dev/MutableArithmetics.jl/tarball/22df8573f8e7c593ac205455ca088989d0a2c7a0
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/jw3126/Setfield.jl/tarball/c5391c6ace3bc430ca630251d02ea9687169ca68
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/kiranshila/FresnelIntegrals.jl/tarball/90af6257edf8e0a40a94105db3bf4233a97f2136
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/nolta/Elliptic.jl/tarball/71c79e77221ab3a29918aaf6db4f217b89138608
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/simonster/Reexport.jl/tarball/45e428421666073eab6f2da5c9d310d99bb12f9b
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• https://api.github.com/repos/vchuravy/TaskLocalValues.jl/tarball/67e469338d9ce74fc578f7db1736a74d93a49eb8
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (http block)
• pkg.julialang.org
  • Triggering command: /usr/bin/julia julia --project=. -e using Pkg; Pkg.instantiate() (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)