Exemple #1
0
void runTests9 (int argc, char* argv[])
{
    ExpressionListPtr pRowPermutations = Util::quickPerm(5);
    ExpressionListPtr pColPermutations = Util::quickPerm(2);
    ExpressionListPtr pVarPermutations = Util::quickPerm(1);

    ilog("row permutations");
    pRowPermutations->print();

    ilog("col permutations");
    pColPermutations->print();

    ilog("outcome permutations");
    pVarPermutations->print();

	ilog("---- p: ----");
	ExpressionPtr p = new Expression;
	p->set(0, 0, 0, 1);
	p->set(0, 1, 0, 1);
	p->set(1, 0, 0, 1);
	p->set(1, 1, 0, -1);
	p->set(2, 0, 0, 0);
	p->set(2, 1, 0, 0);
	p->set(3, 0, 0, -1);
	p->set(3, 1, 0, 1);
	p->set(4, 0, 0, -1);
	p->set(4, 1, 0, -1);
	p->printMatrix();


//-1  -1      1   1     -1   1      1  -1      0   0 
	ExpressionPtr p2 = new Expression;
	p2->set(0, 0, 0, -1);
	p2->set(0, 1, 0, 1);
	p2->set(1, 0, 0, 1);
	p2->set(1, 1, 0, 1);
	p2->set(2, 0, 0, -1);
	p2->set(2, 1, 0, 1);
	p2->set(3, 0, 0, 1);
	p2->set(3, 1, 0, -1);
	p2->set(4, 0, 0, 0);
	p2->set(4, 1, 0, 0);
	
	ilog("---- p2: ----");
	p2->printMatrix();

	p2->isBetter(p);
	
    ExpressionPtr pExp = p->findSpecialEquivalent(pRowPermutations, pColPermutations, pVarPermutations);

	ilog("---- result: ----");
	pExp->printMatrix();
	ilog("--------");
}
Exemple #2
0
bool parsePorta(ExpressionList* pList, N32 preparations,  N32 measurements)
{
    char str[0x10000];
    FILE* pF = fopen("porta.poi.ieq", "r");

    if (!pF)
    {
        errorExit("must have a porta.poi.ieq in the folder");
    }

	int dim = 0;
    while(fgets(str, sizeof(str), pF))
    {
		#ifdef _PARSE_LOG
		ilog("");
		#endif
        int nLen = strlen(str);
        char* p = str;

		XK(str[nLen - 1] == '\n');
		str[nLen - 1] = 0;
		
		char* pDim = strstr(p, "DIM = ");

		if (pDim)
		{
			pDim += 6;
			readNumber(pDim, dim);

			#ifdef _PARSE_LOG
			log("Dimension is %d:", dim);
			#endif
			continue;
		}

        if (!readChar(p, '('))
            continue;

        int nVertex;

        if (!readNumber(p, nVertex))
            errorExit("couldn't find a vertex number");

        if (!readChar(p, ')'))
            continue;

		#ifdef _PARSE_LOG
        log("%d:", nVertex);
		#endif
		
        N32 a[256];

        for (int n = 0; n < 256; ++n)
            a[n] = 0;

        ExpressionPtr pIneq = new Expression();
        pList->pushBack(pIneq);

        int varIndexMax = -1;

        while(true)
        {
            int sign;
            int ine;
            int rhs;

            if(!readBlks(p))
                errorExit("incomplet");

            if (readIne(p, ine))
            {
                if (!readNumber(p, rhs))
                    errorExit("couldn't find lrs");

				#ifdef _PARSE_LOG
                log(" rhs: %d .... %s", rhs, str);
				#endif
				
                pIneq->setRHS(rhs);
                pIneq->setIne(ine);
                pIneq->setPortaExp(str);
                break;
            }

            if (!readSign(p, sign))
                errorExit("couldn't find a sign (+/-)");

            int factor = 1;

            readNumber(p, factor);

            if (!readChar(p, 'x'))
                errorExit("couldn't find a x");

            int varIndex;

            if (!readNumber(p, varIndex))
                errorExit("couldn't find a >");

            if (varIndex > varIndexMax)
                varIndexMax = varIndex;

            N32 termState = (sign == '-') ? -factor : factor;
            //fprintf(pLog, " %dx%d", termState, varIndex);

            //TermPtr p = new Term();
            //p->setState(termState);

            //pIneq->pushBack(p);
            a[varIndex - 1] = termState;
        }

        for (int n = 0; n < dim; ++n)
        {
            TermPtr p = new Term();
            p->setState(a[n]);
			
            pIneq->set(n / measurements, n % measurements, p);

			#ifdef _PARSE_LOG
            log(" %dx%d", a[n], n);
			#endif
        }
    }

    fclose(pF);


    return true;
}
Exemple #3
0
static bool parseLRS(ExpressionList* pList, N32 preparations,  N32 measurements)
{
    static char szRepresentation[] = "H-representation";

    bool bFoundRepresentation = false;
    bool bBegin = false;

    char str[0x10000];
    FILE* pF = fopen("lrs.hf", "r");

    if (!pF)
    {
        errorExit("This program uses always uses lrs.hf as input which I couldn't find");
    }

    while(fgets(str, sizeof(str), pF))
    {
#ifdef _PARSE_LOG
        ilog("");
#endif
        int nLen = strlen(str);
        char* p = str;

        if(str[nLen - 1] == '\n')
            str[nLen - 1] = 0;

        if (*p == '#' || *p == '*')
            continue;

        if (!bFoundRepresentation)
        {
            char* pPresentation = strstr(p, szRepresentation);

            if (pPresentation)
                bFoundRepresentation = true;

            continue;
        }

        if (!bBegin)
        {
            char* pBegin = strstr(p, "begin");

            if (pBegin)
                bBegin = true;

            continue;
        }

        char* pEnd = strstr(p, "end");

        if (pEnd)
            break;

#ifdef _PARSE_LOG
        ilog("");
#endif

        N32 a[256];

        for (int n = 0; n < 256; ++n)
            a[n] = 0;

        ExpressionPtr pIneq = new Expression();
        pList->pushBack(pIneq);

        int dPlusOne = 0;

        while(true)
        {
            int ine;
            int rhs;

            N32 v = 0;

            if(!readBlks(p))
                break;

            if (*p == 0)
                break;

            if (!readNumber2(p, v))
                errorExit("error");

            a[dPlusOne] = v;

            ++dPlusOne;
        }

		// in lrs  the const is in LHS we need to change it to RHS
		
        pIneq->setRHS(a[0]); 
        pIneq->setIne(-1);

        for (int i = 1; i < dPlusOne; ++i)
        {
            TermPtr p = new Term();
            p->setState(a[i]);

			int n = i - 1;
            pIneq->set( n / measurements, n % measurements, p);

			#ifdef _PARSE_LOG
            log(" %dx%d", -a[n], n);
			#endif
        }
    }

    fclose(pF);
	

    return true;
}