source: trunk/test_more/log.cpp @ 3688

Last change on this file since 3688 was 3684, checked in by bradbell, 5 years ago

merge to branch: trunk
from repository: https://github.com/coin-or/CppAD
start hash code: 494270b7d9413bba508ae4944e44e33b6f7be05b
end hash code: 4f37fd28086cb8ea9d063a034b715db0621a820f

commit 4f37fd28086cb8ea9d063a034b715db0621a820f
Author: Brad Bell <bradbell@…>
Date: Sun May 10 06:56:06 2015 -0700

Automatic changes for and generated by deprecated auto-tools install process.

commit f90fc447255412bda926eac132e9472a6e611bd4
Author: Brad Bell <bradbell@…>
Date: Sun May 10 06:29:53 2015 -0700

Add log1p function.

commit 7f792b718f437458af399e1feb67006779a98706
Author: Brad Bell <bradbell@…>
Date: Sun May 10 05:25:03 2015 -0700

op_code.hpp: fix comment about Expm1 operator.

commit b4be5e4692149773b061391f8ba2957e51ab7c33
Author: Brad Bell <bradbell@…>
Date: Sun May 10 05:03:25 2015 -0700

expm1.hpp: Fix title, description, and latex \exp command.

commit 148f381814fec10c5ad4480e43f59822c2c7ef30
Author: Brad Bell <bradbell@…>
Date: Sun May 10 04:32:58 2015 -0700

Change Log -> log and remove trailing white space.

  • Property svn:keywords set to Id
File size: 3.5 KB
Line 
1/* $Id: log.cpp 3684 2015-05-10 14:01:21Z bradbell $ */
2/* --------------------------------------------------------------------------
3CppAD: C++ Algorithmic Differentiation: Copyright (C) 2003-15 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
14/*
15Two old log examples now used just for validation testing
16*/
17
18# include <cppad/cppad.hpp>
19
20namespace { // BEGIN empty namespace
21
22bool LogTestOne(void)
23{       bool ok = true;
24
25        using CppAD::log;
26        using namespace CppAD;
27
28        // independent variable vector, indices, values, and declaration
29        CPPAD_TESTVECTOR(AD<double>) U(1);
30        size_t s = 0;
31        U[s]     = 2.;
32        Independent(U);
33
34        // dependent variable vector, indices, and values
35        CPPAD_TESTVECTOR(AD<double>) Z(2);
36        size_t x = 0;
37        size_t y = 1;
38        Z[x]     = log(U[s]);
39        Z[y]     = log(Z[x]);
40
41        // define f : U -> Z and vectors for derivative calculations
42        ADFun<double> f(U, Z);
43        CPPAD_TESTVECTOR(double) v( f.Domain() );
44        CPPAD_TESTVECTOR(double) w( f.Range() );
45
46        // check values
47        ok &= NearEqual(Z[x] , log(2.),  1e-10 , 1e-10);
48        ok &= NearEqual(Z[y] , log( log(2.) ),  1e-10 , 1e-10);
49
50        // forward computation of partials w.r.t. s
51        v[s] = 1.;
52        w    = f.Forward(1, v);
53        ok &= NearEqual(w[x], 1. / U[s],          1e-10 , 1e-10); // dx/ds
54        ok &= NearEqual(w[y], 1. / (U[s] * Z[x]), 1e-10 , 1e-10); // dy/ds
55
56        // reverse computation of partials of y
57        w[x] = 0.;
58        w[y] = 1.;
59        v    = f.Reverse(1,w);
60        ok &= NearEqual(v[s], 1. / (U[s] * Z[x]), 1e-10 , 1e-10); // dy/ds
61
62        // forward computation of second partials w.r.t. s
63        v[s] = 1.;
64        w    = f.Forward(1, v);
65        v[s] = 0.;
66        w    = f.Forward(2, v);
67        ok &= NearEqual(
68                2. * w[y] ,
69                - 1. / (Z[x]*Z[x]*U[s]*U[s]) - 1. / (Z[x]*U[s]*U[s]),
70                1e-10 ,
71                1e-10
72        );
73
74        // reverse computation of second partials of y
75        CPPAD_TESTVECTOR(double) r( f.Domain() * 2 );
76        w[x] = 0.;
77        w[y] = 1.;
78        r    = f.Reverse(2, w);
79        ok &= NearEqual(
80                r[2 * s + 1] ,
81                - 1. / (Z[x]*Z[x]*U[s]*U[s]) - 1. / (Z[x]*U[s]*U[s]),
82                1e-10 ,
83                1e-10
84        );
85
86        return ok;
87}
88bool LogTestTwo(void)
89{       bool ok = true;
90
91        using CppAD::log;
92        using namespace CppAD;
93
94        // independent variable vector
95        CPPAD_TESTVECTOR(AD<double>) U(1);
96        U[0]     = 1.;
97        Independent(U);
98
99        // a temporary values
100        AD<double> x = exp(U[0]);
101
102        // dependent variable vector
103        CPPAD_TESTVECTOR(AD<double>) Z(1);
104        Z[0] = log(x);       // log( exp(u) )
105
106        // create f: U -> Z and vectors used for derivative calculations
107        ADFun<double> f(U, Z);
108        CPPAD_TESTVECTOR(double) v(1);
109        CPPAD_TESTVECTOR(double) w(1);
110
111        // check value
112        ok &= NearEqual(U[0] , Z[0],  1e-10 , 1e-10);
113
114        // forward computation of partials w.r.t. u
115        size_t j;
116        size_t p     = 5;
117        double jfac  = 1.;
118        double value = 1.;
119        v[0]         = 1.;
120        for(j = 1; j < p; j++)
121        {       jfac *= j;
122                w     = f.Forward(j, v);
123                ok &= NearEqual(jfac*w[0], value, 1e-10 , 1e-10); // d^jz/du^j
124                v[0]  = 0.;
125                value = 0.;
126        }
127
128        // reverse computation of partials of Taylor coefficients
129        CPPAD_TESTVECTOR(double) r(p);
130        w[0]  = 1.;
131        r     = f.Reverse(p, w);
132        jfac  = 1.;
133        value = 1.;
134        for(j = 0; j < p; j++)
135        {       ok &= NearEqual(jfac*r[j], value, 1e-10 , 1e-10); // d^jz/du^j
136                jfac *= (j + 1);
137                value = 0.;
138        }
139
140        return ok;
141}
142
143} // END empty namespace
144
145bool log(void)
146{       bool ok = true;
147        ok &= LogTestOne();
148        ok &= LogTestTwo();
149        return ok;
150}
Note: See TracBrowser for help on using the repository browser.