Add rule based integration method by Bumblebee00 · Pull Request #12 · JuliaSymbolics/SymbolicIntegration.jl

Bumblebee00 · 2025-08-27T09:52:15Z

work in progress

…d_rules function

…egrable result

ChrisRackauckas · 2025-09-09T05:00:48Z

+@register_symbolic SymbolicUtils.expinti(x)
+@register_symbolic SymbolicUtils.expint(nu, z)
+@register_symbolic SymbolicUtils.gamma(x, y)
+@register_symbolic SymbolicUtils.sinint(x)
+@register_symbolic SymbolicUtils.cosint(x)


Just add to symbolics

ChrisRackauckas · 2025-09-09T05:01:04Z

@@ -0,0 +1,247 @@
+using Symbolics


Suggested change

using Symbolics

usings at top level

ChrisRackauckas · 2025-09-09T05:01:22Z

@@ -0,0 +1,119 @@
+include("string_manipulation_helpers.jl")


includes at top level

ChrisRackauckas · 2025-09-09T08:52:34Z

+
+
+
+
+
+
+


Suggested change

ChrisRackauckas · 2025-09-09T08:53:24Z

+
+
+
+
+
+
+


Suggested change

Bumblebee00 · 2025-09-09T09:10:36Z

okay I removed all that stuff from the README and moved it to the documentation. The documentation is still messy, I want to improve it but I need some time to write it properly and now I need to go. But the README should be ready, tell me if you like it.

ChrisRackauckas · 2025-09-09T09:15:28Z

Okay to get things merged here, let's split this into now vs follow ups:

Open an issue about localizing the verbosity implementation and making it thread-safe. I can probably handle this in a follow up.
Moving the registrations (I can do that)
Making sure nothing is printed when verbosity is turned off

ChrisRackauckas · 2025-09-09T09:16:42Z

        verbose=method.verbose, use_gamma=method.use_gamma, kwargs...)
 end

+<<<<<<< HEAD


ChrisRackauckas

If tests pass I think this is reasonable to merge now. Of course, still much to do, but we can take the next steps in stages.

ChrisRackauckas · 2025-09-09T09:18:47Z

Looks like some test failures.

Bumblebee00 · 2025-09-09T14:52:08Z

yes the tests were failing because the includes were in the wrong order. I didn't think order mattered but apparently it does

Bumblebee00 · 2025-09-09T15:45:54Z

sorry, now should work

Bumblebee00 · 2025-09-11T10:26:26Z

Moving the registrations (I can do that)

@ChrisRackauckas I moved the registrations to Symbolics.jl with this pr JuliaSymbolics/Symbolics.jl#1642 , I only moved there the ones definied in SymboliUtils, and not the ones definied in the packages Elliptic, HypergeometricFunctions, PolyLog and FresnelIntegrals, because they are not imported by Symbolics

ChrisRackauckas · 2025-09-11T11:14:37Z

and not the ones definied in the packages Elliptic, HypergeometricFunctions, PolyLog and FresnelIntegrals, because they are not imported by Symbolics

Those extensions could all be in Symbolics. Basically the code that is here could just copy-paste move to be extensions there.

Bumblebee00 added 30 commits August 27, 2025 10:58

translated file 1_1_2_2

9999351

fixed bug in rule 9_1_12_1

aebf2e6

added 55 rules from file 1_1_2_3

d82394e

improved rule 9_1_12 with sesgment matcher

4faa2f8

commented IntBinomialQ rules

cd43c01

added 67 rules from file 1_1_2_4

6cc141f

fixed rule 9_1_12

d66c3be

added tests for rules 1_1_2_4

aa55dca

re added rules 1_1_3_1 (rules for atan)

20279a8

fixed tests

cfd4282

tmp

6e027a6

removed nested conditions

4b1496a

added support for variable names ending with a number

df175a7

added 100 rules from file 1_1_3_2

914835c

added exponential rules from file 2_1

2d8b6e8

added loading info printout to terminal with cool colors to the reloa…

34660b8

…d_rules function

added file rules file 2.2

590f735

added almost all rules from file 2.3

7305d97

fixed const bug

4e76fe9

added function to reload rules from only one file (is time saving)

42b9d0d

removed use_gamma function

9b97403

updated readme with contributing section

17810ee

added two integrand simplification rules

f556f92

added first logarithm rule file

c3344a9

added rule file 3_1_2

37f4cd0

fixed problem with E^ and Exp in file 2.3

298a290

refactored rules translator and added autocomment to rules with unint…

dec854d

…egrable result

added PolyLog package as dependency for li function

5bc1e6f

added some of the rules from file 3.1.3 (IntHide and BinomialQ missing)

9a81502

addded tests for rules 3_1_3

98ec6c8

ChrisRackauckas reviewed Sep 9, 2025

View reviewed changes

ChrisRackauckas added 7 commits September 9, 2025 04:47

Update src/methods.jl

81a6b74

Update LICENSE

7db7cff

Update .github/workflows/ci.yml

809b007

Update .github/workflows/ci.yml

6ac197e

Update .github/workflows/ci.yml

5a5aa7e

Update src/methods.jl

3b9355f

Update src/methods.jl

35ce25f

ChrisRackauckas reviewed Sep 9, 2025

View reviewed changes

Comment thread src/methods.jl Outdated

Comment on lines +43 to +49

Copy link
Copy Markdown

Member

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change

ChrisRackauckas reviewed Sep 9, 2025

View reviewed changes

Comment thread src/methods.jl Outdated

Comment on lines +42 to +48

Copy link
Copy Markdown

Member

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change

Bumblebee00 added 2 commits September 9, 2025 10:56

implemented review suggestions

81826c2

moved information from redmen to documentation

f7ab23d

ChrisRackauckas reviewed Sep 9, 2025

View reviewed changes

ChrisRackauckas approved these changes Sep 9, 2025

View reviewed changes

fixed order of includes

274e0aa

fixed again order of includes

a5419e9

Bumblebee00 added 2 commits September 9, 2025 18:49

improved documentation

2c0c425

fix typo

8344d68

ChrisRackauckas merged commit 5af026d into JuliaSymbolics:main Sep 10, 2025
7 of 11 checks passed

This was referenced Sep 10, 2025

fixed issue 14 #15

Closed

bad handling of default options for risch method #14

Closed

Conversation

Bumblebee00 commented Aug 27, 2025

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

Bumblebee00 commented Sep 9, 2025

Uh oh!

ChrisRackauckas commented Sep 9, 2025

Uh oh!

ChrisRackauckas Sep 9, 2025

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas left a comment

Choose a reason for hiding this comment

Uh oh!

ChrisRackauckas commented Sep 9, 2025

Uh oh!

Bumblebee00 commented Sep 9, 2025

Uh oh!

Bumblebee00 commented Sep 9, 2025

Uh oh!

Uh oh!

Bumblebee00 commented Sep 11, 2025

Uh oh!

ChrisRackauckas commented Sep 11, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants