Mercurial > octave-nkf
annotate liboctave/Range.cc @ 8553:c7ff200e45f5
optimize range-scalar ops
| author | Jaroslav Hajek <highegg@gmail.com> |
|---|---|
| date | Wed, 21 Jan 2009 15:50:34 +0100 |
| parents | 36594d5bbe13 |
| children | 4a864c4e682d |
| 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 } |
| 7458 | 133 else if (rng_base < rng_limit && rng_inc > 0.0) |
| 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); |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
226 else |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
227 abort (); |
| 7458 | 228 } |
| 229 else if (dim != 0) | |
| 230 (*current_liboctave_error_handler) ("Range::sort: invalid dimension"); | |
| 231 | |
| 232 return retval; | |
| 233 } | |
| 234 | |
| 235 Range | |
| 236 Range::sort (Array<octave_idx_type>& sidx, octave_idx_type dim, | |
| 237 sortmode mode) const | |
| 238 { | |
| 239 Range retval = *this; | |
| 240 | |
| 241 if (dim == 1) | |
| 242 { | |
|
7463
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
243 if (mode == ASCENDING) |
| 7458 | 244 retval.sort_internal (sidx, true); |
|
7463
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
245 else if (mode == DESCENDING) |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
246 retval.sort_internal (sidx, false); |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
247 else |
|
2467639bd8c0
eliminate UNDEFINED sort mode
John W. Eaton <jwe@octave.org>
parents:
7458
diff
changeset
|
248 abort (); |
| 7458 | 249 } |
| 250 else if (dim != 0) | |
| 251 (*current_liboctave_error_handler) ("Range::sort: invalid dimension"); | |
| 252 | |
| 253 return retval; | |
| 208 | 254 } |
| 255 | |
| 3504 | 256 std::ostream& |
| 257 operator << (std::ostream& os, const Range& a) | |
| 3 | 258 { |
| 259 double b = a.base (); | |
| 260 double increment = a.inc (); | |
| 5275 | 261 octave_idx_type num_elem = a.nelem (); |
| 3 | 262 |
| 5275 | 263 for (octave_idx_type i = 0; i < num_elem-1; i++) |
| 3 | 264 os << b + i * increment << " "; |
| 265 | |
| 4791 | 266 // Prevent overshoot. See comment in the matrix_value method |
| 267 // above. | |
| 268 | |
| 269 os << (increment > 0 ? a.max () : a.min ()) << "\n"; | |
| 3 | 270 |
| 271 return os; | |
| 272 } | |
| 273 | |
| 3504 | 274 std::istream& |
| 275 operator >> (std::istream& is, Range& a) | |
| 3 | 276 { |
| 208 | 277 is >> a.rng_base; |
| 3 | 278 if (is) |
| 279 { | |
| 208 | 280 is >> a.rng_limit; |
| 3 | 281 if (is) |
| 282 { | |
| 208 | 283 is >> a.rng_inc; |
| 284 a.rng_nelem = a.nelem_internal (); | |
| 3 | 285 } |
| 286 } | |
| 287 | |
| 288 return is; | |
| 289 } | |
| 290 | |
| 2599 | 291 Range |
| 292 operator - (const Range& r) | |
| 293 { | |
| 294 return Range (-r.base (), -r.limit (), -r.inc ()); | |
| 295 } | |
| 296 | |
|
8553
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
297 Range operator + (double x, const Range& r) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
298 { |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
299 return Range (x + r.base (), x + r.limit (), r.inc ()); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
300 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
301 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
302 Range operator + (const Range& r, double x) |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
303 { |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
304 return Range (r.base () + x, r.limit () + x, r.inc ()); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
305 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
306 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
307 Range operator - (double x, const Range& r) |
|
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 return Range (x - r.base (), x - r.limit (), -r.inc ()); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
310 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
311 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
312 Range operator - (const Range& r, double x) |
|
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 return Range (r.base () - x, r.limit () - x, r.inc ()); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
315 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
316 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
317 Range operator * (double x, const Range& r) |
|
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 return Range (x * r.base (), x * r.limit (), x * r.inc ()); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
320 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
321 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
322 Range operator * (const Range& r, double x) |
|
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 return Range (r.base () * x, r.limit () * x, r.inc () * x); |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
325 } |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
326 |
|
c7ff200e45f5
optimize range-scalar ops
Jaroslav Hajek <highegg@gmail.com>
parents:
7620
diff
changeset
|
327 |
| 1546 | 328 // C See Knuth, Art Of Computer Programming, Vol. 1, Problem 1.2.4-5. |
| 329 // C | |
| 330 // C===Tolerant FLOOR function. | |
| 331 // C | |
| 332 // C X - is given as a Double Precision argument to be operated on. | |
| 333 // C It is assumed that X is represented with M mantissa bits. | |
| 334 // C CT - is given as a Comparison Tolerance such that | |
| 335 // C 0.LT.CT.LE.3-SQRT(5)/2. If the relative difference between | |
| 336 // C X and A whole number is less than CT, then TFLOOR is | |
| 337 // C returned as this whole number. By treating the | |
| 338 // C floating-point numbers as a finite ordered set note that | |
| 339 // C the heuristic EPS=2.**(-(M-1)) and CT=3*EPS causes | |
| 340 // C arguments of TFLOOR/TCEIL to be treated as whole numbers | |
| 341 // C if they are exactly whole numbers or are immediately | |
| 342 // C adjacent to whole number representations. Since EPS, the | |
| 343 // C "distance" between floating-point numbers on the unit | |
| 344 // C interval, and M, the number of bits in X'S mantissa, exist | |
| 345 // C on every floating-point computer, TFLOOR/TCEIL are | |
| 346 // C consistently definable on every floating-point computer. | |
| 347 // C | |
| 348 // C For more information see the following references: | |
| 349 // C (1) P. E. Hagerty, "More On Fuzzy Floor And Ceiling," APL QUOTE | |
| 350 // C QUAD 8(4):20-24, June 1978. Note that TFLOOR=FL5. | |
| 351 // C (2) L. M. Breed, "Definitions For Fuzzy Floor And Ceiling", APL | |
| 352 // C QUOTE QUAD 8(3):16-23, March 1978. This paper cites FL1 through | |
| 353 // C FL5, the history of five years of evolutionary development of | |
| 354 // C FL5 - the seven lines of code below - by open collaboration | |
| 355 // C and corroboration of the mathematical-computing community. | |
| 356 // C | |
| 357 // C Penn State University Center for Academic Computing | |
| 358 // C H. D. Knoble - August, 1978. | |
| 359 | |
| 360 static inline double | |
| 361 tfloor (double x, double ct) | |
| 362 { | |
| 363 // C---------FLOOR(X) is the largest integer algebraically less than | |
| 364 // C or equal to X; that is, the unfuzzy FLOOR function. | |
| 365 | |
| 366 // DINT (X) = X - DMOD (X, 1.0); | |
| 367 // FLOOR (X) = DINT (X) - DMOD (2.0 + DSIGN (1.0, X), 3.0); | |
| 368 | |
| 369 // C---------Hagerty's FL5 function follows... | |
| 370 | |
| 371 double q = 1.0; | |
| 372 | |
| 373 if (x < 0.0) | |
| 374 q = 1.0 - ct; | |
| 375 | |
| 376 double rmax = q / (2.0 - ct); | |
| 377 | |
| 378 double t1 = 1.0 + floor (x); | |
| 379 t1 = (ct / q) * (t1 < 0.0 ? -t1 : t1); | |
| 380 t1 = rmax < t1 ? rmax : t1; | |
| 381 t1 = ct > t1 ? ct : t1; | |
| 382 t1 = floor (x + t1); | |
| 383 | |
| 1555 | 384 if (x <= 0.0 || (t1 - x) < rmax) |
| 1546 | 385 return t1; |
| 386 else | |
| 387 return t1 - 1.0; | |
| 388 } | |
| 389 | |
| 390 static inline double | |
| 391 tceil (double x, double ct) | |
| 392 { | |
| 393 return -tfloor (-x, ct); | |
| 394 } | |
| 395 | |
| 3753 | 396 static inline bool |
| 397 teq (double u, double v, double ct = 3.0 * DBL_EPSILON) | |
| 398 { | |
| 399 double tu = fabs (u); | |
| 400 double tv = fabs (v); | |
| 401 | |
| 402 return fabs (u - v) < ((tu > tv ? tu : tv) * ct); | |
| 403 } | |
| 404 | |
| 5275 | 405 octave_idx_type |
| 1360 | 406 Range::nelem_internal (void) const |
| 407 { | |
| 5275 | 408 octave_idx_type retval = -1; |
| 3 | 409 |
| 3858 | 410 if (rng_inc == 0 |
| 411 || (rng_limit > rng_base && rng_inc < 0) | |
| 412 || (rng_limit < rng_base && rng_inc > 0)) | |
| 413 { | |
| 414 retval = 0; | |
| 415 } | |
| 416 else | |
| 417 { | |
| 418 double ct = 3.0 * DBL_EPSILON; | |
| 3 | 419 |
| 3858 | 420 double tmp = tfloor ((rng_limit - rng_base + rng_inc) / rng_inc, ct); |
| 421 | |
| 5275 | 422 octave_idx_type n_elt = (tmp > 0.0 ? static_cast<octave_idx_type> (tmp) : 0); |
| 398 | 423 |
| 3858 | 424 // If the final element that we would compute for the range is |
| 425 // equal to the limit of the range, or is an adjacent floating | |
| 426 // point number, accept it. Otherwise, try a range with one | |
| 427 // fewer element. If that fails, try again with one more | |
| 428 // element. | |
| 429 // | |
| 430 // I'm not sure this is very good, but it seems to work better than | |
| 431 // just using tfloor as above. For example, without it, the | |
| 432 // expression 1.8:0.05:1.9 fails to produce the expected result of | |
| 433 // [1.8, 1.85, 1.9]. | |
| 3753 | 434 |
| 3858 | 435 if (! teq (rng_base + (n_elt - 1) * rng_inc, rng_limit)) |
| 436 { | |
| 437 if (teq (rng_base + (n_elt - 2) * rng_inc, rng_limit)) | |
| 438 n_elt--; | |
| 439 else if (teq (rng_base + n_elt * rng_inc, rng_limit)) | |
| 440 n_elt++; | |
| 441 } | |
| 442 | |
| 6490 | 443 retval = (n_elt >= std::numeric_limits<octave_idx_type>::max () - 1) ? -1 : n_elt; |
| 3753 | 444 } |
| 445 | |
| 3858 | 446 return retval; |
| 3 | 447 } |
| 448 | |
| 449 /* | |
| 450 ;;; Local Variables: *** | |
| 451 ;;; mode: C++ *** | |
| 452 ;;; End: *** | |
| 453 */ |