On Sat, May 13, 2023 at 11:11:04AM +0200, Ralf Hemmecke wrote:
> > > 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
OK
--
Waldek Hebisch
--
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/20230513140734.nrchln3aolmnxob5%40fricas.math.uni.wroc.pl.
