blob: f65a5837208902d327a946e1d196f8c2cfc625d7 [file] [log] [blame]
Raymond Hettinger0c410272004-01-05 10:13:35 +00001/* Bisection algorithms. Drop in replacement for bisect.py
2
3Converted to C by Dmitry Vasiliev (dima at hlabs.spb.ru).
4*/
5
6#include "Python.h"
7
Benjamin Petersond6313712008-07-31 16:23:04 +00008static Py_ssize_t
Martin v. Löwisad0a4622006-02-16 14:30:23 +00009internal_bisect_right(PyObject *list, PyObject *item, Py_ssize_t lo, Py_ssize_t hi)
Raymond Hettinger0c410272004-01-05 10:13:35 +000010{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000011 PyObject *litem;
12 Py_ssize_t mid, res;
Raymond Hettinger0c410272004-01-05 10:13:35 +000013
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000014 if (lo < 0) {
15 PyErr_SetString(PyExc_ValueError, "lo must be non-negative");
16 return -1;
17 }
18 if (hi == -1) {
19 hi = PySequence_Size(list);
20 if (hi < 0)
21 return -1;
22 }
23 while (lo < hi) {
24 mid = (lo + hi) / 2;
25 litem = PySequence_GetItem(list, mid);
26 if (litem == NULL)
27 return -1;
28 res = PyObject_RichCompareBool(item, litem, Py_LT);
29 Py_DECREF(litem);
30 if (res < 0)
31 return -1;
32 if (res)
33 hi = mid;
34 else
35 lo = mid + 1;
36 }
37 return lo;
Raymond Hettinger0c410272004-01-05 10:13:35 +000038}
39
40static PyObject *
Raymond Hettingercc9a9512005-10-05 11:39:12 +000041bisect_right(PyObject *self, PyObject *args, PyObject *kw)
Raymond Hettinger0c410272004-01-05 10:13:35 +000042{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000043 PyObject *list, *item;
44 Py_ssize_t lo = 0;
45 Py_ssize_t hi = -1;
46 Py_ssize_t index;
47 static char *keywords[] = {"a", "x", "lo", "hi", NULL};
Raymond Hettinger0c410272004-01-05 10:13:35 +000048
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000049 if (!PyArg_ParseTupleAndKeywords(args, kw, "OO|nn:bisect_right",
50 keywords, &list, &item, &lo, &hi))
51 return NULL;
52 index = internal_bisect_right(list, item, lo, hi);
53 if (index < 0)
54 return NULL;
55 return PyLong_FromSsize_t(index);
Raymond Hettinger0c410272004-01-05 10:13:35 +000056}
57
58PyDoc_STRVAR(bisect_right_doc,
Raymond Hettingercc9a9512005-10-05 11:39:12 +000059"bisect_right(a, x[, lo[, hi]]) -> index\n\
Raymond Hettinger0c410272004-01-05 10:13:35 +000060\n\
61Return the index where to insert item x in list a, assuming a is sorted.\n\
62\n\
63The return value i is such that all e in a[:i] have e <= x, and all e in\n\
64a[i:] have e > x. So if x already appears in the list, i points just\n\
65beyond the rightmost x already there\n\
66\n\
67Optional args lo (default 0) and hi (default len(a)) bound the\n\
68slice of a to be searched.\n");
69
70static PyObject *
Raymond Hettingercc9a9512005-10-05 11:39:12 +000071insort_right(PyObject *self, PyObject *args, PyObject *kw)
Raymond Hettinger0c410272004-01-05 10:13:35 +000072{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000073 PyObject *list, *item, *result;
74 Py_ssize_t lo = 0;
75 Py_ssize_t hi = -1;
76 Py_ssize_t index;
77 static char *keywords[] = {"a", "x", "lo", "hi", NULL};
Raymond Hettinger0c410272004-01-05 10:13:35 +000078
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000079 if (!PyArg_ParseTupleAndKeywords(args, kw, "OO|nn:insort_right",
80 keywords, &list, &item, &lo, &hi))
81 return NULL;
82 index = internal_bisect_right(list, item, lo, hi);
83 if (index < 0)
84 return NULL;
85 if (PyList_CheckExact(list)) {
86 if (PyList_Insert(list, index, item) < 0)
87 return NULL;
88 } else {
89 result = PyObject_CallMethod(list, "insert", "nO",
90 index, item);
91 if (result == NULL)
92 return NULL;
93 Py_DECREF(result);
94 }
Raymond Hettinger0c410272004-01-05 10:13:35 +000095
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000096 Py_RETURN_NONE;
Raymond Hettinger0c410272004-01-05 10:13:35 +000097}
98
99PyDoc_STRVAR(insort_right_doc,
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000100"insort_right(a, x[, lo[, hi]])\n\
Raymond Hettinger0c410272004-01-05 10:13:35 +0000101\n\
102Insert item x in list a, and keep it sorted assuming a is sorted.\n\
103\n\
104If x is already in a, insert it to the right of the rightmost x.\n\
105\n\
106Optional args lo (default 0) and hi (default len(a)) bound the\n\
107slice of a to be searched.\n");
108
Benjamin Petersond6313712008-07-31 16:23:04 +0000109static Py_ssize_t
110internal_bisect_left(PyObject *list, PyObject *item, Py_ssize_t lo, Py_ssize_t hi)
Raymond Hettinger0c410272004-01-05 10:13:35 +0000111{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000112 PyObject *litem;
113 Py_ssize_t mid, res;
Raymond Hettinger0c410272004-01-05 10:13:35 +0000114
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000115 if (lo < 0) {
116 PyErr_SetString(PyExc_ValueError, "lo must be non-negative");
117 return -1;
118 }
119 if (hi == -1) {
120 hi = PySequence_Size(list);
121 if (hi < 0)
122 return -1;
123 }
124 while (lo < hi) {
125 mid = (lo + hi) / 2;
126 litem = PySequence_GetItem(list, mid);
127 if (litem == NULL)
128 return -1;
129 res = PyObject_RichCompareBool(litem, item, Py_LT);
130 Py_DECREF(litem);
131 if (res < 0)
132 return -1;
133 if (res)
134 lo = mid + 1;
135 else
136 hi = mid;
137 }
138 return lo;
Raymond Hettinger0c410272004-01-05 10:13:35 +0000139}
140
141static PyObject *
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000142bisect_left(PyObject *self, PyObject *args, PyObject *kw)
Raymond Hettinger0c410272004-01-05 10:13:35 +0000143{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000144 PyObject *list, *item;
145 Py_ssize_t lo = 0;
146 Py_ssize_t hi = -1;
147 Py_ssize_t index;
148 static char *keywords[] = {"a", "x", "lo", "hi", NULL};
Raymond Hettinger0c410272004-01-05 10:13:35 +0000149
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000150 if (!PyArg_ParseTupleAndKeywords(args, kw, "OO|nn:bisect_left",
151 keywords, &list, &item, &lo, &hi))
152 return NULL;
153 index = internal_bisect_left(list, item, lo, hi);
154 if (index < 0)
155 return NULL;
156 return PyLong_FromSsize_t(index);
Raymond Hettinger0c410272004-01-05 10:13:35 +0000157}
158
159PyDoc_STRVAR(bisect_left_doc,
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000160"bisect_left(a, x[, lo[, hi]]) -> index\n\
Raymond Hettinger0c410272004-01-05 10:13:35 +0000161\n\
162Return the index where to insert item x in list a, assuming a is sorted.\n\
163\n\
164The return value i is such that all e in a[:i] have e < x, and all e in\n\
165a[i:] have e >= x. So if x already appears in the list, i points just\n\
166before the leftmost x already there.\n\
167\n\
168Optional args lo (default 0) and hi (default len(a)) bound the\n\
169slice of a to be searched.\n");
170
171static PyObject *
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000172insort_left(PyObject *self, PyObject *args, PyObject *kw)
Raymond Hettinger0c410272004-01-05 10:13:35 +0000173{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000174 PyObject *list, *item, *result;
175 Py_ssize_t lo = 0;
176 Py_ssize_t hi = -1;
177 Py_ssize_t index;
178 static char *keywords[] = {"a", "x", "lo", "hi", NULL};
Raymond Hettinger0c410272004-01-05 10:13:35 +0000179
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000180 if (!PyArg_ParseTupleAndKeywords(args, kw, "OO|nn:insort_left",
181 keywords, &list, &item, &lo, &hi))
182 return NULL;
183 index = internal_bisect_left(list, item, lo, hi);
184 if (index < 0)
185 return NULL;
186 if (PyList_CheckExact(list)) {
187 if (PyList_Insert(list, index, item) < 0)
188 return NULL;
189 } else {
190 result = PyObject_CallMethod(list, "insert", "iO",
191 index, item);
192 if (result == NULL)
193 return NULL;
194 Py_DECREF(result);
195 }
Raymond Hettinger0c410272004-01-05 10:13:35 +0000196
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000197 Py_RETURN_NONE;
Raymond Hettinger0c410272004-01-05 10:13:35 +0000198}
199
200PyDoc_STRVAR(insort_left_doc,
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000201"insort_left(a, x[, lo[, hi]])\n\
Raymond Hettinger0c410272004-01-05 10:13:35 +0000202\n\
203Insert item x in list a, and keep it sorted assuming a is sorted.\n\
204\n\
205If x is already in a, insert it to the left of the leftmost x.\n\
206\n\
207Optional args lo (default 0) and hi (default len(a)) bound the\n\
208slice of a to be searched.\n");
209
210PyDoc_STRVAR(bisect_doc, "Alias for bisect_right().\n");
211PyDoc_STRVAR(insort_doc, "Alias for insort_right().\n");
212
213static PyMethodDef bisect_methods[] = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000214 {"bisect_right", (PyCFunction)bisect_right,
215 METH_VARARGS|METH_KEYWORDS, bisect_right_doc},
216 {"bisect", (PyCFunction)bisect_right,
217 METH_VARARGS|METH_KEYWORDS, bisect_doc},
218 {"insort_right", (PyCFunction)insort_right,
219 METH_VARARGS|METH_KEYWORDS, insort_right_doc},
220 {"insort", (PyCFunction)insort_right,
221 METH_VARARGS|METH_KEYWORDS, insort_doc},
222 {"bisect_left", (PyCFunction)bisect_left,
223 METH_VARARGS|METH_KEYWORDS, bisect_left_doc},
224 {"insort_left", (PyCFunction)insort_left,
225 METH_VARARGS|METH_KEYWORDS, insort_left_doc},
226 {NULL, NULL} /* sentinel */
Raymond Hettinger0c410272004-01-05 10:13:35 +0000227};
228
229PyDoc_STRVAR(module_doc,
230"Bisection algorithms.\n\
231\n\
232This module provides support for maintaining a list in sorted order without\n\
233having to sort the list after each insertion. For long lists of items with\n\
234expensive comparison operations, this can be an improvement over the more\n\
235common approach.\n");
236
Raymond Hettinger0c410272004-01-05 10:13:35 +0000237
Martin v. Löwis1a214512008-06-11 05:26:20 +0000238static struct PyModuleDef _bisectmodule = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000239 PyModuleDef_HEAD_INIT,
240 "_bisect",
241 module_doc,
242 -1,
243 bisect_methods,
244 NULL,
245 NULL,
246 NULL,
247 NULL
Martin v. Löwis1a214512008-06-11 05:26:20 +0000248};
249
250PyMODINIT_FUNC
251PyInit__bisect(void)
252{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000253 return PyModule_Create(&_bisectmodule);
Raymond Hettinger0c410272004-01-05 10:13:35 +0000254}