Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.symbolic.independent

Topic: Rubi 3 Usage?
Replies: 7   Last Post: Aug 19, 2011 7:59 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Moony Chou

Posts: 2
Registered: 8/3/11
Rubi 3 Usage?
Posted: Aug 2, 2011 11:54 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

When running current version of Rubi 3 from http://www.apmaths.uwo.ca/~arich/ on Mathematica 8, I find the web page lacks instructions for Rubi system. I tried Rubi in following steps and failed on few simple test problems from http://www.apmaths.uwo.ca/~arich/IntegrationTestHighlights/TestResultHighlights.html

Step 0. Modify some undefined functions in Rubi: "sin"->"Sin", "Sim"->"Simplify". There still exists some unknown functions in Rubi for me @_@

Step 1. Get(the Mathematica command) rule packages and utility package just in the order listed in http://www.apmaths.uwo.ca/~arich/IntegrationRules/MathematicaNotebookFiles/MathematicaNotebookFiles.html , my code is here: http://pastebin.com/nsLM4mMk

Step 2. Use the "Int" function provided by Rubi

However, some tests, even highlights tests meets the "$IterationLimit::itlim: Iteration limit of 4096 exceeded. " and return something like "Hold[Int[Rubi`Private`v$4716, x]]", and still exceed when I set $IterationLimit to 20000. Some highlight tests we cannot run are here: http://pastebin.com/u7EP4uPJ

I wonder the failures can be caused by following reasons:
* Since the rules associate with Int are matched in order according to the order they are Geted, the Get order might essential for right results.
* Existence of some undefined functions can lead to unknown results. "Sim", "ExpnExpand" etc. are not defined anywhere, I guess something are missed transferring from Rubi 2?

Does anyone meet similar problems?

P.S. I and some of my friends are trying to bring out a symbolic integration system by integrate the Albi (our nickname for Algorithm Based Integrator) and Rubi. We are working on replace our old rule based system with Rubi 3.




Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.