Function test_Exp_OP_ADD

tests/unit/test_algebraic_expression.c:597–648

}

void test_Exp_OP_ADD() {
	// Exp = A + B
	RG_Matrix A;
	RG_Matrix B;
	RG_Matrix res;
	GrB_Matrix expected;

	// A
	// 1 1
	// 0 0
	RG_Matrix_new(&A, GrB_BOOL, 2, 2);
	RG_Matrix_setElement_BOOL(A, 0, 0);
	RG_Matrix_setElement_BOOL(A, 0, 1);

	// B
	// 0 1
	// 1 1
	RG_Matrix_new(&B, GrB_BOOL, 2, 2);
	RG_Matrix_setElement_BOOL(B, 0, 1);
	RG_Matrix_setElement_BOOL(B, 1, 0);
	RG_Matrix_setElement_BOOL(B, 1, 1);

	// expected
	// 1 1
	// 1 1
	GrB_Matrix_new(&expected, GrB_BOOL, 2, 2);
	GrB_Matrix_setElement_BOOL(expected, true, 0, 0);
	GrB_Matrix_setElement_BOOL(expected, true, 0, 1);
	GrB_Matrix_setElement_BOOL(expected, true, 1, 0);
	GrB_Matrix_setElement_BOOL(expected, true, 1, 1);

	rax *matrices = raxNew();
	raxInsert(matrices, (unsigned char *)"A", strlen("A"), A, NULL);
	raxInsert(matrices, (unsigned char *)"B", strlen("B"), B, NULL);
	AlgebraicExpression *exp = AlgebraicExpression_FromString("A+B", matrices);

	// Matrix used for intermidate computations of AlgebraicExpression_Eval
	// but also contains the result of expression evaluation.
	RG_Matrix_new(&res, GrB_BOOL, 2, 2);
	AlgebraicExpression_Eval(exp, res);

	// Using the A matrix described above,
	// A + B = C.
	TEST_ASSERT(_compare_matrices(expected, res));

	raxFree(matrices);
	RG_Matrix_free(&A);
	RG_Matrix_free(&B);
	RG_Matrix_free(&res);
	GrB_Matrix_free(&expected);
	AlgebraicExpression_Free(exp);
}

void test_Exp_OP_MUL() {
	// Exp = A * I