Re: compatibility among big number of (linear) equations

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Fri, May 11, 2007 at 09:29:47AM +0000, Davide Alessio wrote:
> Hi,
> I have a (quite big) set of variables and their values (generated randomly).
> I need to know if they respect few conditions.
> 
> a_{i,j} \in {0,1};  for i \in {0, ..., 80}
>                     for j \in {0, ..., 32}
> 
> the same for b, ..., f.
> 
> and some conditions as b_{31,3} \neq 0 and so on.
> 
> I would like to use libpari. I tought about matsolve (gauss()) function, but I 
> would need a invertible matrix...

Your question is a bit vague, but maybe you want to use matinverseimage
(inverseimage in libpari) ?

Cheers,
Bill.