source: trunk/test_more/add.cpp @ 2794

Last change on this file since 2794 was 2506, checked in by bradbell, 7 years ago

Change Licenses: CPL-1.0 -> EPL-1.0, GPL-2.0->GPL-3.0

  • Property svn:keywords set to Id
File size: 3.4 KB
Line 
1/* $Id: add.cpp 2506 2012-10-24 19:36:49Z bradbell $ */
2/* --------------------------------------------------------------------------
3CppAD: C++ Algorithmic Differentiation: Copyright (C) 2003-12 Bradley M. Bell
4
5CppAD is distributed under multiple licenses. This distribution is under
6the terms of the
7                    Eclipse Public License Version 1.0.
8
9A copy of this license is included in the COPYING file of this distribution.
10Please visit http://www.coin-or.org/CppAD/ for information on other licenses.
11-------------------------------------------------------------------------- */
12
13/*
14Two old Add examples now used just for valiadation testing
15*/
16
17# include <cppad/cppad.hpp>
18
19namespace { // BEGIN empty namespace
20
21bool AddTestOne(void)
22{       bool ok = true;
23
24        using namespace CppAD;
25
26        // independent variable vector, indices, values, and declaration
27        CPPAD_TESTVECTOR(AD<double>) U(2);
28        size_t s = 0;
29        size_t t = 1;
30        U[s]     = 3.;
31        U[t]     = 2.;
32        Independent(U);
33
34        // dependent variable vector and indices
35        CPPAD_TESTVECTOR(AD<double>) Z(3);
36        size_t x = 0;
37        size_t y = 1;
38        size_t z = 2;
39
40        // dependent variable values
41        Z[x] = U[s]  + U[t];   // AD<double> + AD<double>
42        Z[y] = Z[x]  + 1.;     // AD<double> + double
43        Z[z] = 1.    + Z[y];   // double + AD<double>
44
45        // create f: U -> Z and vectors used for derivative calculations
46        ADFun<double> f(U, Z);
47        CPPAD_TESTVECTOR(double) v( f.Domain() );
48        CPPAD_TESTVECTOR(double) w( f.Range() );
49
50        // check function values
51        ok &= ( Z[x] == 3. + 2. );
52        ok &= ( Z[y] == 3. + 2. + 1. );
53        ok &= ( Z[z] == 1. + 3. + 2. + 1. );
54
55        // forward computation of partials w.r.t. s
56        v[s] = 1.;
57        v[t] = 0.;
58        w    = f.Forward(1, v);
59        ok &= ( w[x] == 1. );   // dx/ds
60        ok &= ( w[y] == 1. );   // dy/ds
61        ok &= ( w[z] == 1. );   // dz/ds
62
63        // reverse computation of second partials of z
64        CPPAD_TESTVECTOR(double) r( f.Domain() * 2 );
65        w[x] = 0.;
66        w[y] = 0.;
67        w[z] = 1.;
68        r    = f.Reverse(2, w);
69        ok &= ( r[2 * s + 1] == 0. );  // d^2 z / (ds ds)
70        ok &= ( r[2 * t + 1] == 0. );  // d^2 z / (ds dt)
71
72        return ok;
73}
74
75bool AddTestTwo(void)
76{       bool ok = true;
77
78        using namespace CppAD;
79
80        // independent variable vector
81        double u0 = .5;
82        CPPAD_TESTVECTOR(AD<double>) U(1);
83        U[0]      = u0; 
84        Independent(U);
85
86        AD<double> a = U[0] + 1.; // AD<double> + double
87        AD<double> b = a  + 2;    // AD<double> + int
88        AD<double> c = 3. + b;    // double     + AD<double>
89        AD<double> d = 4  + c;    // int        + AD<double>
90
91        // dependent variable vector
92        CPPAD_TESTVECTOR(AD<double>) Z(1);
93        Z[0] = d + U[0];          // AD<double> + AD<double>
94
95        // create f: U -> Z and vectors used for derivative calculations
96        ADFun<double> f(U, Z); 
97        CPPAD_TESTVECTOR(double) v(1);
98        CPPAD_TESTVECTOR(double) w(1);
99
100        // check value
101        ok &= NearEqual(Z[0] , 2 * u0 + 10,  1e-10 , 1e-10);
102
103        // forward computation of partials w.r.t. u
104        size_t j;
105        size_t p     = 5;
106        double jfac  = 1.;
107        double value = 2.;
108        v[0]         = 1.;
109        for(j = 1; j < p; j++)
110        {       jfac *= j;
111                w     = f.Forward(j, v);       
112                ok &= NearEqual(jfac*w[0], value, 1e-10 , 1e-10); // d^jz/du^j
113                v[0]  = 0.;
114                value = 0.;
115        }
116
117        // reverse computation of partials of Taylor coefficients
118        CPPAD_TESTVECTOR(double) r(p); 
119        w[0]  = 1.;
120        r     = f.Reverse(p, w);
121        jfac  = 1.;
122        value = 2.;
123        for(j = 0; j < p; j++)
124        {       ok &= NearEqual(jfac*r[j], value, 1e-10 , 1e-10); // d^jz/du^j
125                jfac *= (j + 1);
126                value = 0.;
127        }
128
129        return ok;
130}
131
132} // END empty namespace
133
134bool Add(void)
135{       bool ok = true;
136        ok &= AddTestOne();
137        ok &= AddTestTwo(); 
138        return ok;
139}
Note: See TracBrowser for help on using the repository browser.