Mercurial > hg > octave-nkf
annotate liboctave/Range.cc @ 8721:e9cb742df9eb
imported patch sort3.diff
| author | Jaroslav Hajek <highegg@gmail.com> |
|---|---|
| date | Wed, 11 Feb 2009 15:25:53 +0100 |
| parents | 0131fa223dbc |
| children | d2b06871afac |
| rev | line source |
|---|---|
| 3 | 1 /* |
| 2 | |
| 7017 | 3 Copyright (C) 1993, 1994, 1995, 1996, 1997, 2000, 2001, 2002, 2004, |
| 4 2005, 2007 John W. Eaton | |
| 3 | 5 |
| 6 This file is part of Octave. | |
| 7 | |
| 8 Octave is free software; you can redistribute it and/or modify it | |
| 9 under the terms of the GNU General Public License as published by the | |
| 7016 | 10 Free Software Foundation; either version 3 of the License, or (at your |
| 11 option) any later version. | |
| 3 | 12 |
| 13 Octave is distributed in the hope that it will be useful, but WITHOUT | |
| 14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 16 for more details. | |
| 17 | |
| 18 You should have received a copy of the GNU General Public License | |
| 7016 | 19 along with Octave; see the file COPYING. If not, see |
| 20 <http://www.gnu.org/licenses/>. | |
| 3 | 21 |
| 22 */ | |
| 23 | |
| 238 | 24 #ifdef HAVE_CONFIG_H |
| 1192 | 25 #include <config.h> |
| 3 | 26 #endif |
| 27 | |
| 1546 | 28 #include <cfloat> |
| 1367 | 29 |
| 3503 | 30 #include <iostream> |
| 6490 | 31 #include <limits> |
| 3 | 32 |
| 33 #include "Range.h" | |
| 7458 | 34 #include "lo-error.h" |
| 2383 | 35 #include "lo-mappers.h" |
| 7231 | 36 #include "lo-math.h" |
| 2383 | 37 #include "lo-utils.h" |
| 38 | |
| 39 bool | |
| 40 Range::all_elements_are_ints (void) const | |
| 41 { | |
| 42 // If the base and increment are ints, the final value in the range | |
| 6457 | 43 // will also be an integer, even if the limit is not. If there is one |
| 44 // or fewer elements only the base needs to be an integer | |
| 2383 | 45 |
| 46 return (! (xisnan (rng_base) || xisnan (rng_inc)) | |
| 6457 | 47 && (NINTbig (rng_base) == rng_base || rng_nelem < 1) |
| 48 && (NINTbig (rng_inc) == rng_inc || rng_nelem <= 1)); | |
| 2383 | 49 } |
| 645 | 50 |
| 51 Matrix | |
| 52 Range::matrix_value (void) const | |
| 53 { | |
| 4811 | 54 if (rng_nelem > 0 && cache.rows () == 0) |
| 645 | 55 { |
| 4810 | 56 cache.resize (1, rng_nelem); |
| 645 | 57 double b = rng_base; |
| 58 double increment = rng_inc; | |
| 5275 | 59 for (octave_idx_type i = 0; i < rng_nelem; i++) |
| 4810 | 60 cache(i) = b + i * increment; |
| 4791 | 61 |
| 62 // On some machines (x86 with extended precision floating point | |
| 63 // arithmetic, for example) it is possible that we can overshoot | |
| 64 // the limit by approximately the machine precision even though | |
| 65 // we were very careful in our calculation of the number of | |
| 66 // elements. | |
| 67 | |
| 4810 | 68 if ((rng_inc > 0 && cache(rng_nelem-1) > rng_limit) |
| 69 || (rng_inc < 0 && cache(rng_nelem-1) < rng_limit)) | |
| 70 cache(rng_nelem-1) = rng_limit; | |
| 645 | 71 } |
| 72 | |
| 4810 | 73 return cache; |
| 645 | 74 } |
| 3 | 75 |
| 4810 | 76 |
| 208 | 77 // NOTE: max and min only return useful values if nelem > 0. |
| 78 | |
| 79 double | |
| 80 Range::min (void) const | |
| 81 { | |
| 82 double retval = 0.0; | |
| 83 if (rng_nelem > 0) | |
| 84 { | |
| 85 if (rng_inc > 0) | |
| 86 retval = rng_base; | |
| 87 else | |
| 4791 | 88 { |
| 89 retval = rng_base + (rng_nelem - 1) * rng_inc; | |
| 90 | |
| 91 // See the note in the matrix_value method above. | |
| 92 | |
| 93 if (retval < rng_limit) | |
| 94 retval = rng_limit; | |
| 95 } | |
| 96 | |
| 208 | 97 } |
| 98 return retval; | |
| 99 } | |
| 100 | |
| 101 double | |
| 102 Range::max (void) const | |
| 103 { | |
| 104 double retval = 0.0; | |
| 105 if (rng_nelem > 0) | |
| 106 { | |
| 107 if (rng_inc > 0) | |
| 4791 | 108 { |
| 109 retval = rng_base + (rng_nelem - 1) * rng_inc; | |
| 110 | |
| 111 // See the note in the matrix_value method above. | |
| 112 | |
| 113 if (retval > rng_limit) | |
| 114 retval = rng_limit; | |
| 115 } | |
| 208 | 116 else |
| 117 retval = rng_base; | |
| 118 } | |
| 119 return retval; | |
| 120 } | |
| 121 | |
| 122 void | |
| 7458 | 123 Range::sort_internal (bool ascending) |
| 208 | 124 { |
| 7458 | 125 if (ascending && rng_base > rng_limit && rng_inc < 0.0) |
| 208 | 126 { |
| 127 double tmp = rng_base; | |
| 128 rng_base = min (); | |
| 129 rng_limit = tmp; | |
| 130 rng_inc = -rng_inc; | |
| 4811 | 131 clear_cache (); |
| 208 | 132 } |
| 8565 | 133 else if (! ascending && rng_base < rng_limit && rng_inc > 0.0) |
| 7458 | 134 { |
| 135 double tmp = rng_limit; | |
| 136 rng_limit = min (); | |
| 137 rng_base = tmp; | |
| 138 rng_inc = -rng_inc; | |
| 139 clear_cache (); | |
| 140 } | |
| 141 } | |
| 142 | |
| 143 void | |
| 144 Range::sort_internal (Array<octave_idx_type>& sidx, bool ascending) | |
| 145 { | |
| 146 octave_idx_type nel = nelem (); | |
| 147 | |
| 148 sidx.resize (dim_vector (1, nel)); | |
| 149 | |
| 150 octave_idx_type *psidx = sidx.fortran_vec (); | |
| 151 | |
| 152 bool reverse = false; | |
| 153 | |
| 154 if (ascending && rng_base > rng_limit && rng_inc < 0.0) | |
| 155 { | |
| 156 double tmp = rng_base; | |
| 157 rng_base = min (); | |
| 158 rng_limit = tmp; | |
| 159 rng_inc = -rng_inc; | |
| 160 clear_cache (); | |
| 161 reverse = true; | |
| 162 } | |
| 163 else if (! ascending && rng_base < rng_limit && rng_inc > 0.0) | |
| 164 { | |
| 165 double tmp = rng_limit; | |
| 166 rng_limit = min (); | |
| 167 rng_base = tmp; | |
| 168 rng_inc = -rng_inc; | |
| 169 clear_cache (); | |
| 170 reverse = true; | |
| 171 } | |
| 172 | |
| 173 octave_idx_type tmp = reverse ? nel - 1 : 0; | |
| 7467 | 174 octave_idx_type stp = reverse ? -1 : 1; |
| 7458 | 175 |
| 7467 | 176 for (octave_idx_type i = 0; i < nel; i++, tmp += stp) |
| 7458 | 177 psidx[i] = tmp; |
| 178 | |
| 179 } | |
| 180 | |
|
7620
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
181 Matrix |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
182 Range::diag (octave_idx_type k) const |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
183 { |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
184 octave_idx_type nnr = 1; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
185 octave_idx_type nnc = nelem (); |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
186 Matrix d; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
187 |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
188 if (nnr != 0) |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
189 { |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
190 octave_idx_type roff = 0; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
191 octave_idx_type coff = 0; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
192 if (k > 0) |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
193 { |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
194 roff = 0; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
195 coff = k; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
196 } |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
197 else if (k < 0) |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
198 { |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
199 roff = -k; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
200 coff = 0; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
201 } |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
202 |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
203 // Force cached matrix to be created |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
204 matrix_value (); |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
205 |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
206 octave_idx_type n = nnc + std::abs (k); |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
207 d = Matrix (n, n, Matrix::resize_fill_value ()); |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
208 for (octave_idx_type i = 0; i < nnc; i++) |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
209 d.xelem (i+roff, i+coff) = cache.xelem (i); |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
210 } |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
211 |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
212 return d; |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
213 } |
|
36594d5bbe13
Move diag function into the octave_value class
David Bateman <dbateman@free.fr>
parents:
7467
diff
changeset
|
214 |
| 7458 | 215 Range |
| 216 Range::sort (octave_idx_type dim, sortmode mode) const | |
| 217 { | |
| 218 Range retval = *this; | |
| 219 | |
| 220 if (dim == 1) | |
| 221 { | |
|
7463
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
222 if (mode == ASCENDING) |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
223 retval.sort_internal (true); |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
224 else if (mode == DESCENDING) |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
225 retval.sort_internal (false); |
| 7458 | 226 } |
| 227 else if (dim != 0) | |
| 228 (*current_liboctave_error_handler) ("Range::sort: invalid dimension"); | |
| 229 | |
| 230 return retval; | |
| 231 } | |
| 232 | |
| 233 Range | |
| 234 Range::sort (Array<octave_idx_type>& sidx, octave_idx_type dim, | |
| 235 sortmode mode) const | |
| 236 { | |
| 237 Range retval = *this; | |
| 238 | |
| 239 if (dim == 1) | |
| 240 { | |
|
7463
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
241 if (mode == ASCENDING) |
| 7458 | 242 retval.sort_internal (sidx, true); |
|
7463
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
243 else if (mode == DESCENDING) |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
244 retval.sort_internal (sidx, false); |
| 7458 | 245 } |
| 246 else if (dim != 0) | |
| 247 (*current_liboctave_error_handler) ("Range::sort: invalid dimension"); | |
| 248 | |
| 249 return retval; | |
| 208 | 250 } |
| 251 | |
|
8721
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
252 sortmode |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
253 Range::is_sorted (sortmode mode) const |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
254 { |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
255 if (rng_nelem > 1 && rng_inc < 0) |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
256 mode = (mode == ASCENDING) ? UNSORTED : DESCENDING; |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
257 else if (rng_nelem > 1 && rng_inc > 0) |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
258 mode = (mode == DESCENDING) ? UNSORTED : ASCENDING; |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
259 else |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
260 mode = mode ? mode : ASCENDING; |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
261 } |
|
e9cb742df9eb
imported patch sort3.diff
Jaroslav Hajek <highegg@gmail.com>
parents:
8589
diff
changeset
|
262 |
| 3504 | 263 std::ostream& |
| 264 operator << (std::ostream& os, const Range& a) | |
| 3 | 265 { |
| 266 double b = a.base (); | |
| 267 double increment = a.inc (); | |
| 5275 | 268 octave_idx_type num_elem = a.nelem (); |
| 3 | 269 |
| 5275 | 270 for (octave_idx_type i = 0; i < num_elem-1; i++) |
| 3 | 271 os << b + i * increment << " "; |
| 272 | |
| 4791 | 273 // Prevent overshoot. See comment in the matrix_value method |
| 274 // above. | |
| 275 | |
| 276 os << (increment > 0 ? a.max () : a.min ()) << "\n"; | |
| 3 | 277 |
| 278 return os; | |
| 279 } | |
| 280 | |
| 3504 | 281 std::istream& |
| 282 operator >> (std::istream& is, Range& a) | |
| 3 | 283 { |
| 208 | 284 is >> a.rng_base; |
| 3 | 285 if (is) |
| 286 { | |
| 208 | 287 is >> a.rng_limit; |
| 3 | 288 if (is) |
| 289 { | |
| 208 | 290 is >> a.rng_inc; |
| 291 a.rng_nelem = a.nelem_internal (); | |
| 3 | 292 } |
| 293 } | |
| 294 | |
| 295 return is; | |
| 296 } | |
| 297 | |
| 2599 | 298 Range |
| 299 operator - (const Range& r) | |
| 300 { | |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
301 return Range (-r.base (), -r.inc (), r.nelem ()); |
| 2599 | 302 } |
| 303 | |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
304 Range operator + (double x, const Range& r) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
305 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
306 return Range (x + r.base (), r.inc (), r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
307 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
308 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
309 Range operator + (const Range& r, double x) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
310 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
311 return Range (r.base () + x, r.inc (), r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
312 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
313 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
314 Range operator - (double x, const Range& r) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
315 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
316 return Range (x - r.base (), -r.inc (), r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
317 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
318 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
319 Range operator - (const Range& r, double x) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
320 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
321 return Range (r.base () - x, r.inc (), r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
322 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
323 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
324 Range operator * (double x, const Range& r) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
325 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
326 return Range (x * r.base (), x * r.inc (), r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
327 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
328 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
329 Range operator * (const Range& r, double x) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
330 { |
|
8589
0131fa223dbc
make length invariant in range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
8565
diff
changeset
|
331 return Range (r.base () * x, r.inc () * x, r.nelem ()); |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
332 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
333 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
334 |
| 1546 | 335 // C See Knuth, Art Of Computer Programming, Vol. 1, Problem 1.2.4-5. |
| 336 // C | |
| 337 // C===Tolerant FLOOR function. | |
| 338 // C | |
| 339 // C X - is given as a Double Precision argument to be operated on. | |
| 340 // C It is assumed that X is represented with M mantissa bits. | |
| 341 // C CT - is given as a Comparison Tolerance such that | |
| 342 // C 0.LT.CT.LE.3-SQRT(5)/2. If the relative difference between | |
| 343 // C X and A whole number is less than CT, then TFLOOR is | |
| 344 // C returned as this whole number. By treating the | |
| 345 // C floating-point numbers as a finite ordered set note that | |
| 346 // C the heuristic EPS=2.**(-(M-1)) and CT=3*EPS causes | |
| 347 // C arguments of TFLOOR/TCEIL to be treated as whole numbers | |
| 348 // C if they are exactly whole numbers or are immediately | |
| 349 // C adjacent to whole number representations. Since EPS, the | |
| 350 // C "distance" between floating-point numbers on the unit | |
| 351 // C interval, and M, the number of bits in X'S mantissa, exist | |
| 352 // C on every floating-point computer, TFLOOR/TCEIL are | |
| 353 // C consistently definable on every floating-point computer. | |
| 354 // C | |
| 355 // C For more information see the following references: | |
| 356 // C (1) P. E. Hagerty, "More On Fuzzy Floor And Ceiling," APL QUOTE | |
| 357 // C QUAD 8(4):20-24, June 1978. Note that TFLOOR=FL5. | |
| 358 // C (2) L. M. Breed, "Definitions For Fuzzy Floor And Ceiling", APL | |
| 359 // C QUOTE QUAD 8(3):16-23, March 1978. This paper cites FL1 through | |
| 360 // C FL5, the history of five years of evolutionary development of | |
| 361 // C FL5 - the seven lines of code below - by open collaboration | |
| 362 // C and corroboration of the mathematical-computing community. | |
| 363 // C | |
| 364 // C Penn State University Center for Academic Computing | |
| 365 // C H. D. Knoble - August, 1978. | |
| 366 | |
| 367 static inline double | |
| 368 tfloor (double x, double ct) | |
| 369 { | |
| 370 // C---------FLOOR(X) is the largest integer algebraically less than | |
| 371 // C or equal to X; that is, the unfuzzy FLOOR function. | |
| 372 | |
| 373 // DINT (X) = X - DMOD (X, 1.0); | |
| 374 // FLOOR (X) = DINT (X) - DMOD (2.0 + DSIGN (1.0, X), 3.0); | |
| 375 | |
| 376 // C---------Hagerty's FL5 function follows... | |
| 377 | |
| 378 double q = 1.0; | |
| 379 | |
| 380 if (x < 0.0) | |
| 381 q = 1.0 - ct; | |
| 382 | |
| 383 double rmax = q / (2.0 - ct); | |
| 384 | |
| 385 double t1 = 1.0 + floor (x); | |
| 386 t1 = (ct / q) * (t1 < 0.0 ? -t1 : t1); | |
| 387 t1 = rmax < t1 ? rmax : t1; | |
| 388 t1 = ct > t1 ? ct : t1; | |
| 389 t1 = floor (x + t1); | |
| 390 | |
| 1555 | 391 if (x <= 0.0 || (t1 - x) < rmax) |
| 1546 | 392 return t1; |
| 393 else | |
| 394 return t1 - 1.0; | |
| 395 } | |
| 396 | |
| 397 static inline double | |
| 398 tceil (double x, double ct) | |
| 399 { | |
| 400 return -tfloor (-x, ct); | |
| 401 } | |
| 402 | |
| 3753 | 403 static inline bool |
| 404 teq (double u, double v, double ct = 3.0 * DBL_EPSILON) | |
| 405 { | |
| 406 double tu = fabs (u); | |
| 407 double tv = fabs (v); | |
| 408 | |
| 409 return fabs (u - v) < ((tu > tv ? tu : tv) * ct); | |
| 410 } | |
| 411 | |
| 5275 | 412 octave_idx_type |
| 1360 | 413 Range::nelem_internal (void) const |
| 414 { | |
| 5275 | 415 octave_idx_type retval = -1; |
| 3 | 416 |
| 3858 | 417 if (rng_inc == 0 |
| 418 || (rng_limit > rng_base && rng_inc < 0) | |
| 419 || (rng_limit < rng_base && rng_inc > 0)) | |
| 420 { | |
| 421 retval = 0; | |
| 422 } | |
| 423 else | |
| 424 { | |
| 425 double ct = 3.0 * DBL_EPSILON; | |
| 3 | 426 |
| 3858 | 427 double tmp = tfloor ((rng_limit - rng_base + rng_inc) / rng_inc, ct); |
| 428 | |
| 5275 | 429 octave_idx_type n_elt = (tmp > 0.0 ? static_cast<octave_idx_type> (tmp) : 0); |
| 398 | 430 |
| 3858 | 431 // If the final element that we would compute for the range is |
| 432 // equal to the limit of the range, or is an adjacent floating | |
| 433 // point number, accept it. Otherwise, try a range with one | |
| 434 // fewer element. If that fails, try again with one more | |
| 435 // element. | |
| 436 // | |
| 437 // I'm not sure this is very good, but it seems to work better than | |
| 438 // just using tfloor as above. For example, without it, the | |
| 439 // expression 1.8:0.05:1.9 fails to produce the expected result of | |
| 440 // [1.8, 1.85, 1.9]. | |
| 3753 | 441 |
| 3858 | 442 if (! teq (rng_base + (n_elt - 1) * rng_inc, rng_limit)) |
| 443 { | |
| 444 if (teq (rng_base + (n_elt - 2) * rng_inc, rng_limit)) | |
| 445 n_elt--; | |
| 446 else if (teq (rng_base + n_elt * rng_inc, rng_limit)) | |
| 447 n_elt++; | |
| 448 } | |
| 449 | |
| 6490 | 450 retval = (n_elt >= std::numeric_limits<octave_idx_type>::max () - 1) ? -1 : n_elt; |
| 3753 | 451 } |
| 452 | |
| 3858 | 453 return retval; |
| 3 | 454 } |
| 455 | |
| 456 /* | |
| 457 ;;; Local Variables: *** | |
| 458 ;;; mode: C++ *** | |
| 459 ;;; End: *** | |
| 460 */ |