yzhliu opened a new pull request #5171: [Arith] linear system and equation solver URL: https://github.com/apache/incubator-tvm/pull/5171 Co-authored-by: Sergei Grechanik <[email protected]> Linear system data structures and linear equations solver (via Smith Normal Form) this is part of [tensor level autodiff](https://discuss.tvm.ai/t/rfc-bring-in-tensor-expression-autodiff). will be used by https://github.com/apache/incubator-tvm/pull/5121 Originally implemented by @sgrechanik-h in https://github.com/apache/incubator-tvm/pull/2634 I modified a bit to make it more mathematical. @sgrechanik-h please help to check if the math is correct and whether `SuperSimplify` is required (I use `tir::Simplify` instead in this PR, I think it is only required in condition lift) @sgrechanik-h @tqchen @MarisaKirisame @junrushao1994 @hzfan Please review
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
