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)
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?