Имелось в виду

, я думаю.
Все так же, как и для действительных - обращать методом Гаусса (возможно, на размерах 10 000 можно несколько раз применить Штрассена), эффективно перемножать элементы и минимизировать деления, ну и много низкоуровневой оптимизации. А

какого порядка?
Есть библиотека
M4RI(e), у них на сайте есть бенчмарки:
http://m4ri.sagemath.org/performance.html