we have 线性代数的矩阵算法, just we did not call it Gaussian elimination at the time because Gauss was only born 2000 years later.
逻辑 etc wanted to defeat 九章, but they did not have the weapon, because 九章 is truth, and truth can not be defeated.
but they did have one thing, Euclid's Elements, which they had no idea of how to use. even they had known how to use it, still Elements and Nine Chapters would only shake hands and compliment each other.