julia> risch1 = RischMethod(use_algebraic_closure=false, catch_errors=false)
RischMethod(false, false)
julia> integrate((3*x-4*x^2+3*x^3)//(1+x^2), x, risch1)
-4x + 4atan(x) + (3//2)*(x^2)
julia> risch2 = RischMethod(use_algebraic_closure=true, catch_errors=false)
RischMethod(true, false)
julia> integrate((3*x-4*x^2+3*x^3)//(1+x^2), x, risch2)
ERROR: UndefVarError: `QQ` not defined in `SymbolicIntegration`
Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from.
Hint: a global variable of this name may be made accessible by importing AbstractAlgebra in the current active module Main
Hint: a global variable of this name may be made accessible by importing Nemo in the current active module Main
Stacktrace:
[1] (::SymbolicIntegration.var"#14#19")(c::Nemo.QQBarFieldElem)
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/general.jl:161
[2] _make_parent(g::SymbolicIntegration.var"#14#19", p::AbstractAlgebra.Generic.Poly{Nemo.QQBarFieldElem}, cached::Bool)
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/JZ6rk/src/Poly.jl:3279
[3] map_coefficients(g::SymbolicIntegration.var"#14#19", p::AbstractAlgebra.Generic.Poly{Nemo.QQBarFieldElem})
@ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/JZ6rk/src/Poly.jl:3292
[4] roots(f::AbstractAlgebra.Generic.Poly{Nemo.QQBarFieldElem})
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/general.jl:161
[5] Eval(t::SymbolicIntegration.SumOfLogTerms{Nemo.QQBarFieldElem, AbstractAlgebra.Generic.Poly{Nemo.QQBarFieldElem}}; real_output::Bool)
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/rational_functions.jl:222
[6] Eval
@ ~/Desktop/SymbolicIntegration.jl/src/methods/risch/rational_functions.jl:219 [inlined]
[7] #63
@ ./none:0 [inlined]
[8] iterate
@ ./generator.jl:48 [inlined]
[9] collect(itr::Base.Generator{Vector{SymbolicIntegration.SumOfLogTerms{…}}, SymbolicIntegration.var"#63#64"})
@ Base ./array.jl:791
[10] IntegrateRationalFunction(f::AbstractAlgebra.Generic.FracFieldElem{AbstractAlgebra.Generic.Poly{Nemo.QQBarFieldElem}})
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/rational_functions.jl:274
[11] Integrate(f::AbstractAlgebra.Generic.FracFieldElem{AbstractAlgebra.Generic.Poly{…}}, D::BasicDerivation{Nemo.QQBarFieldElem})
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/transcendental_functions.jl:368
[12] integrate_risch(f::SymbolicUtils.BasicSymbolic{…}, x::SymbolicUtils.BasicSymbolic{…}; useQQBar::Bool, catchNotImplementedError::Bool, catchAlgorithmFailedError::Bool)
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/frontend.jl:804
[13] integrate_risch(f::Num, x::Num; kwargs::@Kwargs{useQQBar::Bool, catchNotImplementedError::Bool, catchAlgorithmFailedError::Bool})
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods/risch/frontend.jl:769
[14] integrate_risch
@ ~/Desktop/SymbolicIntegration.jl/src/methods/risch/frontend.jl:767 [inlined]
[15] #integrate#492
@ ~/Desktop/SymbolicIntegration.jl/src/methods.jl:63 [inlined]
[16] integrate(f::Num, x::Num, method::RischMethod)
@ SymbolicIntegration ~/Desktop/SymbolicIntegration.jl/src/methods.jl:61
[17] top-level scope
@ REPL[21]:1
Some type information was truncated. Use `show(err)` to see complete types.
