|
SyFi
0.3
|
Go to the source code of this file.
Functions | |
| int | main () |
| int main | ( | ) |
Definition at line 8 of file box_ex1.cpp.
References SyFi::compare_archives(), run_tests::f, SyFi::initSyFi(), SyFi::Box::integrate(), SyFi::Box::repr(), SyFi::x, SyFi::y, and SyFi::z.
{
initSyFi(3);
ex f = x*y*z;
// integration over the reference box
ReferenceBox box;
ex repr = box.repr();
cout <<"b.repr "<<repr<<endl;
ex intf = box.integrate(f);
cout <<"intf "<<intf<<endl;
// integration over the another box
ex p0 = lst(-1.0,-1.0,-1.0);
ex p1 = lst( 1.0, 1.0, 1.0);
Box box2(p0,p1);
ex repr2 = box2.repr();
cout <<"b2.repr "<<repr<<endl;
ex intf2 = box2.integrate(f);
cout <<"intf2 "<<intf2<<endl;
// regression test
archive ar;
ar.archive_ex(repr, "repr");
ar.archive_ex(intf, "intf");
ar.archive_ex(repr2, "repr2");
ar.archive_ex(intf2, "intf2");
ofstream vfile("box_ex1.gar.v");
vfile << ar; vfile.close();
if(!compare_archives("box_ex1.gar.v", "box_ex1.gar.r")) {
cerr << "Failure!" << endl;
return -1;
}
return 0;
}