void ExpressionBuilderTest::test()
{
EBTerm x;
x = "x";
EBTerm y("y");
EBTerm a(1), b(4), c(8.9);
EBTerm f = pow(x,2) + pow(y,a) + 3 * y * (-a);
EBFunction G, H;
// Test using functions in terms
G((x,y)) = f;
H((x)) = -G((x,b)) + c % b;
CPPUNIT_ASSERT( std::string(H) == "-(x^2+4^1+3*4*-1)+8.9%4" );
CPPUNIT_ASSERT( G.args() == "x,y" );
// Test substitution subtleties (this would return x^x if substitution were performed sequentially, which they are not.. ..because that would be dumb!)
G((x,y)) = pow(x,y);
CPPUNIT_ASSERT( std::string(G) == "x^y" );
CPPUNIT_ASSERT( std::string(G((y,x))) == "y^x" );
// Test single bracket syntax
EBTerm z("z"), u("u"), v("v"), w("w");
G(x,y,z) = x*y*z;
H(u,v,w,x,y,z) = u+v+w+x+y+z;
CPPUNIT_ASSERT( std::string(G(a,b,c)) == "1*4*8.9" );
CPPUNIT_ASSERT( std::string(H(a,b,c,a,b,c)) == "1+4+8.9+1+4+8.9" );
CPPUNIT_ASSERT( std::string(G(a,b,c)+H(a,b,c,a,b,c)) == "1*4*8.9+1+4+8.9+1+4+8.9" );
// Test associativity
EBTerm def = x - y - z;
EBTerm left = (x - y) - z;
EBTerm right = x - (y - z);
CPPUNIT_ASSERT( std::string(def) == "x-y-z" );
CPPUNIT_ASSERT( std::string(left) == "x-y-z" );
CPPUNIT_ASSERT( std::string(right) == "x-(y-z)" );
// test comparison operators
EBTerm comp1 = (x < y) + (x > y);
EBTerm comp2 = (x <= y) + (x >= y);
EBTerm comp3 = (x == y) + (x != y);
CPPUNIT_ASSERT( std::string(comp1) == "(x<y)+(x>y)" );
CPPUNIT_ASSERT( std::string(comp2) == "(x<=y)+(x>=y)" );
CPPUNIT_ASSERT( std::string(comp3) == "(x=y)+(x!=y)" );
// test ifexpr
EBTerm if1 = ifexpr(x < 2 * y, x*x + y, y*y +x);
CPPUNIT_ASSERT( std::string(if1) == "ifexpr(x<2*y,x*x+y,y*y+x)" );
}
static void
pif()
{
ifexpr();
panic("unimplemented");
}
