Monday, August 13, 2012

Unit test for symbolic differentiation

This week Yingfu started developing unit test cases for the symbolic differentiation implementation in Acumen.  Some examples are shown below:
dif("2*x^2","x")  should be (parseExpr("4*x"))
dif("cos(x)","x")  should be (parseExpr("-sin(x)"))
dif("x^2/(x+1)","x") should be (parseExpr("(2*x*(x+1)-x^2)/(x+1)^2"))
dif("x^x","x") should be (parseExpr("x^x*(log(x)+1)"))

Coming work will include the old property-based test cases.  Anita and Yingfu continued working on the paper about Acumen3D and built a comparison table with other simulation tools including LabView, Simulink and Modelica.