I've meanwhile found fractionFreeGauss! in MatrixLinearAlgebraFunctions. That seems to do what I want.
That looks like what is usually called Bareiss elimination.
Yes, exactly. Unfortunately, users might know about Bareiss, but to find fractionFreeGaus! is hard, since nowhere in the FriCAS code "bareiss" is mentioned. I think we should add it to the documentation of fractionFreeGaus! that this is the Bareiss algorithm.
'ans' is to preserve sign of determinanat. Row swap multiplies sign of determinant by -1, so we need to compensate this.
Yes, now it's clear. Would you mind if I propose a patch with some more hints in the code? (see pull request at github) https://github.com/fricas/fricas/pull/123 Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/8d7da9fe-5eaa-968f-cc3f-ff06c6bf589a%40hemmecke.org.
