inducer / islpy

Python wrapper for isl, an integer set library

islpy: Polyhedral Analysis from Python

islpy is a Python wrapper around Sven Verdoolaege's isl, a library for manipulating sets and relations of integer points bounded by linear constraints.

Supported operations on sets include

• intersection, union, set difference,
• emptiness check,
• convex hull,
• (integer) affine hull,
• integer projection,
• computing the lexicographic minimum using parametric integer programming,
• coalescing, and
• parametric vertex enumeration.

It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.

Islpy comes with comprehensive documentation.

Requirements: islpy needs a C++ compiler to build. It can optionally make use of GMP for support of large integers.

One important thing to know about islpy is that it exposes every function in isl that is visible in the headers, not just what isl's authors consider its documented, public API (marked by __isl_export). These (technically) undocumented functions are marked in the islpy documentation. Many of them are useful and essential for certain operations, but isl's API stability guarantees do not apply to them. Use them at your own risk.

islpy's Issues

Mac wheel builds fail with "Error: Container action is only supported on Linux"

@isuruf, any thoughts?

https://github.com/inducer/islpy/runs/1239290649?check_suite_focus=true

Unable to figure out how to construct UnionAccessInfo

Hey,

So I have a isl map, and I'd like to impose constraints on it. For example, something like this:

Given a domain like so:

[R, T] -> {
    S_0[i0, i1] : 0 <= i0 <= T and 0 <= i1 <= R - 1;
    S_1[i0, i1] : 0 <= i0 <= T and 0 <= i1 <= R - 1;
};

I'd like to assign dependencies like:

[R, T] -> {
        S_0[i0, i1] -> S_0[i0 + 1, i1 - 1] : 0 <= i0 <= T - 1 and 1 <= i1 <= R - 2;
        S_0[i0, i1] -> S_0[i0 + 1, i1 + 1] : 0 <= i0 <= T - 1 and 1 <= i1 <= R - 2;
};

To do this, I believe that I need to use a UnionAccessInfo object, and assign the source and the sink correctly, right?

However, I'm not sure how to actually construct said UnionAccessInfo. The isl documentation seems to have a

isl_union_access_info_from_sink(
                __isl_take isl_union_map *sink);

which seems to be what I'm looking for (to create a isl_union_access_info). However, this is not exported by islpy.

So,

1. Am I thinking of the right object for the kind of dependencies that I'd like to impose? Should I be using a different object?
2. If I'm thinking of the right object, how do I actually construct a islpy.UnionAccessInfo?

Thanks for the help.

transitive_closure broken for pip package, version = 2019.1.2

This is for a freshly installed islpy from pip on Python 3.6.8:

>>> import islpy
>>> islpy.UnionMap.transitive_closure
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: type object 'UnionMap' has no attribute 'transitive_closure'

Failed building wheel for islpy in py3.8

SKIP (sig not supported: unexpected callback signature): <method isl_id_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_val_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_basic_set_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_basic_map_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_set_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_map_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_constraint_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_aff_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_pw_aff_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_pw_multi_aff_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_ast_expr_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_ast_node_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_pw_qpolynomial_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_pw_qpolynomial_fold_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_union_pw_aff_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_union_pw_multi_aff_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_union_set_list_foreach_scc>
SKIP (sig not supported: unexpected callback signature): <method isl_union_map_list_foreach_scc>
SKIP (sig not supported: arg type FILE *): <method isl_printer_to_file>
SKIP (sig not supported: ret type: FILE * in <method isl_printer_get_file>): <method isl_printer_get_file>
SKIP (sig not supported: arg type void *): <method isl_val_int_from_chunks>
SKIP (val version available): <method isl_val_get_den_si> -> <method isl_val_get_den_val>
SKIP (sig not supported: arg type void *): <method isl_val_get_abs_num_chunks>
SKIP (val version available): <method isl_val_add_ui> -> <method isl_val_add>
SKIP (val version available): <method isl_val_sub_ui> -> <method isl_val_sub>
SKIP (val version available): <method isl_val_mul_ui> -> <method isl_val_mul>
SKIP (val version available): <method isl_val_div_ui> -> <method isl_val_div>
SKIP (val version available): <method isl_val_gt_si> -> <method isl_val_gt>
SKIP (val version available): <method isl_val_eq_si> -> <method isl_val_eq>
SKIP (val version available): <method isl_vec_set_element_si> -> <method isl_vec_set_element_val>
SKIP (val version available): <method isl_vec_set_si> -> <method isl_vec_set_val>
SKIP (sig not supported: arg type FILE *): <method isl_vec_read_from_file>
SKIP (val version available): <method isl_mat_set_element_si> -> <method isl_mat_set_element_val>
SKIP (sig not supported: arg type FILE *): <method isl_mat_print_internal>
SKIP (val version available): <method isl_aff_set_constant_si> -> <method isl_aff_set_constant_val>
SKIP (val version available): <method isl_aff_set_coefficient_si> -> <method isl_aff_set_coefficient_val>
SKIP (val version available): <method isl_aff_add_constant_si> -> <method isl_aff_add_constant_val>
SKIP (val version available): <method isl_aff_add_coefficient_si> -> <method isl_aff_add_coefficient_val>
SKIP (val version available): <method isl_aff_scale_down_ui> -> <method isl_aff_scale_down_val>
SKIP (sig not supported: callback signature without user pointer): <method isl_id_set_free_user>
SKIP (val version available): <method isl_constraint_set_constant_si> -> <method isl_constraint_set_constant_val>
SKIP (val version available): <method isl_constraint_set_coefficient_si> -> <method isl_constraint_set_coefficient_val>
SKIP (1 undocumented methods): <method isl_id_copy>
SKIP (sig not supported: arg type FILE *): <method isl_basic_set_print_internal>
SKIP (sig not supported: arg type FILE *): <method isl_basic_set_read_from_file>
SKIP (val version available): <method isl_basic_set_fix_si> -> <method isl_basic_set_fix_val>
SKIP (sig not supported: int *): <method isl_basic_set_dims_get_sign>
SKIP (sig not supported: callback signature without user pointer): <method isl_basic_set_multiplicative_call>
SKIP (sig not supported: arg type FILE *): <method isl_basic_map_read_from_file>
SKIP (val version available): <method isl_basic_map_fix_si> -> <method isl_basic_map_fix_val>
SKIP (sig not supported: arg type FILE *): <method isl_basic_map_print_internal>
SKIP (sig not supported: arg type FILE *): <method isl_set_read_from_file>
SKIP (val version available): <method isl_set_fix_si> -> <method isl_set_fix_val>
SKIP (val version available): <method isl_set_lower_bound_si> -> <method isl_set_lower_bound_val>
SKIP (val version available): <method isl_set_upper_bound_si> -> <method isl_set_upper_bound_val>
SKIP (sig not supported: arg type FILE *): <method isl_set_print_internal>
SKIP (sig not supported: arg type FILE *): <method isl_map_read_from_file>
SKIP (val version available): <method isl_map_fix_si> -> <method isl_map_fix_val>
SKIP (val version available): <method isl_map_lower_bound_si> -> <method isl_map_lower_bound_val>
SKIP (val version available): <method isl_map_upper_bound_si> -> <method isl_map_upper_bound_val>
SKIP (sig not supported: arg type FILE *): <method isl_map_print_internal>
SKIP (sig not supported: arg type FILE *): <method isl_union_map_read_from_file>
SKIP (sig not supported: arg type FILE *): <method isl_union_set_read_from_file>
SKIP (2 undocumented methods): <method isl_basic_set_has_defining_equality>, <method isl_basic_set_has_defining_inequalities>
SKIP (sig not supported: non-give secondary ptr return value): <method isl_qpolynomial_substitute>
SKIP (sig not supported: arg type FILE *): <method isl_qpolynomial_print>
SKIP (sig not supported: arg type FILE *): <method isl_pw_qpolynomial_read_from_file>
SKIP (sig not supported: arg type FILE *): <method isl_pw_qpolynomial_print>
SKIP (sig not supported: non-give secondary ptr return value): <method isl_qpolynomial_fold_substitute>
SKIP (sig not supported: arg type FILE *): <method isl_qpolynomial_fold_print>
SKIP (sig not supported: arg type FILE *): <method isl_pw_qpolynomial_fold_print>
SKIP (sig not supported: arg type FILE *): <method isl_schedule_read_from_file>
SKIP (sig not supported: arg type FILE *): <method isl_schedule_constraints_read_from_file>
SKIP (sig not supported: arg type void *): <method isl_access_info_alloc>
SKIP (sig not supported: arg type isl_access_restrict ): <method isl_access_info_set_restrict>
SKIP (sig not supported: arg type void *): <method isl_access_info_add_source>
SKIP (sig not supported: unsupported callback arg: int ): <method isl_flow_foreach>
SKIP (sig not supported: arg type FILE *): <method isl_union_access_info_read_from_file>
SKIP (sig not supported: unsupported callback arg: isl_ast_expr_op_type ): <method isl_ast_expr_foreach_ast_expr_op_type>
SKIP (sig not supported: unsupported callback arg: isl_ast_expr_op_type ): <method isl_ast_expr_foreach_ast_op_type>
SKIP (sig not supported: unsupported callback arg: isl_ast_expr_op_type ): <method isl_ast_node_foreach_ast_expr_op_type>
SKIP (sig not supported: unsupported callback arg: isl_ast_expr_op_type ): <method isl_ast_node_foreach_ast_op_type>
SKIP (0 undocumented methods):
warning: no files found matching 'isl\include\isl\deprecated\*.h'
warning: no files found matching 'src\wrapper\*.h'
warning: no files found matching 'doc\_static\*.css'
warning: no files found matching 'doc\_templates\*.html'
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
wrap_isl.cpp
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
wrap_isl_part1.cpp
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(997): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(1014): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(1069): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(1086): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(1409): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(1426): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(18411): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(18428): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19365): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19382): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19437): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19454): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19509): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19526): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19581): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19598): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19653): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19670): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19725): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19742): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19797): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19814): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19869): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19886): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19941): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(19958): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20247): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20264): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20299): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20316): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20351): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20368): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20403): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20420): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20455): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20472): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20507): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20524): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20559): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20576): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20611): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(20628): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21012): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21029): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21084): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21101): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21569): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21586): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21641): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(21658): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(22803): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(22820): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(22875): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(22892): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(23126): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(23143): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(23320): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(23337): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(24089): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(24106): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(25619): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(25636): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(25691): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(25708): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26219): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26236): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26291): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26308): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26363): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26380): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26471): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26488): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26939): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(26956): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(27227): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(27244): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(27299): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(27316): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(29052): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(29069): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(30535): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(30552): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31057): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31074): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31129): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31146): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31201): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(31218): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(33373): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(33390): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34288): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34305): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34360): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34377): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34432): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(34449): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36189): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36206): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36261): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36278): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36639): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(36656): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(39429): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(39446): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(39501): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(39518): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(39987): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(40004): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43593): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43610): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43719): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43736): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43791): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(43808): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(47042): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(47059): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(47114): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(47131): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(48908): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(48925): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(48980): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(48997): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(52431): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(52448): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(52503): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part1.inc(52520): warning C4101: err: неиспользованная локальная переменная
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
wrap_isl_part2.cpp
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(967): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(984): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(1039): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(1056): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(1111): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(1128): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(4805): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(4822): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(8155): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(8172): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(8227): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(8244): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(10463): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(10480): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(14643): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(14660): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17327): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17344): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17399): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17416): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17471): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(17488): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(20188): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(20205): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(25529): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(25546): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(29415): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part2.inc(29432): warning C4101: err: неиспользованная локальная переменная
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
wrap_isl_part3.cpp
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(372): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(389): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(839): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(856): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(911): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(928): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(2885): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(2902): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(2957): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(2974): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(3173): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(3190): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4256): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4273): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4328): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4345): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4668): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(4685): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(5736): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(5753): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(5808): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(5825): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(7031): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(7048): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(7103): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(7120): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(8822): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(8839): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(8894): warning C4101: err: неиспользованная локальная переменная
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\src\wrapper\gen-wrap-part3.inc(8911): warning C4101: err: неиспользованная локальная переменная
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
basis_reduction_tab.c
isl\isl_int_sioimath.h(235): warning C4244: =: преобразование "uint64_t" в "mp_digit", возможна потеря данных
isl\isl_int_sioimath.h(364): warning C4244: функция: преобразование "int64_t" в "int32_t", возможна потеря данных
isl\isl_int_sioimath.h(520): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_int_sioimath.h(1022): warning C4244: =: преобразование "int64_t" в "int32_t", возможна потеря данных
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
bset_from_bmap.c
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
bset_to_bmap.c
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
dep.c
cl: командная строка warning D9002: пропуск неизвестного параметра "-fvisibility=hidden"
isl_aff.c
isl\isl_int_sioimath.h(235): warning C4244: =: преобразование "uint64_t" в "mp_digit", возможна потеря данных
isl\isl_int_sioimath.h(364): warning C4244: функция: преобразование "int64_t" в "int32_t", возможна потеря данных
isl\isl_int_sioimath.h(520): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_int_sioimath.h(1022): warning C4244: =: преобразование "int64_t" в "int32_t", возможна потеря данных
isl\isl_list_templ.c(116): warning C4267: =: преобразование из "size_t" в "int"; возможна потеря данных
isl\isl_list_templ.c(165): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(175): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(207): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(212): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(220): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(456): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(457): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(116): warning C4267: =: преобразование из "size_t" в "int"; возможна потеря данных
isl\isl_list_templ.c(165): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(175): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(207): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(212): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(220): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(456): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(457): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(116): warning C4267: =: преобразование из "size_t" в "int"; возможна потеря данных
isl\isl_list_templ.c(165): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(175): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(207): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(212): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(220): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(456): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(457): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(116): warning C4267: =: преобразование из "size_t" в "int"; возможна потеря данных
isl\isl_list_templ.c(165): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(175): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(207): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(212): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(220): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(456): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(457): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(116): warning C4267: =: преобразование из "size_t" в "int"; возможна потеря данных
isl\isl_list_templ.c(165): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(175): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(207): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(212): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(220): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_list_templ.c(456): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_list_templ.c(457): warning C4090: инициализация: разные квалификаторы "const"
isl\isl_aff.c(597): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_aff.c(1671): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_aff.c(2188): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_aff.c(2190): warning C4018: >=: несоответствие типов со знаком и без знака
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\isl\check_type_range_templ.c(15): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_aff.c(2541): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_pw_templ.c(584): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_pw_templ.c(584): error C2059: синтаксическая ошибка: ;
isl\isl_pw_templ.c(644): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_pw_templ.c(644): error C2059: синтаксическая ошибка: ;
isl\isl_union_templ.c(598): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_union_templ.c(598): error C2059: синтаксическая ошибка: ;
isl\isl_multi_no_explicit_domain.c(59): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_no_explicit_domain.c(59): error C2059: синтаксическая ошибка: ;
isl\isl_multi_no_explicit_domain.c(161): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_no_explicit_domain.c(161): error C2059: синтаксическая ошибка: ;
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\isl\check_type_range_templ.c(15): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(497): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(499): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(755): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(755): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(796): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(796): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(822): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(822): error C2059: синтаксическая ошибка: ;
isl\isl_aff.c(4165): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_aff.c(4173): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_pw_templ.c(584): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_pw_templ.c(584): error C2059: синтаксическая ошибка: ;
isl\isl_pw_templ.c(644): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_pw_templ.c(644): error C2059: синтаксическая ошибка: ;
isl\isl_union_templ.c(598): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_union_templ.c(598): error C2059: синтаксическая ошибка: ;
isl\isl_aff.c(4842): warning C4018: >=: несоответствие типов со знаком и без знака
isl\isl_aff.c(5205): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_aff.c(5386): warning C4018: <: несоответствие типов со знаком и без знака
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\isl\check_type_range_templ.c(15): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_multi_explicit_domain.c(182): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_explicit_domain.c(182): error C2059: синтаксическая ошибка: ;
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\isl\check_type_range_templ.c(15): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(497): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(499): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(755): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(755): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(796): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(796): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(822): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(822): error C2059: синтаксическая ошибка: ;
isl\isl_multi_explicit_domain.c(182): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_explicit_domain.c(182): error C2059: синтаксическая ошибка: ;
C:\Users\Alex_PC\AppData\Local\Temp\easy_install-7qc1wpwh\islpy-2021.1\isl\check_type_range_templ.c(15): warning C4018: >: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(497): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(499): warning C4018: <: несоответствие типов со знаком и без знака
isl\isl_multi_templ.c(755): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(755): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(796): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(796): error C2059: синтаксическая ошибка: ;
isl\isl_multi_templ.c(822): error C2061: синтаксическая ошибка: идентификатор "__attribute__"
isl\isl_multi_templ.c(822): error C2059: синтаксическая ошибка: ;
error: Setup script exited with error: command 'C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\BuildTools\\VC\\Tools\\MSVC\\14.28.29910\\bin\\HostX86\\x64\\cl.exe' failed with exit status 2
Failed building wheel for islpy

hash functions seem to be inconsistent with object equality

Describe the bug
Hash function does not respect object equality.

To Reproduce
Steps to reproduce the behavior:

import islpy
a = islpy.MultiAff("{ [i] -> [i] }")
b = islpy.MultiAff("{ [j] -> [j] }")
print(a == b) # prints "True"
print(hash(a) == hash(b)) # prints "False"

Expected behavior
I expect the hash function to be equal when the objects are equal.

Environment (please complete the following information):

• OS: MacOS
• Python version: 3.8

My Observations
It seems like the islpy wrapper is requires a <obj>_get_hash function in ISL to work properly, or else will fall back to a hash of the string: https://github.com/inducer/islpy/blob/main/islpy/__init__.py#L323. I believe those get_hash functions do not go through the wrapper script for some reason.

Aff `get_coefficients_by_name` intended behavior?

import islpy
aff = islpy.Aff("[N] -> { [x] -> [x+1] } ")
aff.get_coefficients_by_name(dimtype=None)

gives

isl_aff.c:763: output/set dimension does not have a coefficient

According the doc, setting dimtype to None should produce the coefficients for all dimensions?
I digged a little, in the generated _isl.py,

_CHECK_DIM_TYPES = [
        dim_type.in_, dim_type.param, dim_type.set]

which is used by obj_get_coefficients_by_name to retrieve the coefficients. When does Aff has a set dimension? Is this a bug or intended behavior?

ScheduleConstraints.set_validity calls appear to get ignored

Repro:

import islpy as isl

space = isl.Space.create_from_names(isl.DEFAULT_CONTEXT, set=["i"])
domain = isl.UnionSet("[n] -> { A[i] : 0 <= i < n; B[i] : 0 <= i < n }")
validity = isl.UnionMap("[n] -> { A[i] -> B[i] : 0 <= i < n }")
sc = isl.ScheduleConstraints.on_domain(domain)

sc.set_validity(validity)
validity2 = sc.get_validity()

print(validity)  # [n] -> { A[i] -> B[i] : 0 <= i < n }
print(validity2) # [n] -> {  }

isl.VERSION = (2020, 2, 2)

Cannot find schedule_node_type

The following error pops up:
AttributeError: 'module' object has no attribute 'schedule_node_type'

when try to do something like this:

if nodeTy == islpy.schedule_node_type.band:
    print "Node node_band"
elif nodeTy == islpy.schedule_node_type.sequence:
    print "Node node_sequence"
else:
    print "WOW none of them "

Cannot find dim by name from space using islpy.dim_type.all

It does work with isl.dim_type.set.
I'm not sure whether this is a islpy bug.

    ctx = isl.Context()

    ## Spaces
    names = ['s', 'x1', 'x2']
    space1 = isl.Space.create_from_names(ctx, set = names)
    print "get_id_dict ", space1.get_id_dict(isl.dim_type.set)
    print "find_dim_by_name " ,space1.find_dim_by_name(isl.dim_type.all,"x2")

Output:

get_id_dict  {Id("s'"): (3, 0), Id("x1"): (3, 1), Id("x2"): (3, 2)}
isl/isl_space.c:155: Assertion "0" failed
isl/isl_space.c:155: Assertion "0" failed
isl/isl_space.c:155: Assertion "0" failed
find_dim_by_name  -1

custom functions were not declared in this scope

hi:
I am adding a few custom functions in isl library，and I want to build Python wrapper for my functions in islpy.
but has smoe error, just like this:

g++ -Wsign-compare -DNDEBUG -fwrapv -Wall -Wstrict-prototypes -fPIC -DISLPY_INCLUDE_BARVINOK=1 -Isrc/wrapper -I/home/omnisky/islpy_build/include -I/media/omnisky/3754e7fd-b1ed-4d99-82d3-1c324ad764b9/home/omnisky/islpy_build/islpy/.eggs/pybind11-2.9.0-py3.7.egg/pybind11/include -I/media/omnisky/3754e7fd-b1ed-4d99-82d3-1c324ad764b9/home/omnisky/islpy_build/islpy/.eggs/pybind11-2.9.0-py3.7.egg/pybind11/include -I/home/omnisky/anaconda3/envs/isl_auto/include/python3.7m -c -std=gnu++14 src/wrapper/wrap_isl_part3.cpp -o build/temp.linux-x86_64-3.7/src/wrapper/wrap_isl_part3.o -fvisibility=hidden -DVERSION_INFO="2021.1" -fvisibility=hidden
cc1plus: warning: command line option ‘-Wstrict-prototypes’ is valid for C/ObjC but not for C++
In file included from src/wrapper/wrap_isl_part3.cpp:5:0:
src/wrapper/gen-wrap-part3.inc: In function ‘pybind11::object isl::schedule_dup(const isl::schedule&)’:
src/wrapper/gen-wrap-part3.inc:11524:24: error: ‘isl_schedule_dup’ was not declared in this scope
isl_schedule *result = isl_schedule_dup(arg_self.m_data);
^~~~~~~~~~~~~~~~
src/wrapper/gen-wrap-part3.inc:11524:24: note: suggested alternative: ‘isl_schedule_dump’
isl_schedule *result = isl_schedule_dup(arg_self.m_data);
^~~~~~~~~~~~~~~~
isl_schedule_dump
src/wrapper/gen-wrap-part3.inc: In function ‘int isl::schedule_node_band_member_get_space_time(const isl::schedule_node&, int)’:
src/wrapper/gen-wrap-part3.inc:15120:14: error: ‘isl_schedule_node_band_member_get_space_time’ was not declared in this scope
int result = isl_schedule_node_band_member_get_space_time(arg_self.m_data, arg_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/wrapper/gen-wrap-part3.inc:15120:14: note: suggested alternative: ‘schedule_node_band_member_get_space_time’
int result = isl_schedule_node_band_member_get_space_time(arg_self.m_data, arg_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
schedule_node_band_member_get_space_time
src/wrapper/gen-wrap-part3.inc: In function ‘pybind11::object isl::schedule_node_band_member_set_space_time(const isl::schedule_node&, int, int)’:
src/wrapper/gen-wrap-part3.inc:15144:29: error: ‘isl_schedule_node_band_member_set_space_time’ was not declared in this scope
isl_schedule_node *result = isl_schedule_node_band_member_set_space_time(auto_arg_self->m_data, arg_pos, arg_loop_type);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/wrapper/gen-wrap-part3.inc:15144:29: note: suggested alternative: ‘schedule_node_band_member_set_space_time’
isl_schedule_node *result = isl_schedule_node_band_member_set_space_time(auto_arg_self->m_data, arg_pos, arg_loop_type);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
schedule_node_band_member_set_space_time
src/wrapper/gen-wrap-part3.inc: In function ‘int isl::schedule_node_band_member_get_sched_pos(const isl::schedule_node&, int)’:
src/wrapper/gen-wrap-part3.inc:15168:14: error: ‘isl_schedule_node_band_member_get_sched_pos’ was not declared in this scope
int result = isl_schedule_node_band_member_get_sched_pos(arg_self.m_data, arg_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/wrapper/gen-wrap-part3.inc:15168:14: note: suggested alternative: ‘schedule_node_band_member_get_sched_pos’
int result = isl_schedule_node_band_member_get_sched_pos(arg_self.m_data, arg_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
schedule_node_band_member_get_sched_pos
src/wrapper/gen-wrap-part3.inc: In function ‘pybind11::object isl::schedule_node_band_member_set_sched_pos(const isl::schedule_node&, int, int)’:
src/wrapper/gen-wrap-part3.inc:15192:29: error: ‘isl_schedule_node_band_member_set_sched_pos’ was not declared in this scope
isl_schedule_node *result = isl_schedule_node_band_member_set_sched_pos(auto_arg_self->m_data, arg_pos, arg_sched_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/wrapper/gen-wrap-part3.inc:15192:29: note: suggested alternative: ‘schedule_node_band_member_set_sched_pos’
isl_schedule_node *result = isl_schedule_node_band_member_set_sched_pos(auto_arg_self->m_data, arg_pos, arg_sched_pos);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
schedule_node_band_member_set_sched_pos
error: command 'g++' failed with exit status 1

How to fixed it? Thanks!

Conditional branches for `across_dim_types` in `align_spaces()` appear identical

It looks like the two conditional branches for bool across_dim_types in align_spaces() do exactly the same thing.

isl_union_access_info_from_sink missing

Currently UnionAccessInfo is missing the static constructors? Can this be fixed? Thanks!

Type casting no longer works

import islpy
s1 = islpy.UnionSet("{[0]}")
s2 = islpy.BasicSet("{[1]}")

s2.union(s1) # works fine
s1.union(s2) # does not work 

This is for the version 2020.2 on pypi.
In version 2019.1.2, both statements with union works fine.

Updating the demo to python 3.3

Hi, if you get a chance, I'm having some trouble running the demo in python 3.3.

I'm not sure how the line:

union, = bsets_in_union

translates, and this also won't run in Python 2.7.

Using:

#!/usr/bin/env python3.3
import islpy as isl

ctx = isl.Context()
space = isl.Space.create_from_names(ctx, set=["x", "y"])

bset = (isl.BasicSet.universe(space)
        .add_constraint(isl.Constraint.ineq_from_names(space, {1: -1, "x": 1}))
        .add_constraint(isl.Constraint.ineq_from_names(space, {1: 5, "x": -1}))
        .add_constraint(isl.Constraint.ineq_from_names(space, {1: -1, "y": 1}))
        .add_constraint(isl.Constraint.ineq_from_names(space, {1: 5, "y": -1})))
print("set 1:", bset)

bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }")
print("set 2:", bset2)

bsets_in_union = []
bset.union(bset2).coalesce().foreach_basic_set(bsets_in_union.append)
#union, = bsets_in_union
union = bsets_in_union
print("union:", union)

Outputs:

$ ./demo.py
set 1: { [x, y] : x >= 1 and x <= 5 and y >= 1 and y <= 5 }
set 2: { [x, y] : x >= 0 and x <= 4 and y >= 0 and y <= 3 + x }
union: [BasicSet("{ [x, y] : x >= 1 and x <= 5 and y >= 1 and y <= 5 }"), BasicSet("{ [x, y] : x >= 0 and x <= 4 and y >= 0 and y <= 3 + x }")]

Which isn't the same as the posted example showing

union: { [x, y] : x >= 0 and y >= 0 and x <= 5 and y <= 3 + 2x and y >= -4 + x and y <= 15 - 2x and 3y <= 13 + 2x }

ASTNodeList broken

Hi -

I was trying to perform code generation with islpy's AST package, and noticed some problem with AstNodeList class. Specifically, AstNode.block_get_children() raises exception, and this is caused by its internal children list not exposed by ISL's public API.

To reproduce an exception, use the following code:

import islpy
ctx = islpy.Context()
schedule_map = islpy.UnionMap.read_from_str(ctx, "[N] -> { S0[i] -> [i, 0] : 0 <= i < N; S1[i] -> [i, 1] : 0 <= i < N }")
ast_build = islpy.AstBuild.from_context(islpy.Set.read_from_str(ctx, "[N] -> { : }"))
ast = ast_build.node_from_schedule_map(schedule_map)

print(ast.to_C_str())
# Prints below code:
# for (int c0 = 0; c0 < N; c0 += 1) {
#  S0(c0);
#  S1(c0);
# }

# we have S0 and S1 in a ast_node_block, which holds "children" of type ASTNodeList
body = ast.for_get_body()
assert body.get_type() == islpy.ast_node_type.block

body.block_get_children()
# Raises exception!

The above code outputs:

for (int c0 = 0; c0 < N; c0 += 1) {
  S0(c0);
  S1(c0);
}

Traceback (most recent call last):
  File "polyppl/islpy_error.py", line 18, in <module>
    body.block_get_children()
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 106252, in block_get_children
    _result = None if (_result == ffi.NULL or _result is None) else AstNodeList(_data=_result)
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 74, in __init__
    self._setup(_data)
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 81, in _setup
    self._set_ctx_data()
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 97, in _set_ctx_data
    self._ctx_data = self._get_ctx_data()
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 550, in _get_ctx_data
    return lib.isl_ast_node_list_get_ctx(self.data)
AttributeError: cffi library '<None>' has no function, constant or global variable named 'isl_ast_node_list_get_ctx'
Exception ignored in: <function AstNodeList.__del__ at 0x7f92f80c1a60>
Traceback (most recent call last):
  File "/anaconda3/envs/polyppl/lib/python3.7/site-packages/islpy-2019.1.2-py3.7-macosx-10.7-x86_64.egg/islpy/_isl.py", line 554, in __del__
    lib.isl_ast_node_list_free(self.data)
AttributeError: cffi library '<None>' has no function, constant or global variable named 'isl_ast_node_list_free'

I see that this issue is not really caused by islpy, but by ISL not exposing the list interface of ast_node_list. That is, even if islpy didn't throw any exception, I still wouldn't be inspect the children list of an ast node block... related ISL discussion: https://groups.google.com/forum/#!topic/isl-development/RcNy4ogqRso

For now, I think the easiest fix would be to disable the block_get_children function in islpy, and document a caveat saying that AST inspection cannot be done fully -- unless the author of this repo has any better solution?

Context cannot be copied

Hi -

It seems like Context class has some oddities with copying.

import islpy
import copy

ctx = islpy.Context()
assert copy.copy(ctx).data == ctx.data                     # Fails
assert copy.copy(ctx).data == islpy.DEFAULT_CONTEXT.data   # Goes through

Is this the intended behavior?

related docs: https://documen.tician.de/islpy/reference.html#global-data

More upcasts?

Hi,

I'm wondering if we can add more upcasts opportunities other than those listed in the documentation?

For example, it's desirable to upcast MultiAff to PwMultAff, since the later implements the is_equal method: https://github.com/inducer/islpy/blob/main/islpy/__init__.py#L951.

Otherwise, currently

assert islpy.MultiAff("{[i] -> [i]}") == islpy.MultiAff("{[i] -> [i]}")

fails because the __eq__ method currently is just doing pointer testing.

Tiling using islpy

Hi, I want to perform scheduling followed by tiling using islpy. Till now, I was able to compute a schedule by setting appropriate validity constraints and able to extract a band by using get_band_forest() function. After this I want to tile each band. For tiling a band, I need to use tile() function. But it needs vector of tile sizes.
My question is: How to know the number of tile sizes to be inserted into a vector so that a band can be tiled ?
In particular how to know dimensions of a band to provide that many tile sizes.
Currently my band looks like:
({ S1[i, j] -> [] },{ S1[i, j] -> [i, i + j] },{ S1[i, j] -> [] })
Thank you in advance.

Add ast_node_type.mark

Is your feature request related to a problem? Please describe.
The ast_node_type.mark is not present in the enum exposed to python. See here.

However, it is present in the C isl used by this package. See here

Describe the solution you'd like
Add the node type to the enum.

Describe alternatives you've considered
Comparing to every other node type to acertain that it can only be a mark may be an option, but not a very pleasant one.

Additional context
Mark nodes are often important during AST manipulation.

examples/demo.py crash

I am running islpy-2018.1 and demo.py crashes around line 13 of the above file.
Adding ",context=ctx" to that fixes the problem:

bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }",
context=ctx)

Robert

`multi_aff` suffers from pcpp's whitespace dropping behavior?

Hi,

I noticed that functions like get_space never made into the wrapped MultiAff class.
After some investigation, I believe it's caused by this issue.

I also hypothesize that this is the cause of the following behavior:

assert islpy.MultiAff("{[i] -> [i]}") == islpy.MultiAff("{[i] -> [i]}") # Assertion error !

imath is slow

Two snippets (one calling the native ISL routines, and the other islpy wrapped routines) perform equivalent ISL operations, however vastly differ in the performance:

kgk2@quail:~/temp$ python islpy_reproducer.py 
Time elapsed: 1.7952229976654053 secs
kgk2@quail:~/temp$ gcc -o isl_reproducer isl_reproducer.c -I$PWD/isl/build/include -L$PWD/isl/build/lib -lisl
kgk2@quail:~/temp$ ./isl_reproducer 
Time elapsed: 0.675251 seconds.

(both are linked against ISL-0.22.1)

Must not use Pybind's implicit object-identity `__hash__`

To Reproduce

1. Create a file: islpy_hash.py as:

import islpy as isl


a = isl.BasicSet("{[i,j]: 0<=i<=j<10}")

print(hash("hashing of islpy objects isn't Python compliant"))
print(hash(a))
print(hash(a))

2. Call it as PYTHONHASHSEED=3 python islpy_hash.py.

Observed behavior

(py311_env) [line@line ~]$ PYTHONHASHSEED=3 python islpy_hash.py 
-5820926828285319218
8778101896947
8778101896947
(py311_env) [line@line ~]$ PYTHONHASHSEED=3 python islpy_hash.py 
-5820926828285319218
8727734557427
8727734557427
(py311_env) [line@line ~]$ PYTHONHASHSEED=3 python islpy_hash.py 
-5820926828285319218
8787476382451
8787476382451

Expected behavior

The message printed to stdout must be the same across interpreter runs.

cant install islpy

when i install islpy ,there is an error

     isl\isl_multi_templ.c(764): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(764): error C2059: syntax error: ';'
      isl\isl_multi_templ.c(805): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(805): error C2059: syntax error: ';'
      isl\isl_multi_templ.c(831): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(831): error C2059: syntax error: ';'
      isl\isl_multi_explicit_domain.c(182): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_explicit_domain.c(182): error C2059: syntax error: ';'
      c:\users\mycomputer\appdata\local\temp\pip-install-t_id55rm\islpy_f0984a0c04274c78bcf7c4ebb0157c45\isl\check_type_range_templ.c(15): warning C4018: '>': signed/unsigned mismatch
      isl\isl_multi_templ.c(506): warning C4018: '<': signed/unsigned mismatch
      isl\isl_multi_templ.c(508): warning C4018: '<': signed/unsigned mismatch
      isl\isl_multi_templ.c(764): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(764): error C2059: syntax error: ';'
      isl\isl_multi_templ.c(805): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(805): error C2059: syntax error: ';'
      isl\isl_multi_templ.c(831): error C2061: syntax error: identifier '__attribute__'
      isl\isl_multi_templ.c(831): error C2059: syntax error: ';'
      error: command 'C:\\Program Files (x86)\\Microsoft Visual Studio 14.0\\VC\\BIN\\x86_amd64\\cl.exe' failed with exit code 2

could you please tell me how to fix it

Fails to compile on macOS

Hi,

I just noticed that the current master fails to compile on my macOS:

isl/isl_hash.c:52:16: error: implicit declaration of function 'ffs' is invalid in C99 [-Werror,-Wimplicit-function-declaration]
        table->bits = ffs(round_up(4 * (min_size + 1) / 3 - 1)) - 1;
4 warnings and 1 error generated.
error: command 'gcc' failed with exit status 1

I manually added #include <string.h> in isl_hash.c and compilation works again.
I'm not sure if this is a problem is islpy (referencing the wrong submodule commit), or a bug in ISL itself?

incompatibility with nanobind 2.0

Describe the bug
nanobind 2.0.0 was released two days ago (May 23, 2024). Since then, islpy fails to run properly, producing errors ValueError: list.remove(x): x not in list

To Reproduce
Steps to reproduce the behavior: trigger a CI run
See also https://github.com/francesco-ballarin/islpy/actions/runs/9233917330

Expected behavior
Compatibility with nanobind 2.0

Environment (please complete the following information):
Any environment tested on github actions.

Type stubs for Python typing

Hi,

I would like to generate type stubs so that we can use type checking with islpy functions.

I'm thinking of extending gen_wrap to achieve this, but was also wondering if the maintainer has any good suggestions?

Also, it seems like the sphinx docs can already harvest the type signatures (from the generated c++ wrapper code?).

multiple definition of strtoimax, strtoumax, wcstoimax, wcstoumax when building with gcc 13.1.0

Describe the bug
I am getting a compilation error reporting multiple definition of strtoimax, strtoumax, wcstoimax, wcstoumax when building the latest release with gcc 13.1.0. gcc 12.3.0 does not seem to be affected.

To Reproduce
Steps to reproduce the behavior: try to build islpy on a system with gcc 13.1.0.

Expected behavior
No errors, obviously ;)

Environment (please complete the following information):

• OS: Ubuntu 20.04.6 LTS
• Python version: Python 3.10.12
• gcc 13.1.0

Additional context

Full compilation error

     [109/110] Linking CXX shared module _isl.cpython-310-x86_64-linux-gnu.so
     FAILED: _isl.cpython-310-x86_64-linux-gnu.so
     : && /usr/bin/c++ -fPIC -fvisibility=hidden -O3 -DNDEBUG -flto=auto -fno-fat-lto-objects  -Wl,-s -Wl,--gc-sections -shared  -o _isl.cpython-310-x86_64-linux-gnu.so CMakeFiles/_isl.dir/src/wrapper/wrap_isl.cpp.o CMakeFiles/_isl.dir/src/wrapper/wrap_isl_part1.cpp.o CMakeFiles/_isl.dir/src/wrapper/wrap_isl_part2.cpp.o CMakeFiles/_isl.dir/src/wrapper/wrap_isl_part3.cpp.o CMakeFiles/_isl.dir/isl/isl_ast_codegen.c.o CMakeFiles/_isl.dir/isl/isl_map_to_basic_set.c.o CMakeFiles/_isl.dir/isl/isl_schedule_node.c.o CMakeFiles/_isl.dir/isl/isl_factorization.c.o CMakeFiles/_isl.dir/isl/isl_convex_hull.c.o CMakeFiles/_isl.dir/isl/isl_bound.c.o CMakeFiles/_isl.dir/isl/isl_val_sioimath.c.o CMakeFiles/_isl.dir/isl/set_to_map.c.o CMakeFiles/_isl.dir/isl/isl_affine_hull.c.o CMakeFiles/_isl.dir/isl/isl_arg.c.o CMakeFiles/_isl.dir/isl/isl_tab_pip.c.o CMakeFiles/_isl.dir/isl/print.c.o CMakeFiles/_isl.dir/isl/isl_int_sioimath.c.o CMakeFiles/_isl.dir/isl/isl_polynomial.c.o CMakeFiles/_isl.dir/isl/isl_aff.c.o CMakeFiles/_isl.dir/isl/set_from_map.c.o CMakeFiles/_isl.dir/isl/isl_aff_map.c.o CMakeFiles/_isl.dir/isl/isl_input.c.o CMakeFiles/_isl.dir/isl/isl_stride.c.o CMakeFiles/_isl.dir/isl/isl_tarjan.c.o CMakeFiles/_isl.dir/isl/isl_local.c.o CMakeFiles/_isl.dir/isl/isl_ffs.c.o CMakeFiles/_isl.dir/isl/isl_id.c.o CMakeFiles/_isl.dir/isl/isl_ast_graft.c.o CMakeFiles/_isl.dir/isl/isl_output.c.o CMakeFiles/_isl.dir/isl/isl_schedule_band.c.o CMakeFiles/_isl.dir/isl/isl_map.c.o CMakeFiles/_isl.dir/isl/isl_stream.c.o CMakeFiles/_isl.dir/isl/isl_imath.c.o CMakeFiles/_isl.dir/isl/isl_equalities.c.o CMakeFiles/_isl.dir/isl/dep.c.o CMakeFiles/_isl.dir/isl/isl_ctx.c.o CMakeFiles/_isl.dir/isl/isl_range.c.o CMakeFiles/_isl.dir/isl/isl_space.c.o CMakeFiles/_isl.dir/isl/isl_morph.c.o CMakeFiles/_isl.dir/isl/isl_coalesce.c.o CMakeFiles/_isl.dir/isl/isl_fold.c.o CMakeFiles/_isl.dir/isl/isl_version.c.o CMakeFiles/_isl.dir/isl/isl_ast.c.o CMakeFiles/_isl.dir/isl/set_list_from_map_list_inl.c.o CMakeFiles/_isl.dir/isl/isl_set_list.c.o CMakeFiles/_isl.dir/isl/isl_sort.c.o CMakeFiles/_isl.dir/isl/isl_flow.c.o CMakeFiles/_isl.dir/isl/isl_schedule_constraints.c.o CMakeFiles/_isl.dir/isl/isl_reordering.c.o CMakeFiles/_isl.dir/isl/isl_bernstein.c.o CMakeFiles/_isl.dir/isl/isl_schedule_tree.c.o CMakeFiles/_isl.dir/isl/isl_ast_build.c.o CMakeFiles/_isl.dir/isl/isl_vertices.c.o CMakeFiles/_isl.dir/isl/isl_set_to_ast_graft_list.c.o CMakeFiles/_isl.dir/isl/uset_to_umap.c.o CMakeFiles/_isl.dir/isl/isl_mat.c.o CMakeFiles/_isl.dir/isl/isl_ast_build_expr.c.o CMakeFiles/_isl.dir/isl/basis_reduction_tab.c.o CMakeFiles/_isl.dir/isl/isl_dim_map.c.o CMakeFiles/_isl.dir/isl/isl_point.c.o CMakeFiles/_isl.dir/isl/isl_farkas.c.o CMakeFiles/_isl.dir/isl/isl_hash.c.o CMakeFiles/_isl.dir/isl/isl_sample.c.o CMakeFiles/_isl.dir/isl/isl_schedule_read.c.o CMakeFiles/_isl.dir/isl/isl_options.c.o CMakeFiles/_isl.dir/isl/isl_ilp.c.o CMakeFiles/_isl.dir/isl/isl_scan.c.o CMakeFiles/_isl.dir/isl/isl_transitive_closure.c.o CMakeFiles/_isl.dir/isl/uset_from_umap.c.o CMakeFiles/_isl.dir/isl/isl_val.c.o CMakeFiles/_isl.dir/isl/bset_to_bmap.c.o CMakeFiles/_isl.dir/isl/isl_map_list.c.o CMakeFiles/_isl.dir/isl/isl_union_map.c.o CMakeFiles/_isl.dir/isl/isl_scheduler_clustering.c.o CMakeFiles/_isl.dir/isl/isl_printer.c.o CMakeFiles/_isl.dir/isl/isl_lp.c.o CMakeFiles/_isl.dir/isl/isl_id_to_id.c.o CMakeFiles/_isl.dir/isl/isl_id_to_ast_expr.c.o CMakeFiles/_isl.dir/isl/isl_obj.c.o CMakeFiles/_isl.dir/isl/isl_box.c.o CMakeFiles/_isl.dir/isl/bset_from_bmap.c.o CMakeFiles/_isl.dir/isl/isl_scheduler_scc.c.o CMakeFiles/_isl.dir/isl/isl_tab.c.o CMakeFiles/_isl.dir/isl/isl_blk.c.o CMakeFiles/_isl.dir/isl/isl_map_subtract.c.o CMakeFiles/_isl.dir/isl/isl_local_space.c.o CMakeFiles/_isl.dir/isl/isl_id_to_pw_aff.c.o CMakeFiles/_isl.dir/isl/isl_scheduler.c.o CMakeFiles/_isl.dir/isl/isl_deprecated.c.o CMakeFiles/_isl.dir/isl/isl_constraint.c.o CMakeFiles/_isl.dir/isl/isl_vec.c.o CMakeFiles/_isl.dir/isl/isl_map_simplify.c.o CMakeFiles/_isl.dir/isl/isl_seq.c.o CMakeFiles/_isl.dir/isl/isl_schedule.c.o CMakeFiles/_isl.dir/isl/imath/imath.c.o CMakeFiles/_isl.dir/isl/imath/imrat.c.o CMakeFiles/_isl.dir/isl/imath/gmp_compat.c.o  libnanobind-static.a && :
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_convex_hull.c.o (symbol from plugin): in function `isl_basic_map_remove_redundancies':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_convex_hull.c.o (symbol from plugin): in function `isl_basic_map_remove_redundancies':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_convex_hull.c.o (symbol from plugin): in function `isl_basic_map_remove_redundancies':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_convex_hull.c.o (symbol from plugin): in function `isl_basic_map_remove_redundancies':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bound.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bound.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bound.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bound.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_affine_hull.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_affine_hull.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_affine_hull.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_affine_hull.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab_pip.c.o (symbol from plugin): in function `isl_context_lex_op':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab_pip.c.o (symbol from plugin): in function `isl_context_lex_op':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab_pip.c.o (symbol from plugin): in function `isl_context_lex_op':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab_pip.c.o (symbol from plugin): in function `isl_context_lex_op':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_int_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_int_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_int_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_int_sioimath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_polynomial.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_polynomial.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_polynomial.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_polynomial.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff.c.o (symbol from plugin): in function `isl_aff_is_nan':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff.c.o (symbol from plugin): in function `isl_aff_is_nan':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff.c.o (symbol from plugin): in function `isl_aff_is_nan':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff.c.o (symbol from plugin): in function `isl_aff_is_nan':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_aff_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_input.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_input.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_input.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_input.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stride.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stride.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stride.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stride.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_output.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_output.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_output.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_output.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map.c.o (symbol from plugin): in function `isl_set_is_wrapping':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map.c.o (symbol from plugin): in function `isl_set_is_wrapping':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map.c.o (symbol from plugin): in function `isl_set_is_wrapping':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map.c.o (symbol from plugin): in function `isl_set_is_wrapping':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stream.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stream.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stream.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_stream.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_imath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_imath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_imath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_imath.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_equalities.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_equalities.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_equalities.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_equalities.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ctx.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ctx.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ctx.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ctx.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_range.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_range.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_range.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_range.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_morph.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_morph.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_morph.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_morph.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_coalesce.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_coalesce.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_coalesce.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_coalesce.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_fold.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_fold.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_fold.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_fold.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_reordering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_reordering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_reordering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_reordering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bernstein.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bernstein.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bernstein.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_bernstein.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vertices.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vertices.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vertices.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vertices.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_mat.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_mat.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_mat.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_mat.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/basis_reduction_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/basis_reduction_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/basis_reduction_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/basis_reduction_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_dim_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_dim_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_dim_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_dim_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_point.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_point.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_point.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_point.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_farkas.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_farkas.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_farkas.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_farkas.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_sample.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_sample.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_sample.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_sample.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ilp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ilp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ilp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_ilp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scan.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scan.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scan.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scan.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_transitive_closure.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_transitive_closure.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_transitive_closure.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_transitive_closure.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val.c.o (symbol from plugin): in function `isl_val_is_nan':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val.c.o (symbol from plugin): in function `isl_val_is_nan':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val.c.o (symbol from plugin): in function `isl_val_is_nan':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_val.c.o (symbol from plugin): in function `isl_val_is_nan':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_union_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_union_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_union_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_union_map.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_clustering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_clustering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_clustering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_clustering.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_printer.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_printer.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_printer.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_printer.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_lp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_lp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_lp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_lp.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_box.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_box.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_box.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_box.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_scc.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_scc.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_scc.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler_scc.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_tab.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_blk.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_blk.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_blk.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_blk.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_subtract.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_subtract.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_subtract.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_subtract.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local_space.c.o (symbol from plugin): in function `isl_basic_map_sort_divs':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local_space.c.o (symbol from plugin): in function `isl_basic_map_sort_divs':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local_space.c.o (symbol from plugin): in function `isl_basic_map_sort_divs':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_local_space.c.o (symbol from plugin): in function `isl_basic_map_sort_divs':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id_to_pw_aff.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id_to_pw_aff.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id_to_pw_aff.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_id_to_pw_aff.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler.c.o (symbol from plugin): in function `isl_sched_node_scc_exactly':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler.c.o (symbol from plugin): in function `isl_sched_node_scc_exactly':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler.c.o (symbol from plugin): in function `isl_sched_node_scc_exactly':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_scheduler.c.o (symbol from plugin): in function `isl_sched_node_scc_exactly':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_constraint.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_constraint.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_constraint.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_constraint.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vec.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vec.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vec.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_vec.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_simplify.c.o (symbol from plugin): in function `isl_basic_map_plain_is_disjoint':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_simplify.c.o (symbol from plugin): in function `isl_basic_map_plain_is_disjoint':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_simplify.c.o (symbol from plugin): in function `isl_basic_map_plain_is_disjoint':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_map_simplify.c.o (symbol from plugin): in function `isl_basic_map_plain_is_disjoint':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_seq.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_seq.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_seq.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_seq.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_schedule.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_schedule.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `strtoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_schedule.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoimax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     /usr/bin/ld: CMakeFiles/_isl.dir/isl/isl_schedule.c.o (symbol from plugin): in function `strtoimax':
     (.text+0x0): multiple definition of `wcstoumax'; CMakeFiles/_isl.dir/isl/isl_factorization.c.o (symbol from plugin):(.text+0x0): first defined here
     collect2: error: ld returned 1 exit status

Creating BasicSet from string prints to stderror

Following throws a python error, but also prints to stderr.

import islpy as isl
isl.BasicSet("{['/* im_x_inner */ lid(0)']}")

Error on creating a new Id

When trying to create a new Id:

 newid  = isl.Id(context = ctx, name = 'x0') 

I've got the following error:

newid  = isl.Id(context = ctx, name = 'x0')
File "/usr/local/lib/python2.7/dist-packages/islpy/__init__.py", line 504, in id_init
    new_me = cls.alloc(context, name, user)
TypeError: alloc() takes exactly 1 argument (3 given)
Exception AttributeError: "'Id' object has no attribute 'data'" in <object repr() failed> ignored

Unable to find documentation for Access and related Dataflow objects

I wish to use the AccessInfo classes in islpy, but there's no documentation being generated for them at all as far as I can see - link to docs here

Do the bindings exist? (As in, are the bindings generated but undocumented?) Or is it that there are a todo on the islpy library? If it is the latter, then I'd be glad to help out with a couple of pointers.

Thanks!

How to install correctly using "build-with-barvinok.sh"?

To Whom It May Concern,

I am trying to build islpy with barvinok to get the functionality of cardinality.

I use brew to install necessary tools such as gcc, libtool, automake. I create a virtual env in miniconda under python3.6 and pip install pcpp. when I run build-with-barvinok.sh everything looks good. It ends with the message "Finished processing dependencies for islpy==2019.1.2". and I also saw the .so files under my ~/pack/barvinok. When I run "pip list" I saw islpy is showing there.

But when I trying to import islpy it gives me following error msg:

import islpy
Traceback (most recent call last):
File "", line 1, in
File "/local/home/yuilirui/islpy/islpy/islpy/init.py", line 25, in
import islpy._isl as _isl
ModuleNotFoundError: No module named 'islpy._isl'

Could you please help to figure out the reason?

'user' of isl Id object

Hi,

I get this error when I try to call

Id.alloc(ctx, name, user)

where user != None :

File "/usr/lib64/python3.3/site-packages/islpy/_isl.py", line 35073, in alloc
raise Error("passing non-None arguments for 'user' "
islpy._isl.Error: passing non-None arguments for 'user' is not yet supported

So I use my own id -> user map to keep track of Id users and I call -

Id.alloc(ctx, name, None)

This used to work fine with v2016.1.1, however it fails in v2016.1.2 with this error message :

Exception AttributeError: "'NoneType' object has no attribute 'isl_id_free'" in Exception AttributeError: "'NoneType' object has no attribute 'isl_basic_map_free'" in Exception AttributeError: "'NoneType' object has no attribute 'isl_id_free'" in Exception AttributeError: "'NoneType' object has no attribute 'isl_basic_map_free'" in Exception AttributeError: "'NoneType' object has no attribute 'isl_id_free'" in Exception AttributeError: "'NoneType' object has no attribute 'isl_basic_set_free'" in Exception Attr ... (like a hundred times)

I see that its trying to free the Id objects, and users are of NoneType, hence not able to get attributes 'isl_basic_map_free' or 'isl_basic_set_free'. Am I doing something wrong or is this an issue to be fixed in islpy? Please let me know how to resolve this.

Thanks in advance,
Vinay

Installation issues with pip3.4

Hi,
I had some problems while installing islpy. I tried compiling from the git source as well as installation using pip3.4.

Header file imath.h seems to be missing and build fails when compiled from the git source.

I tried installing with pip, I get the following errors (attached in islpy.txt)
islpy.txt

Thanks,
Aravind

no module named 'islpy._isl_cffi'

Hello,

I've tried compiling islpy from the .tar.gz providded on pypi. I'm using islpy-2016.2.2.

setup.py succeeds, but actually trying to import islpy fails.

╰─$ python
Python 3.6.1 (v3.6.1:69c0db5050, Mar 21 2017, 01:21:04)
[GCC 4.2.1 (Apple Inc. build 5666) (dot 3)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>>   File "/Users/bollu/build/islpy-2016.2.2/islpy/_isl.py", line 14, in <module>
>>> import islpy
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/Users/bollu/build/islpy-2016.2.2/islpy/__init__.py", line 25, in <module>
    import islpy._isl as _isl
  File "/Users/bollu/build/islpy-2016.2.2/islpy/_isl.py", line 14, in <module>
    from islpy._isl_cffi import ffi
ModuleNotFoundError: No module named 'islpy._isl_cffi'
>>>

╭─bollu@cantordust  ~/build/islpy-2016.2.2 ‹2.3.1›
╰─$ python --version
Python 3.6.1
╭─bollu@cantordust  ~/build/islpy-2016.2.2 ‹2.3.1›
╰─$ pip --version
pip 9.0.1 from /Library/Frameworks/Python.framework/Versions/3.6/lib/python3.6/site-packages (python 3.6)

I'm on Mac OS X El capitan.

Build on Windows

I'm trying to build this on Windows for Python 3.6, since I'd like to use Loopy in a project, where we ship packages to Mac, Linux & Win. I've started by trying to see if MSVC 14 could build ISL, but I'm becoming sceptical:

A few things I've done in isl/include/isl/ctx.h,

#define __attribute__(...)

and in isl/isl_arg.c:20 to

static struct isl_arg *help_arg;

Finally, I'm seeing at the end of the build

isl_hash.obj : error LNK2001: unresolved external symbol ffs
isl_stream.obj : error LNK2001: unresolved external symbol strcasecmp
build\lib.win-amd64-3.6\islpy\_isl_cffi.pyd : fatal error LNK1120: 2 unresolved externals

It looks like strcasecmp is a known one and ffs is a GCC builtin, so those can likely be mapped to Windows equivalents.

I'm worried that ignoring __attribute__ might hurt ISL correctness.

Another route would be to compile it all with GCC on MinGW 64, but I'm not sure how compatible this would be with the standard Python packages. Could that be used to produce wheels, etc?

edited to increase SNR

Wrong wrapper for `isl_ast_op_type_print_macro`

I noticed that the ISL function isl_ast_op_type_print_macro got parsed into the wrong class:
https://documen.tician.de/islpy/ref_ast.html?highlight=op_type_print_macro#islpy.AstExpr.op_type_print_macro.

I'm leaving an issue here since I'm not sure what's the best approach to fix it.

barvinok?

I see that there's some work on barvinok support. How do I enable it?
If it's still under construction, I can also help on that.