Hello everyone. Here is the brief progress of Rubi module in the 10th week of GSoC period.
Last week, we were able to load all rules. Rubi has now come in a very stable and working condition. One Missing thing in the main PR was missing instructions and documentation. This week I tried my best to write instructions, so that a new user can easily get familiar with it. I have kept it really simple.
Initially, I wrote a script in Mathematica to generate downvalues in separate files. This was done till now manually, but now it's automated. Then I wrote a sympy script to generate all rules and constraints in proper files directly just by running a function.
For a more easier understanding of steps, I created `rubi_parsing_guide.md` explaining all steps.
Next thing I realised that it would be good if we create a parsing script for the tests too. Till now I used maple format. But a lot of manual things were required. So I wrote a script which directly parses tests into sympy format. All this are added properly in `rubi_parsing_guide.md`.
`init` in Rubi too was updated with proper explanation of basic structure of rules and constraints. I also updated docs of few important utility_functions.
Now a new user can easily get familiar with Rubi and working with it will be simple.