Re: compatibility among big number of (linear) equations

[Davide Alessio <lists4davide@gmail.com>]

Bill Allombert <Bill.Allombert <at> math.u-bordeaux1.fr> writes:

> 
> 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.
> Your question is a bit vague, but maybe you want to use matinverseimage
> (inverseimage in libpari) ?

thanks for the reply.
Yes, I agree with you.
I would try to explain better...

I've got some random generated bits and I want to test if, after some 
manipulations, they respect some conditions.
I tought to make a big linear system of equations (one per bit, something like 
b_{i,j} = v, where v is the value  (0 or 1) and add the (few) conditions b_
{1,3} = 1) and testing if there exist a solution or not.
(If dont it means there are some contradictions and so I need to regenerate 
the random bits)

thanks in advance,
davide