static rule *make_rule15gauss(unsigned dim, unsigned fdim)
{
if (dim != 1) return NULL; /* this rule is only for 1d integrals */
return make_rule(sizeof(rule), dim, fdim, 15,
rule15gauss_evalError, 0);
}
static PyObject *
newruleobject(PyObject *self, PyObject *args)
{
ruleobject *xp;
xp = PyObject_NEW(ruleobject, &Ruletype);
if (xp == NULL)
return NULL;
int i, size;
size = PyTuple_Size(args);
int s, p, o;
if (!get_triple_from_many(args, size - 1, &s, &p, &o)) {
PyErr_SetString(PyExc_TypeError,
"bad conclusion");
return NULL;
}
xp->rule = make_rule(NULL, s, p, o);
for (i = 0; i < size - 1; i++) {
if (!get_triple_from_many(args, i, &s, &p, &o)) {
PyErr_SetString(PyExc_TypeError,
"bad premise");
return NULL;
}
rule_add_premise(xp->rule, s, p, o);
}
return (PyObject *) xp;
}
void setup(void)
{
ewmh_init();
screen = xcb_setup_roots_iterator(xcb_get_setup(dpy)).data;
if (!screen)
die("error: cannot aquire screen\n");
screen_width = screen->width_in_pixels;
screen_height = screen->height_in_pixels;
root_depth = screen->root_depth;
xcb_atom_t net_atoms[] = {ewmh->_NET_SUPPORTED,
ewmh->_NET_DESKTOP_NAMES,
ewmh->_NET_NUMBER_OF_DESKTOPS,
ewmh->_NET_CURRENT_DESKTOP,
ewmh->_NET_CLIENT_LIST,
ewmh->_NET_ACTIVE_WINDOW,
ewmh->_NET_WM_STATE,
ewmh->_NET_WM_STATE_FULLSCREEN,
ewmh->_NET_WM_WINDOW_TYPE,
ewmh->_NET_WM_WINDOW_TYPE_DIALOG,
ewmh->_NET_WM_WINDOW_TYPE_UTILITY,
ewmh->_NET_WM_WINDOW_TYPE_TOOLBAR};
xcb_ewmh_set_supported(ewmh, default_screen, LENGTH(net_atoms), net_atoms);
desk = make_desktop(DEFAULT_DESK_NAME);
last_desk = NULL;
desk_head = desk;
desk_tail = desk;
num_desktops++;
ewmh_update_number_of_desktops();
ewmh_update_desktop_names();
rule_head = make_rule();
frozen_pointer = make_pointer_state();
split_mode = MODE_AUTOMATIC;
}
static rule *make_rule75genzmalik(unsigned dim, unsigned fdim)
{
rule75genzmalik *r;
if (dim < 2) return NULL; /* this rule does not support 1d integrals */
/* Because of the use of a bit-field in evalR_Rfs, we are limited
to be < 32 dimensions (or however many bits are in unsigned).
This is not a practical limitation...long before you reach
32 dimensions, the Genz-Malik cubature becomes excruciatingly
slow and is superseded by other methods (e.g. Monte-Carlo). */
if (dim >= sizeof(unsigned) * 8) return NULL;
r = (rule75genzmalik *) make_rule(sizeof(rule75genzmalik),
dim, fdim,
num0_0(dim) + 2 * numR0_0fs(dim)
+ numRR0_0fs(dim) + numR_Rfs(dim),
rule75genzmalik_evalError,
destroy_rule75genzmalik);
if (!r) return NULL;
r->weight1 = (real(12824 - 9120 * to_int(dim) + 400 * isqr(to_int(dim)))
/ real(19683));
r->weight3 = real(1820 - 400 * to_int(dim)) / real(19683);
r->weight5 = real(6859) / real(19683) / real(1U << dim);
r->weightE1 = (real(729 - 950 * to_int(dim) + 50 * isqr(to_int(dim)))
/ real(729));
r->weightE3 = real(265 - 100 * to_int(dim)) / real(1458);
r->p = (double *) malloc(sizeof(double) * dim * 3);
if (!r->p) { destroy_rule((rule *) r); return NULL; }
r->widthLambda = r->p + dim;
r->widthLambda2 = r->p + 2 * dim;
return (rule *) r;
}
void setup(void)
{
ewmh_init();
screen = xcb_setup_roots_iterator(xcb_get_setup(dpy)).data;
if (!screen)
err("error: cannot aquire screen\n");
screen_width = screen->width_in_pixels;
screen_height = screen->height_in_pixels;
root_depth = screen->root_depth;
xcb_atom_t net_atoms[] = {ewmh->_NET_SUPPORTED,
ewmh->_NET_DESKTOP_NAMES,
ewmh->_NET_NUMBER_OF_DESKTOPS,
ewmh->_NET_CURRENT_DESKTOP,
ewmh->_NET_CLIENT_LIST,
ewmh->_NET_ACTIVE_WINDOW,
ewmh->_NET_WM_DESKTOP,
ewmh->_NET_WM_STATE,
ewmh->_NET_WM_STATE_FULLSCREEN,
ewmh->_NET_WM_WINDOW_TYPE,
ewmh->_NET_WM_WINDOW_TYPE_DOCK,
ewmh->_NET_WM_WINDOW_TYPE_NOTIFICATION,
ewmh->_NET_WM_WINDOW_TYPE_DIALOG,
ewmh->_NET_WM_WINDOW_TYPE_UTILITY,
ewmh->_NET_WM_WINDOW_TYPE_TOOLBAR};
xcb_ewmh_set_supported(ewmh, default_screen, LENGTH(net_atoms), net_atoms);
monitor_uid = desktop_uid = client_uid = 0;
mon = last_mon = mon_head = mon_tail = NULL;
bool xinerama_is_active = false;
if (xcb_get_extension_data(dpy, &xcb_xinerama_id)->present) {
xcb_xinerama_is_active_reply_t *xia = xcb_xinerama_is_active_reply(dpy, xcb_xinerama_is_active(dpy), NULL);
if (xia != NULL) {
xinerama_is_active = xia->state;
free(xia);
}
}
if (xinerama_is_active) {
xcb_xinerama_query_screens_reply_t *xsq = xcb_xinerama_query_screens_reply(dpy, xcb_xinerama_query_screens(dpy), NULL);
xcb_xinerama_screen_info_t *xsi = xcb_xinerama_query_screens_screen_info(xsq);
int n = xcb_xinerama_query_screens_screen_info_length(xsq);
PRINTF("number of monitors: %d\n", n);
for (int i = 0; i < n; i++) {
xcb_xinerama_screen_info_t info = xsi[i];
xcb_rectangle_t rect = (xcb_rectangle_t) {info.x_org, info.y_org, info.width, info.height};
add_monitor(&rect);
}
free(xsq);
} else {
warn("Xinerama is inactive");
xcb_rectangle_t rect = (xcb_rectangle_t) {0, 0, screen_width, screen_height};
add_monitor(&rect);
}
for (monitor_t *m = mon_head; m != NULL; m = m->next)
add_desktop(m, NULL);
ewmh_update_number_of_desktops();
ewmh_update_desktop_names();
rule_head = make_rule();
frozen_pointer = make_pointer_state();
get_pointer_position(&pointer_position);
split_mode = MODE_AUTOMATIC;
}
