Re: Linear algebra via CUP decomposition and reduction to matrix multiplication

[Peter Bruin <P.J.Bruin@math.leidenuniv.nl>]

Hello,

Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote:

> On Thu, Mar 09, 2017 at 11:02:43AM +0100, Peter Bruin wrote:
>> Hello,
>> 
>> So far I have only implemented the Flm and FlxqM variants; adding other
>> finite fields should be straightforward.  In principle it should be
>> possible to use the bb_field framework.  However, this is not the most
>> natural approach in my opinion, since the building blocks in this new
>> code are not field operations, but matrix operations (matrix addition,
>> matrix multiplication, scalar-matrix multiplication and solving
>> triangular systems).
>
> The bb_field framework was mostly added to reduce code duplication.
> We can add a new bb_ framework for CUP.

Indeed, it would probably be a good idea to add this if we ever want to
implement CUP over other fields.  How exactly to do this would require a
bit of thought; for me personally it is not really a priority at the
moment...

Peter