GNU Octave 10.1.0
A high-level interpreted language, primarily intended for numerical computations, mostly compatible with Matlab
 
Loading...
Searching...
No Matches
Array-util.cc
Go to the documentation of this file.
1////////////////////////////////////////////////////////////////////////
2//
3// Copyright (C) 2003-2025 The Octave Project Developers
4//
5// See the file COPYRIGHT.md in the top-level directory of this
6// distribution or <https://octave.org/copyright/>.
7//
8// This file is part of Octave.
9//
10// Octave is free software: you can redistribute it and/or modify it
11// under the terms of the GNU General Public License as published by
12// the Free Software Foundation, either version 3 of the License, or
13// (at your option) any later version.
14//
15// Octave is distributed in the hope that it will be useful, but
16// WITHOUT ANY WARRANTY; without even the implied warranty of
17// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18// GNU General Public License for more details.
19//
20// You should have received a copy of the GNU General Public License
21// along with Octave; see the file COPYING. If not, see
22// <https://www.gnu.org/licenses/>.
23//
24////////////////////////////////////////////////////////////////////////
25
26#if defined (HAVE_CONFIG_H)
27# include "config.h"
28#endif
29
30#include "Array-util.h"
31#include "lo-error.h"
32#include "oct-locbuf.h"
33
34bool
36 const dim_vector& dimensions)
37{
38 bool retval = true;
39
40 int n = ra_idx.numel ();
41
42 if (n == dimensions.ndims ())
43 {
44 for (int i = 0; i < n; i++)
45 {
46 if (ra_idx(i) < 0 || ra_idx(i) >= dimensions(i))
47 {
48 retval = false;
49 break;
50 }
51 }
52 }
53 else
54 retval = false;
55
56 return retval;
57}
58
59void
61 int start_dimension)
62{
63 ra_idx(start_dimension)++;
64
65 int n = ra_idx.numel () - 1;
66 int nda = dimensions.ndims ();
67
68 for (int i = start_dimension; i < n; i++)
69 {
70 if (ra_idx(i) < (i < nda ? dimensions(i) : 1))
71 break;
72 else
73 {
74 ra_idx(i) = 0;
75 ra_idx(i+1)++;
76 }
77 }
78}
79
82{
83 octave_idx_type retval (-1);
84
85 int n = idx.numel ();
86
87 if (n > 0)
88 {
89 retval = idx(--n);
90
91 while (--n >= 0)
92 {
93 retval *= dims(n);
94
95 retval += idx(n);
96 }
97 }
98 return retval;
99}
100
103{
104 octave_idx_type retval = 0;
105
106 for (octave_idx_type i = 0; i < ra_idx.numel (); i++)
107 {
108 if (ra_idx(i) == 1)
109 retval++;
110 }
111
112 return retval;
113}
114
115bool
117{
118 bool retval = true;
119
120 int n = dim.ndims ();
121
122 if (n == 0)
123 retval = false;
124 else
125 {
126 for (int i = 0; i < n; i++)
127 {
128 if (dim(i) != 1)
129 {
130 retval = false;
131
132 break;
133 }
134 }
135 }
136 return retval;
137}
138
139bool
141{
142 int m = 0;
143 int n = dim.ndims ();
144
145 if (n == 0)
146 m = 2;
147 else
148 {
149 for (int i = 0; i < n; i++)
150 if (dim(i) > 1)
151 m++;
152 else if (dim(i) < 1)
153 m += 2;
154 }
155
156 return (m < 2);
157}
158
159bool
161{
162 bool retval = false;
163
164 for (octave_idx_type i = 0; i < arr.numel (); i++)
165 {
166 if (arr (i) == 1)
167 {
168 retval = true;
169
170 break;
171 }
172 }
173 return retval;
174}
175
178{
179 if (n < 0)
180 octave::err_invalid_index (n, 1, 1);
181 if (n >= dims.numel ())
182 octave::err_index_out_of_range (1, 1, n+1, dims.numel (), dims);
183
184 return n;
185}
186
189{
190 if (i < 0)
191 octave::err_invalid_index (i, 2, 1);
192 if (j < 0)
193 octave::err_invalid_index (j, 2, 2);
194 if (i >= dims(0))
195 octave::err_index_out_of_range (2, 1, i+1, dims(0), dims);
196 if (j >= dims.numel (1))
197 octave::err_index_out_of_range (2, 2, j+1, dims.numel (1), dims);
198
199 return j*dims(0) + i;
200}
201
204 const dim_vector& dims)
205{
206 if (i < 0)
207 octave::err_invalid_index (i, 3, 1);
208 if (j < 0)
209 octave::err_invalid_index (j, 3, 2);
210 if (k < 0)
211 octave::err_invalid_index (k, 3, 3);
212 if (i >= dims(0))
213 octave::err_index_out_of_range (3, 1, i+1, dims(0), dims);
214 if (j >= dims(1))
215 octave::err_index_out_of_range (3, 2, j+1, dims(1), dims);
216 if (k >= dims.numel (2))
217 octave::err_index_out_of_range (3, 3, k+1, dims.numel (2), dims);
218
219 return (k*dims(1) + j)*dims(0) + i;
220}
221
224{
225 int nd = ra_idx.numel ();
226 const dim_vector dv = dims.redim (nd);
227 for (int d = 0; d < nd; d++)
228 {
229 if (ra_idx(d) < 0)
230 octave::err_invalid_index (ra_idx(d), nd, d+1);
231 if (ra_idx(d) >= dv(d))
232 octave::err_index_out_of_range (nd, d+1, ra_idx(d)+1, dv(d), dims);
233 }
234
235 return dv.compute_index (ra_idx.data ());
236}
237
240{
241 Array<octave_idx_type> retval (a.dims ());
242
243 for (octave_idx_type i = 0; i < a.numel (); i++)
244 retval(i) = a(i).elem (0);
245
246 return retval;
247}
248
250conv_to_array (const octave::idx_vector *tmp, const octave_idx_type len)
251{
253
254 for (octave_idx_type i = 0; i < len; i++)
255 retval(i) = tmp[i];
256
257 return retval;
258}
259
261freeze (Array<octave::idx_vector>& ra_idx, const dim_vector& dimensions, int resize_ok)
262{
263 dim_vector retval;
264
265 int n = ra_idx.numel ();
266
267 liboctave_panic_unless (n == dimensions.ndims ());
268
269 retval.resize (n);
270
271 static const char *tag[3] = { "row", "column", nullptr };
272
273 for (int i = 0; i < n; i++)
274 retval(i) = ra_idx(i).freeze (dimensions(i), tag[i < 2 ? i : 2],
275 resize_ok);
276
277 return retval;
278}
279
280bool
282{
283 int n = dv.ndims ();
284
285 bool found_first = false;
286
287 for (int i = 0; i < n; i++)
288 {
289 if (dv(i) != 1)
290 {
291 if (! found_first)
292 found_first = true;
293 else
294 return false;
295 }
296 }
297
298 return true;
299}
300
301// FIXME: Deprecated in Octave 9.
302bool
304{
305 octave_unused_parameter (ra_idx);
306
307 // idx_vector objects are always valid once constructed
308 return true;
309}
310
311bool
313{
314 bool retval = false;
315
317
318 for (octave_idx_type i = 0; i < n; i++)
319 {
320 if (ra_idx(i).orig_empty ())
321 {
322 retval = true;
323 break;
324 }
325 }
326
327 return retval;
328}
329
330bool
332 const dim_vector& frozen_lengths)
333{
334 bool retval = true;
335
336 octave_idx_type idx_n = ra_idx.numel ();
337
338 int n = frozen_lengths.ndims ();
339
340 if (idx_n != n)
341 (*current_liboctave_error_handler)
342 ("unexpected: idx_n != n in all_colon_equiv - please report this bug");
343
344 for (octave_idx_type i = 0; i < n; i++)
345 {
346 if (! ra_idx(i).is_colon_equiv (frozen_lengths(i)))
347 {
348 retval = false;
349 break;
350 }
351 }
352
353 return retval;
354}
355
356bool
358{
359 bool retval = true;
360
361 for (octave_idx_type i = 0; i < arr.numel (); i++)
362 {
363 if (arr(i) != 1)
364 {
365 retval = false;
366 break;
367 }
368 }
369
370 return retval;
371}
372
375 const Array<octave_idx_type>& result_idx)
376{
378
379 Array<octave_idx_type> retval (dim_vector (n, 1));
380
381 for (octave_idx_type i = 0; i < n; i++)
382 retval(i) = ra_idx(i).elem (result_idx(i));
383
384 return retval;
385}
386
389{
391
392 int n_dims = dims.ndims ();
393
394 retval.resize (dim_vector (n_dims, 1));
395
396 for (int i = 0; i < n_dims; i++)
397 retval(i) = 0;
398
399 liboctave_panic_unless (idx > 0 || idx < dims.numel ());
400
401 for (octave_idx_type i = 0; i < idx; i++)
402 increment_index (retval, dims);
403
404 // FIXME: the solution using increment_index is not efficient.
405
406 return retval;
407}
408
411{
412 int ial = ia.numel ();
413 int rhdvl = rhdv.ndims ();
414 dim_vector rdv = dim_vector::alloc (ial);
415 bool *scalar = new bool [ial];
416 bool *colon = new bool [ial];
417 // Mark scalars and colons, count non-scalar indices.
418 int nonsc = 0;
419 bool all_colons = true;
420 for (int i = 0; i < ial; i++)
421 {
422 // FIXME: should we check for length() instead?
423 scalar[i] = ia(i).is_scalar ();
424 colon[i] = ia(i).is_colon ();
425 if (! scalar[i]) nonsc++;
426 if (! colon[i]) rdv(i) = ia(i).extent (0);
427 all_colons = all_colons && colon[i];
428 }
429
430 // If the number of nonscalar indices matches the dimensionality of
431 // RHS, we try an exact match, inquiring even singleton dimensions.
432 if (all_colons)
433 {
434 rdv = rhdv;
435 rdv.resize (ial, 1);
436 }
437 else if (nonsc == rhdvl)
438 {
439 for (int i = 0, j = 0; i < ial; i++)
440 {
441 if (scalar[i]) continue;
442 if (colon[i])
443 rdv(i) = rhdv(j);
444 j++;
445 }
446 }
447 else
448 {
449 dim_vector rhdv0 = rhdv;
450 rhdv0.chop_all_singletons ();
451 int rhdv0l = rhdv0.ndims ();
452 for (int i = 0, j = 0; i < ial; i++)
453 {
454 if (scalar[i]) continue;
455 if (colon[i])
456 rdv(i) = (j < rhdv0l) ? rhdv0(j++) : 1;
457 }
458 }
459
460 delete [] scalar;
461 delete [] colon;
462
463 return rdv;
464}
465
467zero_dims_inquire (const octave::idx_vector& i, const octave::idx_vector& j,
468 const dim_vector& rhdv)
469{
470 bool icol = i.is_colon ();
471 bool jcol = j.is_colon ();
472 dim_vector rdv;
473 if (icol && jcol && rhdv.ndims () == 2)
474 {
475 rdv(0) = rhdv(0);
476 rdv(1) = rhdv(1);
477 }
478 else if (rhdv.ndims () == 2
479 && ! i.is_scalar () && ! j.is_scalar ())
480 {
481 rdv(0) = (icol ? rhdv(0) : i.extent (0));
482 rdv(1) = (jcol ? rhdv(1) : j.extent (0));
483 }
484 else
485 {
486 dim_vector rhdv0 = rhdv;
487 rhdv0.chop_all_singletons ();
488 int k = 0;
489 rdv(0) = i.extent (0);
490 if (icol)
491 rdv(0) = rhdv0(k++);
492 else if (! i.is_scalar ())
493 k++;
494 rdv(1) = j.extent (0);
495 if (jcol)
496 rdv(1) = rhdv0(k++);
497 else if (! j.is_scalar ())
498 k++;
499 }
500
501 return rdv;
502}
503
504octave::idx_vector
506{
507 octave::idx_vector retval;
508 octave_idx_type len = idxa.numel ();
509
510 if (len == 0)
511 (*current_liboctave_error_handler) ("sub2ind: needs at least 2 indices");
512
513 const dim_vector dvx = dv.redim (len);
514 bool all_ranges = true;
515 octave_idx_type clen = -1;
516
517 for (octave_idx_type i = 0; i < len; i++)
518 {
519 try
520 {
521 octave::idx_vector idx = idxa(i);
522 octave_idx_type n = dvx(i);
523
524 all_ranges = all_ranges && idx.is_range ();
525 if (clen < 0)
526 clen = idx.length (n);
527 else if (clen != idx.length (n))
528 (*current_liboctave_error_handler)
529 ("sub2ind: lengths of indices must match");
530
531 if (idx.extent (n) > n)
532 octave::err_index_out_of_range (len, i+1, idx.extent (n), n, dv);
533 }
534 catch (octave::index_exception& ie)
535 {
536 ie.set_pos_if_unset (len, i+1);
537 ie.set_var ();
538 std::string msg = ie.message ();
539 (*current_liboctave_error_with_id_handler)
540 (ie.err_id (), "%s", msg.c_str ());
541 }
542 }
543 // idxa known to be valid.
544 // Shouldn't need to catch index_exception below here.
545
546 if (len == 1)
547 retval = idxa(0);
548 else if (clen == 1)
549 {
550 // All scalars case - the result is a scalar.
551 octave_idx_type idx = idxa(len-1)(0);
552 for (octave_idx_type i = len - 2; i >= 0; i--)
553 idx = dvx(i) * idx + idxa(i)(0);
554 retval = octave::idx_vector (idx);
555 }
556 else if (all_ranges && clen != 0)
557 {
558 // All ranges case - the result is a range.
559 octave_idx_type start = 0;
560 octave_idx_type step = 0;
561 for (octave_idx_type i = len - 1; i >= 0; i--)
562 {
563 octave_idx_type xstart = idxa(i)(0);
564 octave_idx_type xstep = idxa(i)(1) - xstart;
565 start = dvx(i) * start + xstart;
566 step = dvx(i) * step + xstep;
567 }
568 retval = octave::idx_vector::make_range (start, step, clen);
569 }
570 else
571 {
572 Array<octave_idx_type> idx (idxa(0).orig_dimensions ());
573
574 for (octave_idx_type i = len - 1; i >= 0; i--)
575 {
576 // Initialized inside the loop so that each call to
577 // idx_vector::loop operates from the beginning of IDX_VEC.
578
579 octave_idx_type *idx_vec = idx.rwdata ();
580
581 if (i < len - 1)
582 idxa(i).loop (clen, [n = dvx(i), &idx_vec] (octave_idx_type k) { (*idx_vec++ *= n) += k; });
583 else
584 idxa(i).copy_data (idx_vec);
585 }
586
587 retval = octave::idx_vector (idx);
588 }
589
590 return retval;
591}
592
594ind2sub (const dim_vector& dv, const octave::idx_vector& idx)
595{
596 octave_idx_type len = idx.length (0);
597 octave_idx_type n = dv.ndims ();
600
601 if (idx.is_scalar ())
602 {
603 octave_idx_type k = idx(0);
604 for (octave_idx_type j = 0; j < n-1; j++)
605 {
606 retval(j) = k % dv(j);
607 k /= dv(j);
608 }
609
610 retval(n-1) = idx(0) < numel ? k % dv(n-1) : k;
611 }
612 else
613 {
615
616 const dim_vector& odv = idx.orig_dimensions ();
617 for (octave_idx_type j = 0; j < n; j++)
618 rdata[j] = Array<octave_idx_type> (odv);
619
620 for (octave_idx_type i = 0; i < len; i++)
621 {
622 octave_idx_type k = idx(i);
623 for (octave_idx_type j = 0; j < n-1; j++)
624 {
625 rdata[j](i) = k % dv(j);
626 k /= dv(j);
627 }
628
629 rdata[n-1](i) = idx(i) < numel ? k % dv(n-1) : k;
630 }
631
632 for (octave_idx_type j = 0; j < n; j++)
633 retval(j) = rdata[j];
634 }
635
636 return retval;
637}
638
639int
640permute_vector_compare (const void *a, const void *b)
641{
642 const permute_vector *pva = static_cast<const permute_vector *> (a);
643 const permute_vector *pvb = static_cast<const permute_vector *> (b);
644
645 return pva->pidx > pvb->pidx;
646}
Array< octave_idx_type > get_ra_idx(octave_idx_type idx, const dim_vector &dims)
octave_idx_type compute_index(octave_idx_type n, const dim_vector &dims)
bool is_scalar(const dim_vector &dim)
int permute_vector_compare(const void *a, const void *b)
dim_vector zero_dims_inquire(const Array< octave::idx_vector > &ia, const dim_vector &rhdv)
octave::idx_vector sub2ind(const dim_vector &dv, const Array< octave::idx_vector > &idxa)
bool all_ones(const Array< octave_idx_type > &arr)
octave_idx_type num_ones(const Array< octave_idx_type > &ra_idx)
bool all_colon_equiv(const Array< octave::idx_vector > &ra_idx, const dim_vector &frozen_lengths)
bool vector_equivalent(const dim_vector &dv)
bool any_ones(const Array< octave_idx_type > &arr)
Array< octave::idx_vector > conv_to_array(const octave::idx_vector *tmp, const octave_idx_type len)
dim_vector freeze(Array< octave::idx_vector > &ra_idx, const dim_vector &dimensions, int resize_ok)
bool any_orig_empty(const Array< octave::idx_vector > &ra_idx)
Array< octave::idx_vector > ind2sub(const dim_vector &dv, const octave::idx_vector &idx)
bool isvector(const dim_vector &dim)
Array< octave_idx_type > get_elt_idx(const Array< octave::idx_vector > &ra_idx, const Array< octave_idx_type > &result_idx)
bool index_in_bounds(const Array< octave_idx_type > &ra_idx, const dim_vector &dimensions)
Definition Array-util.cc:35
bool all_ok(const Array< octave::idx_vector > &ra_idx)
Array< octave_idx_type > conv_to_int_array(const Array< octave::idx_vector > &a)
void increment_index(Array< octave_idx_type > &ra_idx, const dim_vector &dimensions, int start_dimension)
Definition Array-util.cc:60
octave_idx_type get_scalar_idx(Array< octave_idx_type > &idx, dim_vector &dims)
Definition Array-util.cc:81
N Dimensional Array with copy-on-write semantics.
Definition Array.h:130
const dim_vector & dims() const
Return a const-reference so that dims ()(i) works efficiently.
Definition Array.h:507
T & elem(octave_idx_type n)
Size of the specified dimension.
Definition Array.h:563
void resize(const dim_vector &dv, const T &rfv)
Size of the specified dimension.
T * rwdata()
Size of the specified dimension.
octave_idx_type numel() const
Number of elements in the array.
Definition Array.h:418
Vector representing the dimensions (size) of an Array.
Definition dim-vector.h:90
octave_idx_type compute_index(const octave_idx_type *idx) const
Linear index from an index tuple.
Definition dim-vector.h:452
octave_idx_type numel(int n=0) const
Number of elements that a matrix with this dimensions would have.
Definition dim-vector.h:331
void resize(int n, int fill_value=0)
Definition dim-vector.h:268
static dim_vector alloc(int n)
Definition dim-vector.h:198
octave_idx_type ndims() const
Number of dimensions.
Definition dim-vector.h:253
void chop_all_singletons()
Definition dim-vector.cc:50
dim_vector redim(int n) const
Force certain dimensionality, preserving numel ().
virtual octave_idx_type numel() const
Definition ov-base.h:401
#define liboctave_panic_unless(cond)
Definition lo-error.h:102
F77_RET_T const F77_DBLE const F77_DBLE F77_DBLE * d
#define OCTAVE_LOCAL_BUFFER(T, buf, size)
Definition oct-locbuf.h:44
T::size_type numel(const T &str)
Definition oct-string.cc:74
const octave_base_value const Array< octave_idx_type > & ra_idx
octave_idx_type pidx
Definition Array-util.h:115
F77_RET_T len
Definition xerbla.cc:61