A question was asked on Rubi's Gitter chatroom (https://gitter.im/Rule-Based-Integration/Lobby) about the difficulty of implementing the utility routines Rubi 5 uses on a host CAS; in particular the Simplify function. I posted the following response:
The Simplify function of the host CAS is not critical to Rubi 5 producing mathematically correct antiderivatives. It only affects how neat and tidy they are.
This is quite fascinating, in a previous post you mentioned a compiler for RUBI, what type of
compiler might this be; I've heard of the Fortran compiler.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 285 |
Nodes: | 16 (2 / 14) |
Uptime: | 71:57:15 |
Calls: | 6,489 |
Calls today: | 2 |
Files: | 12,096 |
Messages: | 5,275,729 |