Skip to content

Commit 5ae6d53

Browse files
authored
Update integrationRules.md
1 parent 2da788c commit 5ae6d53

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

integrationRules.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ Rubi systematically applies precisely defined rules to efficiently integrate lar
44

55
A zip file containing all the rule files organized in a hierarchical directory structure is also available for downloading by clicking on <a href="PdfRuleFiles/Rubi-4.16.1.0.zip">PDF rule files</a> or <a href="NotebookRuleFiles/Rubi-4.16.1.0.zip">Notebook rule files</a>.
66

7-
When displaying integration steps, the rule number of each rule applied can be shown as described in the "Displaying integration steps" section of [Using Rubi](https://rulebasedintegration.org/usingRubi.html). To see the numbers of the rules defined in each of the rule files, click on <a href="PdfRuleFiles/Rubi 4.16.1 Integration Rule Index.pdf">Integration Rule Index</a>. To download the rule index as a notebook file, click on <a href="NotebookRuleFiles/Rubi 4.16.1 Integration Rule Index.nb">Integration Rule Index File</a>.
7+
When displaying integration steps, the rule number of each rule applied can be shown as described in the "Displaying integration steps" section of [Using Rubi](https://rulebasedintegration.org/usingRubi.html). To see the numbers of the rules defined in each of the rule files, click on <a href="PdfRuleFiles/Rubi 4.16.1 Integration Rule Index.pdf">Integration Rule Index</a>. To download the rule index as a notebook file, click on <a href="NotebookRuleFiles/Rubi 4.16.1 Integration Rule Index.nb">Integration Rule Index File</a>. Once you know the file a rule is defined in, it is a relatively simple matter to do a text search for it.
88

99
The rules in the files are displayed in standard, 2-dimensional mathematical notation, and followed by the equivalent Mathematica program code. Comments preceding many of the rules document them as follows:
1010

0 commit comments

Comments
 (0)