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.
