source: trunk/test_more/mul.cpp @ 2354

Last change on this file since 2354 was 1370, checked in by bradbell, 11 years ago

trunk: Fix svn_add_id.sh and use it set Id property for some missed files.

  • Property svn:keywords set to Id
File size: 4.2 KB
Line 
1/* $Id: mul.cpp 1370 2009-05-31 05:31:50Z bradbell $ */
2/* --------------------------------------------------------------------------
3CppAD: C++ Algorithmic Differentiation: Copyright (C) 2003-07 Bradley M. Bell
4
5CppAD is distributed under multiple licenses. This distribution is under
6the terms of the
7                    Common 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 Mul examples now used just for valiadation testing
15*/
16# include <cppad/cppad.hpp>
17
18namespace { // BEGIN empty namespace
19
20bool MulTestOne(void)
21{       bool ok = true;
22
23        using namespace CppAD;
24
25        // independent variable vector, indices, values, and declaration
26        CPPAD_TEST_VECTOR< AD<double> > U(2);
27        size_t s = 0;
28        size_t t = 1;
29        U[s]     = 3.;
30        U[t]     = 2.;
31        Independent(U);
32
33        // assign some parameters
34        AD<double> zero = 0.;
35        AD<double> one  = 1.;
36
37        // dependent variable vector and indices
38        CPPAD_TEST_VECTOR< AD<double> > Z(5);
39        size_t x = 0;
40        size_t y = 1;
41        size_t z = 2;
42        size_t u = 3;
43        size_t v = 4;
44
45        // assign the dependent variables
46        Z[x] = U[s] * U[t];   // AD<double> * AD<double>
47        Z[y] = Z[x] * 4.;     // AD<double> *    double
48        Z[z] = 4.   * Z[y];   //    double  * AD<double>
49        Z[u] =  one * Z[z];   // multiplication by parameter equal to one
50        Z[v] = zero * Z[z];   // multiplication by parameter equal to zero
51
52        // check multipilcation by zero results in a parameter
53        ok &= Parameter(Z[v]);
54
55        // create f: U -> Z and vectors used for derivative calculations
56        ADFun<double> f(U, Z);
57        CPPAD_TEST_VECTOR<double> q( f.Domain() );
58        CPPAD_TEST_VECTOR<double> r( f.Range() );
59
60        // check parameter flag
61        ok &= f.Parameter(v);
62
63        // check values
64        ok &= ( Z[x] == 3. * 2. );
65        ok &= ( Z[y] == 3. * 2. * 4. );
66        ok &= ( Z[z] == 4. * 3. * 2. * 4. );
67        ok &= ( Z[u] == Z[z] );
68        ok &= ( Z[v] == 0. );
69
70        // forward computation of partials w.r.t. s
71        q[s] = 1.;
72        q[t] = 0.;
73        r    = f.Forward(1, q);
74        ok &= ( r[x] == U[t] );           // dx/ds     
75        ok &= ( r[y] == U[t] * 4. );      // dy/ds
76        ok &= ( r[z] == 4. * U[t] * 4. ); // dz/ds
77        ok &= ( r[u] == r[z] );           // du/ds
78        ok &= ( r[v] == 0. );             // dv/ds
79
80        // reverse computation of second partials of z
81        CPPAD_TEST_VECTOR<double> d2( f.Domain() * 2 );
82        r[x] = 0.;
83        r[y] = 0.;
84        r[z] = 1.;
85        r[u] = 0.;
86        r[v] = 0.;
87        d2   = f.Reverse(2, r);
88
89        // check second order partials
90        ok &= ( d2[2 * s + 1] == 0. );             // d^2 z / (ds ds)
91        ok &= ( d2[2 * t + 1] == 4. * 4. );        // d^2 z / (ds dt)
92
93        return ok;
94}
95
96bool MulTestTwo(void)
97{       bool ok = true;
98
99        using namespace CppAD;
100
101        // independent variable vector
102        double u0 = .5;
103        CPPAD_TEST_VECTOR< AD<double> > U(1);
104        U[0]      = u0;
105        Independent(U);
106
107        AD<double> a = U[0] * 1.; // AD<double> * double
108        AD<double> b = a  * 2;    // AD<double> * int
109        AD<double> c = 3. * b;    // double     * AD<double>
110        AD<double> d = 4  * c;    // int        * AD<double>
111
112        // dependent variable vector
113        CPPAD_TEST_VECTOR< AD<double> > Z(1);
114        Z[0] = U[0] * d;          // AD<double> * AD<double>
115
116        // create f: U -> Z and vectors used for derivative calculations
117        ADFun<double> f(U, Z); 
118        CPPAD_TEST_VECTOR<double> v(1);
119        CPPAD_TEST_VECTOR<double> w(1);
120
121        // check value
122        ok &= NearEqual(Value(Z[0]) , u0*4*3*2*u0,  1e-10 , 1e-10);
123
124        // forward computation of partials w.r.t. u
125        size_t j;
126        size_t p     = 5;
127        double jfac  = 1.;
128        v[0]         = 1.;
129        for(j = 1; j < p; j++)
130        {       double value;
131                if( j == 1 )
132                        value = 48. * u0;
133                else if( j == 2 )
134                        value = 48.;
135                else    value = 0.;
136
137                jfac *= j;
138                w     = f.Forward(j, v);       
139                ok &= NearEqual(jfac*w[0], value, 1e-10 , 1e-10); // d^jz/du^j
140                v[0]  = 0.;
141        }
142
143        // reverse computation of partials of Taylor coefficients
144        CPPAD_TEST_VECTOR<double> r(p); 
145        w[0]  = 1.;
146        r     = f.Reverse(p, w);
147        jfac  = 1.;
148        for(j = 0; j < p; j++)
149        {       double value;
150                if( j == 0 )
151                        value = 48. * u0;
152                else if( j == 1 )
153                        value = 48.;
154                else    value = 0.;
155
156                ok &= NearEqual(jfac*r[j], value, 1e-10 , 1e-10); // d^jz/du^j
157                jfac *= (j + 1);
158        }
159
160        return ok;
161}
162
163} // END empty namespace
164
165bool Mul(void)
166{       bool ok = true;
167        ok &= MulTestOne();
168        ok &= MulTestTwo(); 
169        return ok;
170}
Note: See TracBrowser for help on using the repository browser.