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