Davide Alessio on Fri, 11 May 2007 13:39:11 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: compatibility among big number of (linear) equations

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 
> > 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,