@@ -25,7 +25,39 @@ struct RischMethod <: AbstractIntegrationMethod
2525 end
2626end
2727
28- # Method dispatch integration
28+ """
29+ integrate(f, x, method::AbstractIntegrationMethod=RischMethod(); kwargs...)
30+
31+ Compute the symbolic integral of expression `f` with respect to variable `x`
32+ using the specified integration method.
33+
34+ # Arguments
35+ - `f`: Symbolic expression to integrate (Symbolics.Num)
36+ - `x`: Integration variable (Symbolics.Num)
37+ - `method`: Integration method to use (AbstractIntegrationMethod, default: RischMethod())
38+
39+ # Keyword Arguments
40+ - Method-specific keyword arguments are passed to the method implementation
41+
42+ # Returns
43+ - Symbolic expression representing the antiderivative (Symbolics.Num)
44+
45+ # Examples
46+ ```julia
47+ using SymbolicIntegration, Symbolics
48+ @variables x
49+
50+ # Using default Risch method
51+ integrate(x^2, x) # (1//3)*(x^3)
52+
53+ # Explicit method with options
54+ integrate(1/(x^2 + 1), x, RischMethod(use_algebraic_closure=true)) # atan(x)
55+
56+ # Method configuration
57+ risch = RischMethod(use_algebraic_closure=false, catch_errors=true)
58+ integrate(exp(x), x, risch) # exp(x)
59+ ```
60+ """
2961function integrate (f:: Symbolics.Num , x:: Symbolics.Num , method:: RischMethod ; kwargs... )
3062 # Call renamed Risch function with method options
3163 return integrate_risch (f, x;
@@ -40,6 +72,18 @@ function integrate(f::Symbolics.Num, x::Symbolics.Num; kwargs...)
4072 return integrate_risch (f, x; kwargs... )
4173end
4274
43- # Method traits
75+ """
76+ method_supports_rational(method::RischMethod)
77+
78+ Check if the integration method supports rational function integration.
79+ Returns `true` for RischMethod.
80+ """
4481method_supports_rational (method:: RischMethod ) = true
82+
83+ """
84+ method_supports_transcendental(method::RischMethod)
85+
86+ Check if the integration method supports transcendental function integration.
87+ Returns `true` for RischMethod.
88+ """
4589method_supports_transcendental (method:: RischMethod ) = true
0 commit comments