It's most likely based on the Poor Man's Integrator (amongst other tricks)
https://mathoverflow.net/questions/67727/the-easiest-symboli...
Treasure trove for people into this sort of thing https://www.researchgate.net/profile/Robert-Dr-Kragler
https://mathoverflow.net/questions/67727/the-easiest-symboli...
Treasure trove for people into this sort of thing https://www.researchgate.net/profile/Robert-Dr-Kragler
https://github.com/KhiCAS/ti-ce-giac/blob/main/kintg.cc#L288...
https://github.com/tommyb3ll/ti-ce-giac https://github.com/tommyb3ll/ti-ce-giac/blob/main/kintg.cc#L...
why do you think it's unlikely? if KhiCAS does it, why wouldn't this fork?
Parts of it looked very much like pmint's core tactic of matching coefficients (given a form)