@halirutan You wrote on June 24th:
The "Home" page needs a bit more content, but I would like to announce everything this week, as I'm on vacation a week later.
Simultaneously with your announcement, I would like to announce the availability of Rubi on GitHub on sci.math.symbolic, email several power users of Rubi about it, and provide a link to the GitHub site on Rubi's current homepage. Therefore, please let me know before you announce, and what user groups you plan to send it to. Also, I would appreciate your sending me a copy of the text so we can coordinate our descriptions of GitHub Rubi, including its proper name.
@AlbertRich Hey Albert. I plan 2 things for the announcement. First, I will probably ask a self-answered question on StackExchange along the line "Is there a way to automatically install Rubi" and then I'm explaining in the answer what we have set up in the past weeks. Secondly, I write a small post on my blog explaining the work we did and how to use the GitHub Rubi. This post will automatically appear in the chatroom on stackexchange, I can share it through LinkedIn (I have many connections to people with Mathematica background there) or Twitter.
@nasser1 To which URL on your page should I link from the rulebasedorganisation.org?
@AlbertRich I have updated the home page with the plot for Nassers current results and included the A/B/C/F rating system. Could you look over it and edit index.md? Maybe you want to add furhter information or sections? I wouldn't know what else to write on this home page.
@halirutan hi Patrick, the link for the main CAS integration tests page is this https://www.12000.org/my_notes/CAS_integration_tests/index.htm . This link will not change. btw, I getting close to adding another about 10,000 integrals which are almost completed. May be by end of this weekend. Sympy is so slooow and that it why it takes so much time. Many integrals in sympy time out, at 3 minutes, so a file with 3,000 integrals takes about 3-4 days to do just for sympy.
@nasser1 No hurry. I'll update the link soon. I'm currently linking directly to the rubi section. See rulebasedintegration.org
@halirutan However, the lack of the ability to download the test suite is serious deficiency. For now, couldn't we just drop in the html from Rubi's current website for downloading the test suite in Mathematica, Maple, Maxima and Axiom syntax?
@halirutan I just tried going to https://RuleBasedIntegration.org/ and got the GitHub error message to use the correct case. Can you make it so https://RuleBasedIntegration.org/ automatically goes to https://rulebasedintegration.org/? The former is a little easier to read, and MS Windows users are not use to case sensitivity.
@halirutan Now my browser (Google Chrome) is redirecting to the lower case version like yours. Apparently, Chrome sees the lower case version of the GitHub Rubi website in its History, and automatically uses that. I tried to delete my history to test my hypothesis, but to no avail...
But the first time I tried it today, I did get bounced.
@AlbertRich What really matters is if the DNS can resolve RuleBasedIntegration.org to the correct IP address. You can try https://mxtoolbox.com/DNSLookup.aspx and you'll find that it works.
What I am thinking is that the Dewey Decimal number of rules can be ascertained from the nested grouping of cells in the source files.
The current status is as follows: I'm programmatically opening all you rule-notebooks and extract the code cells an put them into the zipped .m files for the package.
This all is done in a loop until all your notebooks are processed. Now, let's assume I use a global counter
i that is increased with each code cell that I write to the .m files. At the moment of processing, I know which notebook I'm processing and which code-cell I'm processing and I have the global counter i. It is very easy to have a mapping function
reference[i_] := {notebook, codecell}
The only slightly non-trivial part is, how I can store
i in the definition of the current rule without breaking anything. But let's assume we have this solved, then I can extract i from each rule and with the help of reference I know instantly where it is defined. I know the exact cell inside the notebook.
So in the best case, I can create for each used rule in
Steps[Int[expr, var]] a button, that automatically opens the right notebook and cell where this rule is defined.
When loading a .m rule file with
Get all comments are ignored and you can never access them again.
This would eliminate the ModifyRule pass.
@halirutan Forget assuming anything about DownValues. I propose:
- Building .m files for the Rubi package like you currently do but with comments giving Reference, Derivation, Basis, and the rule's source file location. E.g. the comment "Derivation: Integration by parts"
- If loading without step information, load the .m files as Mathematica normally does. Thus each rule would be free of any step info.
- If loading with step information, parse the .m files yourself extracting the comments and rule definition. Then define the rule with all this step info. Thus each rule would only have to be defined once, and there would be no second ModifyRule pass. Yea!
Obviously this is a long term project, I am not suggesting you do now.
I assume you meant "wouldn't"...
(a) will definitely be the case. To which degree, I'm not sure.
(b) I would really like to hope this happens. But I have to say that for instance my Mathematica plugin for IntelliJ has right now 47000 downloads and it is open source from the beginning in 2013. Although I have support from various users that test things and report bugs, the one genious programmer, that knows Mathematica and Java well and jumpes on board is still missing.