gumath 0.2.0dev5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +7 -0
- data/CONTRIBUTING.md +61 -0
- data/Gemfile +5 -0
- data/History.md +0 -0
- data/README.md +5 -0
- data/Rakefile +105 -0
- data/ext/ruby_gumath/examples.c +126 -0
- data/ext/ruby_gumath/extconf.rb +97 -0
- data/ext/ruby_gumath/functions.c +106 -0
- data/ext/ruby_gumath/gufunc_object.c +79 -0
- data/ext/ruby_gumath/gufunc_object.h +55 -0
- data/ext/ruby_gumath/gumath/AUTHORS.txt +5 -0
- data/ext/ruby_gumath/gumath/INSTALL.txt +42 -0
- data/ext/ruby_gumath/gumath/LICENSE.txt +29 -0
- data/ext/ruby_gumath/gumath/MANIFEST.in +3 -0
- data/ext/ruby_gumath/gumath/Makefile.in +62 -0
- data/ext/ruby_gumath/gumath/README.rst +20 -0
- data/ext/ruby_gumath/gumath/config.guess +1530 -0
- data/ext/ruby_gumath/gumath/config.h.in +52 -0
- data/ext/ruby_gumath/gumath/config.sub +1782 -0
- data/ext/ruby_gumath/gumath/configure +5049 -0
- data/ext/ruby_gumath/gumath/configure.ac +167 -0
- data/ext/ruby_gumath/gumath/doc/_static/copybutton.js +66 -0
- data/ext/ruby_gumath/gumath/doc/conf.py +26 -0
- data/ext/ruby_gumath/gumath/doc/gumath/functions.rst +62 -0
- data/ext/ruby_gumath/gumath/doc/gumath/index.rst +26 -0
- data/ext/ruby_gumath/gumath/doc/index.rst +45 -0
- data/ext/ruby_gumath/gumath/doc/libgumath/data-structures.rst +130 -0
- data/ext/ruby_gumath/gumath/doc/libgumath/functions.rst +78 -0
- data/ext/ruby_gumath/gumath/doc/libgumath/index.rst +25 -0
- data/ext/ruby_gumath/gumath/doc/libgumath/kernels.rst +41 -0
- data/ext/ruby_gumath/gumath/doc/releases/index.rst +11 -0
- data/ext/ruby_gumath/gumath/install-sh +527 -0
- data/ext/ruby_gumath/gumath/libgumath/Makefile.in +170 -0
- data/ext/ruby_gumath/gumath/libgumath/Makefile.vc +160 -0
- data/ext/ruby_gumath/gumath/libgumath/apply.c +201 -0
- data/ext/ruby_gumath/gumath/libgumath/extending/bfloat16.c +130 -0
- data/ext/ruby_gumath/gumath/libgumath/extending/examples.c +176 -0
- data/ext/ruby_gumath/gumath/libgumath/extending/graph.c +393 -0
- data/ext/ruby_gumath/gumath/libgumath/extending/pdist.c +140 -0
- data/ext/ruby_gumath/gumath/libgumath/extending/quaternion.c +156 -0
- data/ext/ruby_gumath/gumath/libgumath/func.c +177 -0
- data/ext/ruby_gumath/gumath/libgumath/gumath.h +205 -0
- data/ext/ruby_gumath/gumath/libgumath/kernels/binary.c +547 -0
- data/ext/ruby_gumath/gumath/libgumath/kernels/unary.c +449 -0
- data/ext/ruby_gumath/gumath/libgumath/nploops.c +219 -0
- data/ext/ruby_gumath/gumath/libgumath/tbl.c +223 -0
- data/ext/ruby_gumath/gumath/libgumath/thread.c +175 -0
- data/ext/ruby_gumath/gumath/libgumath/xndloops.c +130 -0
- data/ext/ruby_gumath/gumath/python/extending.py +24 -0
- data/ext/ruby_gumath/gumath/python/gumath/__init__.py +74 -0
- data/ext/ruby_gumath/gumath/python/gumath/_gumath.c +577 -0
- data/ext/ruby_gumath/gumath/python/gumath/examples.c +93 -0
- data/ext/ruby_gumath/gumath/python/gumath/functions.c +77 -0
- data/ext/ruby_gumath/gumath/python/gumath/pygumath.h +95 -0
- data/ext/ruby_gumath/gumath/python/test_gumath.py +405 -0
- data/ext/ruby_gumath/gumath/setup.py +298 -0
- data/ext/ruby_gumath/gumath/vcbuild/INSTALL.txt +36 -0
- data/ext/ruby_gumath/gumath/vcbuild/vcbuild32.bat +21 -0
- data/ext/ruby_gumath/gumath/vcbuild/vcbuild64.bat +21 -0
- data/ext/ruby_gumath/gumath/vcbuild/vcclean.bat +10 -0
- data/ext/ruby_gumath/gumath/vcbuild/vcdistclean.bat +11 -0
- data/ext/ruby_gumath/include/gumath.h +205 -0
- data/ext/ruby_gumath/include/ruby_gumath.h +41 -0
- data/ext/ruby_gumath/lib/libgumath.a +0 -0
- data/ext/ruby_gumath/lib/libgumath.so +1 -0
- data/ext/ruby_gumath/lib/libgumath.so.0 +1 -0
- data/ext/ruby_gumath/lib/libgumath.so.0.2.0dev3 +0 -0
- data/ext/ruby_gumath/ruby_gumath.c +295 -0
- data/ext/ruby_gumath/ruby_gumath.h +41 -0
- data/ext/ruby_gumath/ruby_gumath_internal.h +45 -0
- data/ext/ruby_gumath/util.c +68 -0
- data/ext/ruby_gumath/util.h +48 -0
- data/gumath.gemspec +47 -0
- data/lib/gumath.rb +7 -0
- data/lib/gumath/version.rb +5 -0
- data/lib/ruby_gumath.so +0 -0
- metadata +206 -0
@@ -0,0 +1,130 @@
|
|
1
|
+
/*
|
2
|
+
* BSD 3-Clause License
|
3
|
+
*
|
4
|
+
* Copyright (c) 2017-2018, plures
|
5
|
+
* All rights reserved.
|
6
|
+
*
|
7
|
+
* Redistribution and use in source and binary forms, with or without
|
8
|
+
* modification, are permitted provided that the following conditions are met:
|
9
|
+
*
|
10
|
+
* 1. Redistributions of source code must retain the above copyright notice,
|
11
|
+
* this list of conditions and the following disclaimer.
|
12
|
+
*
|
13
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
14
|
+
* this list of conditions and the following disclaimer in the documentation
|
15
|
+
* and/or other materials provided with the distribution.
|
16
|
+
*
|
17
|
+
* 3. Neither the name of the copyright holder nor the names of its
|
18
|
+
* contributors may be used to endorse or promote products derived from
|
19
|
+
* this software without specific prior written permission.
|
20
|
+
*
|
21
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
22
|
+
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
23
|
+
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
24
|
+
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
25
|
+
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
26
|
+
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
27
|
+
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
28
|
+
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
29
|
+
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
30
|
+
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
31
|
+
*/
|
32
|
+
|
33
|
+
|
34
|
+
#include <stdlib.h>
|
35
|
+
#include <stdint.h>
|
36
|
+
#include <string.h>
|
37
|
+
#include <math.h>
|
38
|
+
#include <complex.h>
|
39
|
+
#include <inttypes.h>
|
40
|
+
#include "ndtypes.h"
|
41
|
+
#include "xnd.h"
|
42
|
+
#include "gumath.h"
|
43
|
+
|
44
|
+
|
45
|
+
/* Avoid Python.h dependency. */
|
46
|
+
struct _object;
|
47
|
+
double PyFloat_AsDouble(const struct _object *);
|
48
|
+
struct _object *PyFloat_FromDouble (double v);
|
49
|
+
struct _object *PyErr_Occurred(void);
|
50
|
+
|
51
|
+
|
52
|
+
/*****************************************************************************/
|
53
|
+
/* Initialize a single bfloat16 from a PyObject */
|
54
|
+
/*****************************************************************************/
|
55
|
+
|
56
|
+
/* XXX Maybe rename "init", "repr" to "from_object", "to_object". */
|
57
|
+
static bool
|
58
|
+
bfloat16_init(void *dest, const void *src, ndt_context_t *ctx)
|
59
|
+
{
|
60
|
+
const struct _object *v = (const struct _object *)src;
|
61
|
+
xnd_t *x = (xnd_t *)dest;
|
62
|
+
const ndt_t *t = x->type;
|
63
|
+
float f;
|
64
|
+
(void)ctx;
|
65
|
+
|
66
|
+
f = (float)PyFloat_AsDouble(v);
|
67
|
+
if (f == -1 && PyErr_Occurred()) {
|
68
|
+
return 0;
|
69
|
+
}
|
70
|
+
|
71
|
+
const char *cp = ndt_is_big_endian(t) ? (char *)&f : ((char *)&f)+2;
|
72
|
+
memcpy(x->ptr, cp, sizeof(uint16_t));
|
73
|
+
return 1;
|
74
|
+
}
|
75
|
+
|
76
|
+
static void *
|
77
|
+
bfloat16_repr(const void *src, ndt_context_t *ctx)
|
78
|
+
{
|
79
|
+
const xnd_t *x = (const xnd_t *)src;
|
80
|
+
const ndt_t *t = x->type;
|
81
|
+
float f = 0;
|
82
|
+
(void)ctx;
|
83
|
+
|
84
|
+
char *cp = ndt_is_big_endian(t) ? (char *)&f : ((char *)&f)+2;
|
85
|
+
memcpy(cp, x->ptr, sizeof(uint16_t));
|
86
|
+
|
87
|
+
return PyFloat_FromDouble(f);
|
88
|
+
}
|
89
|
+
|
90
|
+
|
91
|
+
static const ndt_methods_t bfloat16_methods = {
|
92
|
+
.init = bfloat16_init,
|
93
|
+
.constraint = NULL,
|
94
|
+
.repr = bfloat16_repr,
|
95
|
+
};
|
96
|
+
|
97
|
+
static const gm_typedef_init_t typedefs[] = {
|
98
|
+
{ .name = "bfloat16", .type = "uint16", .meth=&bfloat16_methods },
|
99
|
+
{ .name = NULL, .type = NULL, .meth=NULL }
|
100
|
+
};
|
101
|
+
|
102
|
+
static const gm_kernel_init_t kernels[] = {
|
103
|
+
{ .name = NULL, .sig = NULL }
|
104
|
+
};
|
105
|
+
|
106
|
+
|
107
|
+
/****************************************************************************/
|
108
|
+
/* Initialize kernel table */
|
109
|
+
/****************************************************************************/
|
110
|
+
|
111
|
+
int
|
112
|
+
gm_init_bfloat16_kernels(gm_tbl_t *tbl, ndt_context_t *ctx)
|
113
|
+
{
|
114
|
+
const gm_typedef_init_t *t;
|
115
|
+
const gm_kernel_init_t *k;
|
116
|
+
|
117
|
+
for (t = typedefs; t->name != NULL; t++) {
|
118
|
+
if (ndt_typedef_from_string(t->name, t->type, t->meth, ctx) < 0) {
|
119
|
+
return -1;
|
120
|
+
}
|
121
|
+
}
|
122
|
+
|
123
|
+
for (k = kernels; k->name != NULL; k++) {
|
124
|
+
if (gm_add_kernel(tbl, k, ctx) < 0) {
|
125
|
+
return -1;
|
126
|
+
}
|
127
|
+
}
|
128
|
+
|
129
|
+
return 0;
|
130
|
+
}
|
@@ -0,0 +1,176 @@
|
|
1
|
+
/*
|
2
|
+
* BSD 3-Clause License
|
3
|
+
*
|
4
|
+
* Copyright (c) 2017-2018, plures
|
5
|
+
* All rights reserved.
|
6
|
+
*
|
7
|
+
* Redistribution and use in source and binary forms, with or without
|
8
|
+
* modification, are permitted provided that the following conditions are met:
|
9
|
+
*
|
10
|
+
* 1. Redistributions of source code must retain the above copyright notice,
|
11
|
+
* this list of conditions and the following disclaimer.
|
12
|
+
*
|
13
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
14
|
+
* this list of conditions and the following disclaimer in the documentation
|
15
|
+
* and/or other materials provided with the distribution.
|
16
|
+
*
|
17
|
+
* 3. Neither the name of the copyright holder nor the names of its
|
18
|
+
* contributors may be used to endorse or promote products derived from
|
19
|
+
* this software without specific prior written permission.
|
20
|
+
*
|
21
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
22
|
+
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
23
|
+
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
24
|
+
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
25
|
+
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
26
|
+
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
27
|
+
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
28
|
+
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
29
|
+
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
30
|
+
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
31
|
+
*/
|
32
|
+
|
33
|
+
|
34
|
+
#include <stdlib.h>
|
35
|
+
#include <stdint.h>
|
36
|
+
#include <string.h>
|
37
|
+
#include <math.h>
|
38
|
+
#include <complex.h>
|
39
|
+
#include <inttypes.h>
|
40
|
+
#include "ndtypes.h"
|
41
|
+
#include "xnd.h"
|
42
|
+
#include "gumath.h"
|
43
|
+
|
44
|
+
|
45
|
+
/****************************************************************************/
|
46
|
+
/* Xnd kernels */
|
47
|
+
/****************************************************************************/
|
48
|
+
|
49
|
+
/*
|
50
|
+
* Count valid/missing values in a 1D array of records and return the result
|
51
|
+
* as a record.
|
52
|
+
*
|
53
|
+
* Signature:
|
54
|
+
* "... * N * {index: int64, name: string, value: ?int64} -> ... * {valid: int64, missing: int64}"
|
55
|
+
*/
|
56
|
+
static int
|
57
|
+
count_valid_missing(xnd_t stack[], ndt_context_t *ctx)
|
58
|
+
{
|
59
|
+
const xnd_t *array = &stack[0];
|
60
|
+
int64_t N = array->type->FixedDim.shape; /* N in the above signature */
|
61
|
+
xnd_t *out = &stack[1];
|
62
|
+
int64_t ok = 0;
|
63
|
+
int64_t na = 0;
|
64
|
+
|
65
|
+
for (int64_t i = 0; i < N; i++) {
|
66
|
+
const xnd_t record = xnd_fixed_dim_next(array, i);
|
67
|
+
const xnd_t value = xnd_record_next(&record, 2, ctx);
|
68
|
+
if (value.ptr == NULL) {
|
69
|
+
return -1;
|
70
|
+
}
|
71
|
+
|
72
|
+
if (xnd_is_na(&value)) {
|
73
|
+
na++;
|
74
|
+
}
|
75
|
+
else {
|
76
|
+
ok++;
|
77
|
+
}
|
78
|
+
}
|
79
|
+
|
80
|
+
xnd_t valid = xnd_record_next(out, 0, ctx);
|
81
|
+
*(int64_t *)(valid.ptr) = ok;
|
82
|
+
|
83
|
+
xnd_t missing = xnd_record_next(out, 1, ctx);
|
84
|
+
*(int64_t *)(missing.ptr) = na;
|
85
|
+
|
86
|
+
return 0;
|
87
|
+
}
|
88
|
+
|
89
|
+
int
|
90
|
+
gm_0D_add_scalar(xnd_t stack[], ndt_context_t *ctx)
|
91
|
+
{
|
92
|
+
const xnd_t *x = &stack[0];
|
93
|
+
const xnd_t *y = &stack[1];
|
94
|
+
xnd_t *z = &stack[2];
|
95
|
+
int64_t N = xnd_fixed_shape(x);
|
96
|
+
int64_t yy = *(int64_t *)y->ptr;
|
97
|
+
(void)ctx;
|
98
|
+
|
99
|
+
for (int64_t i = 0; i < N; i++) {
|
100
|
+
const xnd_t xx = xnd_fixed_dim_next(x, i);
|
101
|
+
const xnd_t zz = xnd_fixed_dim_next(z, i);
|
102
|
+
*(int64_t *)zz.ptr = *(int64_t *)xx.ptr + yy;
|
103
|
+
}
|
104
|
+
|
105
|
+
return 0;
|
106
|
+
}
|
107
|
+
|
108
|
+
int
|
109
|
+
gm_randint(xnd_t stack[], ndt_context_t *ctx)
|
110
|
+
{
|
111
|
+
const xnd_t *x = &stack[0];
|
112
|
+
(void)ctx;
|
113
|
+
|
114
|
+
*(int32_t *)x->ptr = rand();
|
115
|
+
return 0;
|
116
|
+
}
|
117
|
+
|
118
|
+
int
|
119
|
+
gm_randtuple(xnd_t stack[], ndt_context_t *ctx)
|
120
|
+
{
|
121
|
+
const xnd_t *x = &stack[0];
|
122
|
+
const xnd_t *y = &stack[1];
|
123
|
+
(void)ctx;
|
124
|
+
|
125
|
+
*(int32_t *)x->ptr = rand();
|
126
|
+
*(int32_t *)y->ptr = rand();
|
127
|
+
return 0;
|
128
|
+
}
|
129
|
+
|
130
|
+
int
|
131
|
+
gm_divmod10(xnd_t stack[], ndt_context_t *ctx)
|
132
|
+
{
|
133
|
+
const xnd_t *x = &stack[0];
|
134
|
+
int64_t xx = *(int64_t *)x->ptr;
|
135
|
+
const xnd_t *y = &stack[1];
|
136
|
+
const xnd_t *z = &stack[2];
|
137
|
+
(void)ctx;
|
138
|
+
|
139
|
+
*(int64_t *)y->ptr = xx / 10;
|
140
|
+
*(int64_t *)z->ptr = xx % 10;
|
141
|
+
return 0;
|
142
|
+
}
|
143
|
+
|
144
|
+
|
145
|
+
static const gm_kernel_init_t kernels[] = {
|
146
|
+
{ .name = "add_scalar", .sig = "... * N * int64, ... * int64 -> ... * N * int64", .Xnd = gm_0D_add_scalar },
|
147
|
+
|
148
|
+
{ .name = "count_valid_missing",
|
149
|
+
.sig = "... * N * {index: int64, name: string, value: ?int64} -> ... * {valid: int64, missing: int64}",
|
150
|
+
.Xnd = count_valid_missing },
|
151
|
+
|
152
|
+
{ .name = "randint", .sig = "void -> int32", .Xnd = gm_randint },
|
153
|
+
{ .name = "randtuple", .sig = "void -> int32, int32", .Xnd = gm_randtuple },
|
154
|
+
{ .name = "divmod10", .sig = "int64 -> int64, int64", .Xnd = gm_divmod10 },
|
155
|
+
|
156
|
+
{ .name = NULL, .sig = NULL }
|
157
|
+
};
|
158
|
+
|
159
|
+
|
160
|
+
/****************************************************************************/
|
161
|
+
/* Initialize kernel table */
|
162
|
+
/****************************************************************************/
|
163
|
+
|
164
|
+
int
|
165
|
+
gm_init_example_kernels(gm_tbl_t *tbl, ndt_context_t *ctx)
|
166
|
+
{
|
167
|
+
const gm_kernel_init_t *k;
|
168
|
+
|
169
|
+
for (k = kernels; k->name != NULL; k++) {
|
170
|
+
if (gm_add_kernel(tbl, k, ctx) < 0) {
|
171
|
+
return -1;
|
172
|
+
}
|
173
|
+
}
|
174
|
+
|
175
|
+
return 0;
|
176
|
+
}
|
@@ -0,0 +1,393 @@
|
|
1
|
+
/*
|
2
|
+
* BSD 3-Clause License
|
3
|
+
*
|
4
|
+
* Copyright (c) 2017-2018, plures
|
5
|
+
* All rights reserved.
|
6
|
+
*
|
7
|
+
* Redistribution and use in source and binary forms, with or without
|
8
|
+
* modification, are permitted provided that the following conditions are met:
|
9
|
+
*
|
10
|
+
* 1. Redistributions of source code must retain the above copyright notice,
|
11
|
+
* this list of conditions and the following disclaimer.
|
12
|
+
*
|
13
|
+
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
14
|
+
* this list of conditions and the following disclaimer in the documentation
|
15
|
+
* and/or other materials provided with the distribution.
|
16
|
+
*
|
17
|
+
* 3. Neither the name of the copyright holder nor the names of its
|
18
|
+
* contributors may be used to endorse or promote products derived from
|
19
|
+
* this software without specific prior written permission.
|
20
|
+
*
|
21
|
+
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
22
|
+
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
23
|
+
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
24
|
+
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
25
|
+
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
26
|
+
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
27
|
+
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
28
|
+
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
29
|
+
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
30
|
+
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
31
|
+
*/
|
32
|
+
|
33
|
+
|
34
|
+
#include <stdlib.h>
|
35
|
+
#include <stdint.h>
|
36
|
+
#include <string.h>
|
37
|
+
#include <math.h>
|
38
|
+
#include <complex.h>
|
39
|
+
#include <inttypes.h>
|
40
|
+
#include "ndtypes.h"
|
41
|
+
#include "xnd.h"
|
42
|
+
#include "gumath.h"
|
43
|
+
|
44
|
+
|
45
|
+
/*****************************************************************************/
|
46
|
+
/* Check graph invariants */
|
47
|
+
/*****************************************************************************/
|
48
|
+
|
49
|
+
static bool
|
50
|
+
graph_constraint(const void *graph, ndt_context_t *ctx)
|
51
|
+
{
|
52
|
+
const xnd_t *g = (xnd_t *)graph;
|
53
|
+
int64_t start2, step2; /* start, step of ndim2 (the graph) */
|
54
|
+
int64_t start1, step1; /* start, step of ndim1 (an array of edges) */
|
55
|
+
int64_t N; /* number of nodes */
|
56
|
+
|
57
|
+
|
58
|
+
N = ndt_var_indices(&start2, &step2, g->type, g->index, ctx);
|
59
|
+
if (N < 0) {
|
60
|
+
return false;
|
61
|
+
}
|
62
|
+
|
63
|
+
for (int32_t u = 0; u < N; u++) {
|
64
|
+
const xnd_t edges = xnd_var_dim_next(g, start2, step2, u);
|
65
|
+
const int64_t nedges = ndt_var_indices(&start1, &step1, edges.type,
|
66
|
+
edges.index, ctx);
|
67
|
+
if (nedges < 0) {
|
68
|
+
return false;
|
69
|
+
}
|
70
|
+
|
71
|
+
for (int64_t k = 0; k < nedges; k++) {
|
72
|
+
const xnd_t tuple = xnd_var_dim_next(&edges, start1, step1, k);
|
73
|
+
const xnd_t target = xnd_tuple_next(&tuple, 0, ctx);
|
74
|
+
const int32_t v = *(int32_t *)target.ptr;
|
75
|
+
|
76
|
+
if (v < 0 || v >= N) {
|
77
|
+
ndt_err_format(ctx, NDT_ValueError,
|
78
|
+
"node id must be in range [0, N-1]");
|
79
|
+
return false;
|
80
|
+
}
|
81
|
+
}
|
82
|
+
}
|
83
|
+
|
84
|
+
return true;
|
85
|
+
}
|
86
|
+
|
87
|
+
|
88
|
+
/*****************************************************************************/
|
89
|
+
/* Bellman-Ford single-source shortest-paths algorithm (CLRS p588) */
|
90
|
+
/*****************************************************************************/
|
91
|
+
|
92
|
+
|
93
|
+
static const int32_t NIL = INT32_MIN;
|
94
|
+
|
95
|
+
/*
|
96
|
+
* Allocate and initialize distance and predecessor arrays.
|
97
|
+
* d := distance array
|
98
|
+
* p := predecessor array
|
99
|
+
* N := number of nodes
|
100
|
+
* u := single source node id
|
101
|
+
*/
|
102
|
+
static int
|
103
|
+
init(double **d, int32_t **p, int64_t N, int32_t u, ndt_context_t *ctx)
|
104
|
+
{
|
105
|
+
*d = ndt_alloc(N, sizeof **d);
|
106
|
+
if (*d == NULL) {
|
107
|
+
(void)ndt_memory_error(ctx);
|
108
|
+
return -1;
|
109
|
+
}
|
110
|
+
|
111
|
+
*p = ndt_alloc(N, sizeof **p);
|
112
|
+
if (*p == NULL) {
|
113
|
+
ndt_free(*d);
|
114
|
+
(void)ndt_memory_error(ctx);
|
115
|
+
return -1;
|
116
|
+
}
|
117
|
+
|
118
|
+
for (int64_t i = 0; i < N; i++) {
|
119
|
+
(*d)[i] = INFINITY;
|
120
|
+
(*p)[i] = NIL;
|
121
|
+
}
|
122
|
+
|
123
|
+
(*d)[u] = 0;
|
124
|
+
|
125
|
+
return 0;
|
126
|
+
}
|
127
|
+
|
128
|
+
/*
|
129
|
+
* d := distance array
|
130
|
+
* p := predecessor array
|
131
|
+
* u := source node id
|
132
|
+
* v := target node id
|
133
|
+
* cost := cost of going from source to target
|
134
|
+
*/
|
135
|
+
static inline void
|
136
|
+
relax(double d[], int32_t p[], int32_t u, int32_t v, double cost)
|
137
|
+
{
|
138
|
+
if (d[u] + cost < d[v]) {
|
139
|
+
d[v] = d[u] + cost;
|
140
|
+
p[v] = u;
|
141
|
+
}
|
142
|
+
}
|
143
|
+
|
144
|
+
/*
|
145
|
+
* Write the shortest path single_source ==> v to dest.
|
146
|
+
* If dest==NULL and dsize==0, return the length of the path.
|
147
|
+
*
|
148
|
+
* dest := path array
|
149
|
+
* p := predecessor array
|
150
|
+
* single_source := single source node id
|
151
|
+
* v := target node id
|
152
|
+
*/
|
153
|
+
static int64_t
|
154
|
+
write_path(int32_t *dest, const int32_t dsize,
|
155
|
+
const int32_t p[], const int64_t psize,
|
156
|
+
const int32_t s, int32_t v)
|
157
|
+
{
|
158
|
+
int64_t n = dsize;
|
159
|
+
|
160
|
+
while (1) {
|
161
|
+
|
162
|
+
assert(0 <= v && v < psize);
|
163
|
+
assert(dest == NULL || n >= 0);
|
164
|
+
|
165
|
+
if (v == s || p[v] != NIL) {
|
166
|
+
n--;
|
167
|
+
if (dest != NULL) dest[n] = v;
|
168
|
+
if (v == s) break;
|
169
|
+
}
|
170
|
+
else if (p[v] == NIL) {
|
171
|
+
return 0;
|
172
|
+
}
|
173
|
+
|
174
|
+
v = p[v];
|
175
|
+
}
|
176
|
+
|
177
|
+
return dest == NULL ? -n : n;
|
178
|
+
}
|
179
|
+
|
180
|
+
static xnd_t
|
181
|
+
mk_return_array(int32_t p[], const int64_t N, const int32_t u,
|
182
|
+
ndt_context_t *ctx)
|
183
|
+
{
|
184
|
+
int32_t *ndim2_offsets = NULL;
|
185
|
+
int32_t *ndim1_offsets = NULL;
|
186
|
+
ndt_t *t;
|
187
|
+
int64_t sum;
|
188
|
+
int32_t v;
|
189
|
+
|
190
|
+
if (N+1 > INT32_MAX) {
|
191
|
+
goto offset_overflow;
|
192
|
+
}
|
193
|
+
|
194
|
+
ndim2_offsets = ndt_alloc(2, sizeof *ndim2_offsets);
|
195
|
+
if (ndim2_offsets == NULL) {
|
196
|
+
(void)ndt_memory_error(ctx);
|
197
|
+
return xnd_error;
|
198
|
+
}
|
199
|
+
ndim2_offsets[0] = 0;
|
200
|
+
ndim2_offsets[1] = (int32_t)N;
|
201
|
+
|
202
|
+
|
203
|
+
ndim1_offsets = ndt_alloc(N+1, sizeof *ndim1_offsets);
|
204
|
+
if (ndim1_offsets == NULL) {
|
205
|
+
(void)ndt_memory_error(ctx);
|
206
|
+
return xnd_error;
|
207
|
+
}
|
208
|
+
|
209
|
+
sum = 0;
|
210
|
+
for (v = 0; v < N; v++) {
|
211
|
+
ndim1_offsets[v] = (int32_t)sum;
|
212
|
+
int64_t n = write_path(NULL, 0, p, N, u, v);
|
213
|
+
sum += n;
|
214
|
+
if (sum > INT32_MAX) {
|
215
|
+
goto offset_overflow;
|
216
|
+
}
|
217
|
+
}
|
218
|
+
ndim1_offsets[v] = (int32_t)sum;
|
219
|
+
|
220
|
+
|
221
|
+
t = ndt_from_string("node", ctx);
|
222
|
+
if (t == NULL) {
|
223
|
+
goto error;
|
224
|
+
}
|
225
|
+
|
226
|
+
t = ndt_var_dim(t, InternalOffsets, (int32_t)(N+1), ndim1_offsets, 0, NULL, ctx);
|
227
|
+
ndim1_offsets = NULL;
|
228
|
+
if (t == NULL) {
|
229
|
+
goto error;
|
230
|
+
}
|
231
|
+
|
232
|
+
t = ndt_var_dim(t, InternalOffsets, 2, ndim2_offsets, 0, NULL, ctx);
|
233
|
+
ndim2_offsets = NULL;
|
234
|
+
if (t == NULL) {
|
235
|
+
goto error;
|
236
|
+
}
|
237
|
+
|
238
|
+
xnd_master_t *x = xnd_empty_from_type(t, XND_OWN_EMBEDDED, ctx);
|
239
|
+
if (x == NULL) {
|
240
|
+
goto error;
|
241
|
+
}
|
242
|
+
xnd_t out = x->master;
|
243
|
+
ndt_free(x);
|
244
|
+
|
245
|
+
t = out.type->VarDim.type;
|
246
|
+
for (v = 0; v < N; v++) {
|
247
|
+
int32_t shape = t->Concrete.VarDim.offsets[v+1]-t->Concrete.VarDim.offsets[v];
|
248
|
+
char *ptr = out.ptr + t->Concrete.VarDim.offsets[v] * t->Concrete.VarDim.itemsize;
|
249
|
+
(void)write_path((int32_t *)ptr, shape, p, N, u, v);
|
250
|
+
}
|
251
|
+
|
252
|
+
return out;
|
253
|
+
|
254
|
+
error:
|
255
|
+
ndt_free(ndim2_offsets);
|
256
|
+
ndt_free(ndim1_offsets);
|
257
|
+
return xnd_error;
|
258
|
+
|
259
|
+
offset_overflow:
|
260
|
+
ndt_err_format(ctx, NDT_ValueError, "overflow in int32_t offsets");
|
261
|
+
goto error;
|
262
|
+
}
|
263
|
+
|
264
|
+
static int
|
265
|
+
shortest_path(xnd_t stack[], ndt_context_t *ctx)
|
266
|
+
{
|
267
|
+
const int32_t single_source = *(int32_t *)stack[1].ptr; /* start node */
|
268
|
+
int64_t start2, step2; /* start, step of ndim2 (the graph) */
|
269
|
+
int64_t start1, step1; /* start, step of ndim1 (an array of edges) */
|
270
|
+
double *d; /* distance array */
|
271
|
+
int32_t *p; /* predecessor array */
|
272
|
+
int64_t N; /* number of nodes */
|
273
|
+
|
274
|
+
/* graph in adjacency list representation */
|
275
|
+
const xnd_t graph = xnd_nominal_next(&stack[0], ctx);
|
276
|
+
if (graph.ptr == NULL) {
|
277
|
+
return -1;
|
278
|
+
}
|
279
|
+
|
280
|
+
N = ndt_var_indices(&start2, &step2, graph.type, graph.index, ctx);
|
281
|
+
if (N < 0) {
|
282
|
+
return -1;
|
283
|
+
}
|
284
|
+
|
285
|
+
if (init(&d, &p, N, single_source, ctx) < 0) {
|
286
|
+
return -1;
|
287
|
+
}
|
288
|
+
|
289
|
+
for (int64_t i = 0; i < N-1; i++) {
|
290
|
+
for (int32_t u = 0; u < N; u++) {
|
291
|
+
const xnd_t edges = xnd_var_dim_next(&graph, start2, step2, u);
|
292
|
+
const int64_t nedges = ndt_var_indices(&start1, &step1, edges.type,
|
293
|
+
edges.index, ctx);
|
294
|
+
if (nedges < 0) {
|
295
|
+
return -1;
|
296
|
+
}
|
297
|
+
|
298
|
+
for (int64_t k = 0; k < nedges; k++) {
|
299
|
+
const xnd_t tuple = xnd_var_dim_next(&edges, start1, step1, k);
|
300
|
+
const xnd_t target = xnd_tuple_next(&tuple, 0, ctx);
|
301
|
+
const xnd_t uvcost = xnd_tuple_next(&tuple, 1, ctx);
|
302
|
+
|
303
|
+
const int32_t v = *(int32_t *)target.ptr;
|
304
|
+
const double cost = *(double *)uvcost.ptr;
|
305
|
+
|
306
|
+
relax(d, p, u, v, cost);
|
307
|
+
}
|
308
|
+
}
|
309
|
+
}
|
310
|
+
|
311
|
+
for (int32_t u = 0; u < N; u++) {
|
312
|
+
const xnd_t edges = xnd_var_dim_next(&graph, start2, step2, u);
|
313
|
+
const int64_t nedges = ndt_var_indices(&start1, &step1, edges.type,
|
314
|
+
edges.index, ctx);
|
315
|
+
if (nedges < 0) {
|
316
|
+
return -1;
|
317
|
+
}
|
318
|
+
|
319
|
+
for (int64_t k = 0; k < nedges; k++) {
|
320
|
+
const xnd_t tuple = xnd_var_dim_next(&edges, start1, step1, k);
|
321
|
+
const xnd_t target = xnd_tuple_next(&tuple, 0, ctx);
|
322
|
+
const xnd_t uvcost = xnd_tuple_next(&tuple, 1, ctx);
|
323
|
+
|
324
|
+
const int32_t v = *(int32_t *)target.ptr;
|
325
|
+
const double cost = *(double *)uvcost.ptr;
|
326
|
+
|
327
|
+
if (d[u] + cost < d[v]) {
|
328
|
+
ndt_err_format(ctx, NDT_ValueError,
|
329
|
+
"graph contains a negative weight cycle");
|
330
|
+
ndt_free(d);
|
331
|
+
ndt_free(p);
|
332
|
+
return -1;
|
333
|
+
}
|
334
|
+
}
|
335
|
+
}
|
336
|
+
|
337
|
+
ndt_free(d);
|
338
|
+
|
339
|
+
/* Push return value (possibly xnd_error) onto the stack. */
|
340
|
+
stack[2] = mk_return_array(p, N, single_source, ctx);
|
341
|
+
|
342
|
+
ndt_free(p);
|
343
|
+
|
344
|
+
return stack[2].ptr == NULL ? -1 : 0;
|
345
|
+
}
|
346
|
+
|
347
|
+
|
348
|
+
static const ndt_methods_t graph_methods = {
|
349
|
+
.init = NULL,
|
350
|
+
.constraint = graph_constraint,
|
351
|
+
.repr = NULL
|
352
|
+
};
|
353
|
+
|
354
|
+
static const gm_typedef_init_t typedefs[] = {
|
355
|
+
{ .name = "node", .type = "int32", .meth=NULL, },
|
356
|
+
{ .name = "cost", .type = "float64", .meth=NULL },
|
357
|
+
{ .name = "graph", .type = "var * var * (node, cost)", .meth=&graph_methods },
|
358
|
+
{ .name = NULL, .type = NULL, .meth=NULL }
|
359
|
+
};
|
360
|
+
|
361
|
+
static const gm_kernel_init_t kernels[] = {
|
362
|
+
{ .name = "single_source_shortest_paths",
|
363
|
+
.sig = "graph, node -> var * var * node",
|
364
|
+
.Xnd = shortest_path },
|
365
|
+
|
366
|
+
{ .name = NULL, .sig = NULL }
|
367
|
+
};
|
368
|
+
|
369
|
+
|
370
|
+
/****************************************************************************/
|
371
|
+
/* Initialize kernel table */
|
372
|
+
/****************************************************************************/
|
373
|
+
|
374
|
+
int
|
375
|
+
gm_init_graph_kernels(gm_tbl_t *tbl, ndt_context_t *ctx)
|
376
|
+
{
|
377
|
+
const gm_typedef_init_t *t;
|
378
|
+
const gm_kernel_init_t *k;
|
379
|
+
|
380
|
+
for (t = typedefs; t->name != NULL; t++) {
|
381
|
+
if (ndt_typedef_from_string(t->name, t->type, t->meth, ctx) < 0) {
|
382
|
+
return -1;
|
383
|
+
}
|
384
|
+
}
|
385
|
+
|
386
|
+
for (k = kernels; k->name != NULL; k++) {
|
387
|
+
if (gm_add_kernel(tbl, k, ctx) < 0) {
|
388
|
+
return -1;
|
389
|
+
}
|
390
|
+
}
|
391
|
+
|
392
|
+
return 0;
|
393
|
+
}
|