Skip to content

Porting Rubi Integration rules to Symja

Ax Kr edited this page Aug 26, 2018 · 12 revisions

From the Rubi website:

Rubi is an extensive system of symbolic integration rules that can be systematically applied to determine the antiderivative of a wide variety of mathematical expressions. Organized as a decision tree based on the form of the integrand, the 6600+ rules Rubi uses can be viewed in human-readable form or downloaded in machine-readable form.

The Rubi converter programs are maintained in this project: github.com/axkr/Rubi-1.

The converter include 2 Java programs which generate Java files for the Symja package org.matheclipse.core.integrate.rubi

  • the converter ConvertRubi.java for converting the Rubi integration rules /Rubi/RubiRules4.16.0_FullLHS.m into Java source codes IntRuleXXX (XXX counter for generated source files).
  • the converter ConvertRubiUtilityFunctions.java for converting the Rubi utility function rules /Rubi/IntegrationUtilityFunctions.m into Java source codes UtilityFunctionsXXX (XXX counter for generated source files).

The generated rules for the package org.matheclipse.core.integrate.rubi are loaded in the static initializer part of the F.class.

Clone this wiki locally