Mock Version: 1.4.9
Mock Version: 1.4.9
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f31-build-57316-28309/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x20011d9898>timeout=345600uid=995gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1548892800
Wrote: /builddir/build/SRPMS/cohomCalg-0.32-4.fc31.src.rpm
Child return code was: 0
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f31-build-57316-28309/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x20011d9898>timeout=345600uid=995gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1548892800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.suqj9r
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cohomCalg-0.32
+ /usr/bin/gzip -dc /builddir/build/SOURCES/cohomCalg-0.32.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cohomCalg-0.32
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ /usr/bin/xz -dc /builddir/build/SOURCES/cohomCalg-test.tar.xz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ rm -f bin/cohomcalg.exe bin/cohomcalg32.exe manual.pdf
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.dJo41r
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ /usr/bin/make -O -j4 V=1 VERBOSE=1 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' 'CXXFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
BUILDSTDERR: source/secondarycohom.cpp: In member function 'bool CSecondaryCohomology::TraverseSRpowerset(const CInternalData&)':
BUILDSTDERR: source/secondarycohom.cpp:429:10: warning: unused variable 'stat' [-Wunused-variable]
BUILDSTDERR:   429 |  thread *stat = new thread(StatusOutputWorker, wstat);
BUILDSTDERR:       |          ^~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c: In function 'int SolveDiophantine(Matrix*, Matrix**, Vector**)':
BUILDSTDERR: source/polylib_mod/SolveDio.c:104:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   104 |   for (i = 0; i < A->NbRows -1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:105:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   105 |     for (j = 0; j < A->NbColumns-1; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:164:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   164 |   for (i = rank; i < hermi->NbColumns; i++)
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:171:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   171 |   for (i = rank; i < hermi->NbRows; i++) {
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:173:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   173 |     for (j = 0; j < hermi->NbColumns; j++) {
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:194:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   194 |   if (rank == hermi->NbColumns)
BUILDSTDERR:       |       ~~~~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:199:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   199 |     for (i = 0; i < U[0]->NbRows; i++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:200:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   200 |       for (j = 0; j < U[0]->NbColumns; j++)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:204:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   204 |   for (i = 0; i < unimodinv->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:208:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   208 |     for (j = 0; j < unimodinv->NbColumns; j++) {
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c: In function 'void RearrangeMatforSolveDio(Matrix*)':
BUILDSTDERR: source/polylib_mod/SolveDio.c:259:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   259 |   for (i = 0; i < L->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:260:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   260 |     for (j = 0; j < L->NbColumns; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:266:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   266 |     for (j = 0; j < L->NbColumns; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:269:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   269 |     if (j == L->NbColumns) {
BUILDSTDERR:       |         ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:282:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   282 |     for (i = 0; i <L->NbColumns; i++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:287:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   287 |       for (i = 0;i <A->NbColumns; i++)
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:290:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   290 |       for (i = 0; i < H->NbRows; i++)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:293:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   293 |       if (i != H->NbRows) {
BUILDSTDERR:       |           ~~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/SolveDio.c:306:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   306 |       min = (curend >= L->NbColumns) ? L->NbColumns : curend ;
BUILDSTDERR:       |              ~~~~~~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ranking.c: In function 'Polyhedron* LexSmaller(Polyhedron*, Polyhedron*, unsigned int, Polyhedron*, unsigned int)':
BUILDSTDERR: source/polylib_mod/ranking.c:54:15: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:    54 |   unsigned i, j, k, r;
BUILDSTDERR:       |               ^
BUILDSTDERR: source/polylib_mod/eval_ehrhart.c: In function 'int in_domain(Polyhedron*, Value*)':
BUILDSTDERR: source/polylib_mod/eval_ehrhart.c:57:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    57 |   for(row=0;row<P->NbConstraints;row++) {
BUILDSTDERR:       |             ~~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/eval_ehrhart.c:59:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    59 |     for(col=1;col<P->Dimension+1;col++) {
BUILDSTDERR:       |               ~~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'void ExchangeColumns(Matrix*, int, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:94:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    94 |   for (i = 0; i < M->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'void PutRowLast(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:193:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   193 |   if (Rownumber == X->NbRows-1)
BUILDSTDERR:       |       ~~~~~~~~~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:197:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   197 |   for (j = 0; j < X->NbColumns; j++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:199:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   199 |     for (i = Rownumber; i < X->NbRows-1; i++)
BUILDSTDERR:       |                         ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'void PutRowFirst(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:216:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   216 |   for (j = 0; j < X->NbColumns; j++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'void PutColumnFirst(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:236:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   236 |   for (i = 0; i < X->NbRows; i ++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'void PutColumnLast(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:255:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   255 |   for (i = 0; i < X->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:257:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   257 |     for (j = Columnnumber; j < X->NbColumns-1; j++)
BUILDSTDERR:       |                            ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'Matrix* AddANullRow(Matrix*)':
BUILDSTDERR: source/polylib_mod/Matop.c:274:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   274 |   for (i = 0;i < M->NbRows; i++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:275:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   275 |     for (j = 0; j < M->NbColumns ; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:277:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   277 |   for (j = 0; j < M->NbColumns; j++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'Matrix* AddANullColumn(Matrix*)':
BUILDSTDERR: source/polylib_mod/Matop.c:292:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   292 |   for (i = 0;i < M->NbRows; i++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:293:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   293 |     for (j = 0; j < M->NbColumns ; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:295:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   295 |   for (i = 0; i < M->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'Matrix* RemoveRow(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:312:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   312 |   for ( ; i < Result->NbRows; i++)
BUILDSTDERR:       |           ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'Matrix* RemoveNColumns(Matrix*, int, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:329:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   329 |   for (i = 0; i < Result->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'Matrix* RemoveColumn(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/Matop.c:347:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   347 |   for (i = 0; i < Result->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c: In function 'int findHermiteBasis(Matrix*, Matrix**)':
BUILDSTDERR: source/polylib_mod/Matop.c:377:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   377 |     for (i = 0; i < H->NbRows; i++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:381:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   381 |     if (i == H->NbRows) {
BUILDSTDERR:       |         ~~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:394:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   394 |   for (i = 0; i < C->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:395:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   395 |     for (j = 0; j < C->NbColumns; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:398:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   398 |     if (j == C->NbColumns) {
BUILDSTDERR:       |         ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:415:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   415 |   for (i = 0; i < C->NbColumns; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:418:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   418 |   while((curVect < C->NbRows) && (curDim < dim)) {
BUILDSTDERR:       |          ~~~~~~~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:421:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   421 |     for (i = 0; i < C->NbColumns; i++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Matop.c:427:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   427 |     if (rank == temp->NbRows) {
BUILDSTDERR:       |         ~~~~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/rationals.cpp: In function 'void CountRationalFunctionsWorker(void*)':
BUILDSTDERR: source/rationals.cpp:529:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
BUILDSTDERR:   529 |   if (CCmdLineArguments::GetVerboseLevel() < -5)
BUILDSTDERR:       |   ^~
BUILDSTDERR: source/rationals.cpp:530:26: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
BUILDSTDERR:   530 |    crd->bReturn = false; return;
BUILDSTDERR:       |                          ^~~~~~
BUILDSTDERR: source/rationals.cpp: In static member function 'static bool CRationals::ComputeCohomology(const CInternalData&, CMonomialsList&, const i32vec64&, std::vector<unsigned int>&, std::vector<std::__cxx11::basic_string<char> >&)':
BUILDSTDERR: source/rationals.cpp:693:5: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
BUILDSTDERR:   693 |     for (map<uint64_t, AmbiguousContribData>::iterator it = ml.ambiguous_monoms.begin(); it != ml.ambiguous_monoms.end(); it++)
BUILDSTDERR:       |     ^~~
BUILDSTDERR: source/rationals.cpp:695:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'for'
BUILDSTDERR:   695 |  if (!WaitForAllWorkersFinish()) return false;
BUILDSTDERR:       |  ^~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/tokenizer.cpp -o build/tokenizer.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/secondarycohom.cpp -o build/secondarycohom.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/SolveDio.c -o build/polylib_mod/SolveDio.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/errors.c -o build/polylib_mod/errors.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ranking.c -o build/polylib_mod/ranking.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/main.cpp -o build/main.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/eval_ehrhart.c -o build/polylib_mod/eval_ehrhart.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Matop.c -o build/polylib_mod/Matop.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/rationals.cpp -o build/rationals.o
BUILDSTDERR: g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/NormalForms.c -o build/polylib_mod/NormalFosource/polylib_mod/NormalForms.c: In function 'Value* ConvertPolMattoDarMat(Matrix*)':
BUILDSTDERR: source/polylib_mod/NormalForms.c:586:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   586 |   for(i=0;i<A->NbRows * A->NbColumns;i++)
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:589:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   589 |   for (i = 0; i < A->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:590:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   590 |     for (j = 0 ;  j < A->NbColumns; j++)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c: In function 'void Smith(Matrix*, Matrix**, Matrix**, Matrix**)':
BUILDSTDERR: source/polylib_mod/NormalForms.c:629:7: warning: unused variable 'i' [-Wunused-variable]
BUILDSTDERR:   629 |   int i;
BUILDSTDERR:       |       ^
BUILDSTDERR: source/polylib_mod/NormalForms.c: In function 'void Hermite(Matrix*, Matrix**, Matrix**)':
BUILDSTDERR: source/polylib_mod/NormalForms.c:681:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   681 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:683:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   683 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:707:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   707 |   for (i=0; i< A->NbRows * A->NbColumns; i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:709:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   709 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/NormalForms.c:711:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   711 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_permutations.c: In function 'unsigned int* permutation_inverse(unsigned int*, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix_permutations.c:54:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    54 |   for (i=0; i< nb_elems; i++) inv_perm[perm[i]] = i;
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_permutations.c: In function 'long long unsigned int eliminable_vars(Matrix*, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix_permutations.c:138:12: warning: unused variable 'M' [-Wunused-variable]
BUILDSTDERR:   138 |   Matrix * M, * H, * Q, *U;
BUILDSTDERR:       |            ^
BUILDSTDERR: source/polylib_mod/matrix_permutations.c: In function 'unsigned int* find_a_permutation(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix_permutations.c:229:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   229 |   for (i=0; i< nb_vars; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_permutations.c:214:19: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:   214 |   unsigned int i, j, k;
BUILDSTDERR:       |                   ^
BUILDSTDERR: source/iohandler.cpp: In member function 'bool CInputFile::ParseInput(const char*)':
BUILDSTDERR: source/iohandler.cpp:640:18: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
BUILDSTDERR:   640 |  if (nVertexCmds > CCmdLineArguments::GetMaxVertices())     { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxVertices() << " coordinates exceeded."); return false; }
BUILDSTDERR:       |      ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/iohandler.cpp:641:22: warning: comparison of integer expressions of different signedness: 'std::vector<std::vector<std::__cxx11::basic_string<char> > >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
BUILDSTDERR:   641 |  if (vSRideal.size() > CCmdLineArguments::GetMaxSRgens())   { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxSRgens() << " SR generators exceeded."); return false; }
BUILDSTDERR:       |      ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/iohandler.cpp:642:24: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
BUILDSTDERR:   642 |  if (nAmbientCohomCmds > CCmdLineArguments::GetMaxCohoms()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxCohoms() << " requested cohomologies exceeded."); return false; }
BUILDSTDERR:       |      ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/homogenization.c: In function 'void dehomogenize_enode(enode*, int)':
BUILDSTDERR: source/polylib_mod/homogenization.c:78:11: warning: unused variable 'temp' [-Wunused-variable]
BUILDSTDERR:    78 |   evalue *temp;
BUILDSTDERR:       |           ^~~~
BUILDSTDERR: source/polylib_mod/homogenization.c: In function 'evalue* dehomogenize_polynomial(enode*)':
BUILDSTDERR: source/polylib_mod/homogenization.c:106:10: warning: variable 'som' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:   106 |   double som;
BUILDSTDERR:       |          ^~~
BUILDSTDERR: source/polylib_mod/homogenization.c: In function 'Polyhedron* dehomogenize_polyhedron(Polyhedron*, int)':
BUILDSTDERR: source/polylib_mod/homogenization.c:161:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   161 |   for (i = 0; i < constr->NbRows; i++){
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'void addeliminatedparams_evalue(evalue*, Matrix*)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:602:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   602 |     for(i=0;i<CT->NbRows-1;i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:603:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   603 |         for(j=0;j<CT->NbColumns;j++)
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'int cherche_min(Value*, Polyhedron*, int)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:644:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   644 |     if(pos > D->Dimension)
BUILDSTDERR:       |        ~~~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess(Polyhedron*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:758:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   758 |     for(i=0;i<D->NbConstraints;i++)
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:771:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   771 |     for(i=0;i<D->NbConstraints;i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'Polyhedron* Polyhedron_Preprocess2(Polyhedron*, Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:928:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   928 |     for(i=0;i<D->Dimension;i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:932:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   932 |         for(j=0;j<D->Dimension;j++)
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:935:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   935 |         for(r=1;r<D->NbRays;r++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:948:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   948 |         for(j=0;j<D->Dimension;j++)
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:955:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   955 |         for(r=1;r<D->NbRays;r++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:1029:9: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1029 |     if(i!=D->Dimension) {
BUILDSTDERR:       |        ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:1035:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1035 |     for(i=0;i<D->Dimension;i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'void Scan_Vertices(Param_Polyhedron*, Param_Domain*, Matrix*, Value*, int, const char**)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:1694:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1694 |       for(j=0;j<V->Vertex->NbRows;j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:1696:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1696 |  for( l=0 ; l<V->Vertex->NbColumns-1 ; l++ )
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'Enumeration* Enumerate_NoParameters(Polyhedron*, Polyhedron*, Matrix*, Polyhedron*, unsigned int, const char**)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:1784:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1784 |     for(r=0;r<P->NbRays;++r) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:1790:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1790 |         for(i=1;i<P->Dimension;i++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'Enumeration* Polyhedron_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:2052:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2052 |       for(r=0;r<CQ->NbRays;r++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:2057:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2057 |       if(r==CQ->NbRays) {
BUILDSTDERR:       |          ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'Enumeration* Ehrhart_Quick_Apx_Full_Dim(Polyhedron*, Polyhedron*, unsigned int, const char**)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:2486:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2486 |       for(r=0;r<CQ->NbRays;r++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:2491:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2491 |       if(r==CQ->NbRays) {
BUILDSTDERR:       |          ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:2288:9: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:  2288 |   int i,j,hdim, dim, nb_param, np;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/ehrhart.c:2296:20: warning: unused variable 'V_tmp' [-Wunused-variable]
BUILDSTDERR:  2296 |   Param_Vertices * V_tmp;
BUILDSTDERR:       |                    ^~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c: In function 'const char** parmsWithoutElim(const char**, const unsigned int*, unsigned int)':
BUILDSTDERR: source/polylib_mod/ehrhart.c:2742:14: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare]
BUILDSTDERR:  2742 |   for (k=1; k<= elimParms[0]; k++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:2743:13: warning: comparison of integer expressions of different signedness: 'int' and 'const unsigned int' [-Wsign-compare]
BUILDSTDERR:  2743 |     while (i!=elimParms[k]) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ehrhart.c:2739:12: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:  2739 |   int i=0, j=0,k;
BUILDSTDERR:       |            ^
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool sameAffinepart(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:85:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    85 |   for (i = 0; i < A->NbRows; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool isEmptyLattice(Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:129:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   129 |   for (i = 0; i < A->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:130:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   130 |     for (j = 0; j < A->NbColumns-1; j ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool isLinear(Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:156:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   156 |   for (i = 0; i < A->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'void AffineSmith(Lattice*, Lattice**, Lattice**, Lattice**)':
BUILDSTDERR: source/polylib_mod/Lattice.c:261:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   261 |   for (i = 0; i < U[0]->NbRows-1; i ++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:263:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   263 |     for(j = 0; j < U[0]->NbColumns-1; j ++) {
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:269:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   269 |   for(i = 0; i < U[0]->NbRows-1; i ++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:271:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   271 |   for(i = 0; i < Diag[0]->NbRows-1; i ++) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool sameLattice(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:387:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   387 |   for (i = 0 ; i < A->NbRows; i ++)
BUILDSTDERR:       |                ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:388:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   388 |     for (j =  0; j < A->NbColumns; j ++)
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Lattice* ChangeLatticeDimension(Lattice*, int)':
BUILDSTDERR: source/polylib_mod/Lattice.c:415:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   415 |   if(dimension <= A->NbRows) {
BUILDSTDERR:       |      ~~~~~~~~~~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:421:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   421 |   for (i = 0; i < A->NbRows; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:422:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   422 |     for (j = 0; j < A->NbRows; j ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Lattice* ExtractLinearPart(Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:444:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   444 |   for (i = 0; i < A->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:445:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   445 |     for (j = 0; j < A->NbColumns-1; j ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Lattice* LatticeIntersection(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:539:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   539 |   for (i = 0; i < result->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:540:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   540 |     for (j = 0; j < result->NbColumns-1; j ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:543:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   543 |   for (i = 0; i < result->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:545:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   545 |   for (i = 0; i < result->NbColumns-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Matrix* MakeDioEqforInter(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:583:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   583 |  for (i = 0; i < Dio->NbRows; i ++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:584:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   584 |    for (j = 0; j < Dio->NbColumns; j ++)
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:587:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   587 |  for (i = 0; i < A->NbRows-1; i++) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:591:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   591 |  for (i = 0; i < A->NbRows-1 ; i ++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:592:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   592 |    for (j = 0; j < A->NbRows-1; j ++) {
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:599:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   599 |  for (i = 0; i < A->NbColumns-1; i++) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'LatticeUnion* Lattice2LatticeUnion(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:714:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   714 |   for (i = 0; i < DiagMatrix->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:720:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   720 |   for(i = 0; i < newB1->NbRows - 1;i ++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:680:31: warning: unused variable 'tempHead' [-Wunused-variable]
BUILDSTDERR:   680 |   LatticeUnion *Head = NULL, *tempHead = NULL;
BUILDSTDERR:       |                               ^~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'LatticeUnion* LatticeDifference(Lattice*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:816:12: warning: unused variable 'Intersection' [-Wunused-variable]
BUILDSTDERR:   816 |   Lattice *Intersection = NULL;
BUILDSTDERR:       |            ^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'LatticeUnion* SplitLattice(Lattice*, Lattice*, Matrix*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:909:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   909 |   for (i = 0; i < C->NbRows ; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'void AddLattice(LatticeUnion*, Matrix*, Matrix*, int, int)':
BUILDSTDERR: source/polylib_mod/Lattice.c:945:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   945 |       for (j = 0; j < B2->NbRows; j++) {
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'int FindHermiteBasisofDomain(Polyhedron*, Matrix**)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1021:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1021 |   for (i = 0; i < A->NbRays; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1032:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1032 |   for(i = 0; i < A->NbRays; i++) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1034:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1034 |       for(j = 1; j < A->Dimension+2; j++)
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1040:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1040 |       for (j = 1; j < A->Dimension+1; j++)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1047:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1047 |   for(i = 0; i < vert->NbRows; i ++) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1049:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1049 |     for (j = 0; j < vert->NbColumns-1; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1059:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1059 |   for (i = 1; i < temp->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1060:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1060 |     for (j = 0; j < temp->NbColumns ; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1068:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1068 |   for (i = 0; i < vert->NbRows; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1069:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1069 |     for (j = 0 ;j < result->NbColumns ; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1072:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1072 |   for (; i<result->NbRows; i++)
BUILDSTDERR:       |          ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1073:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1073 |     for (j = 0; j < result->NbColumns; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1094:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1094 |     for(j = 0; j < Newmat->NbColumns ; j++)
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1099:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1099 |   for (i = 0; i < Image->NbConstraints; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1101:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1101 |       for (j = 1; j<Image->Dimension+2; j ++)
BUILDSTDERR:       |                   ~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1106:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1106 |   for (i = 0; i < Newmat->NbColumns-1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Lattice* LatticePreimage(Lattice*, Matrix*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1192:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1192 |   for (i = 0; i < G->NbRows-1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1193:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1193 |     for (j = 0; j < G->NbColumns-1; j++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1196:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1196 |   for (i = 0;i < G->NbRows-1; i++)
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1197:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1197 |     for (j = 0; j < L->NbColumns-1; j++) {
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1202:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1202 |   for (i = 0; i < Dio->NbRows-1; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1207:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1207 |   for (i = 0; i < Dio->NbColumns-1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1217:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1217 |     for (i = 0; i < Result->NbRows-1; i++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1218:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1218 |       for (j = 0; j < Result->NbColumns-1; j++)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1221:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1221 |     for (i = 0; i < Result->NbRows-1; i ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1225:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1225 |     for (i = 0; i < Result->NbColumns-1; i ++)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool IsLattice(Matrix*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1256:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1256 |   for (i = 0; i < m->NbColumns-1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool isfulldim(Matrix*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1279:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1279 |   for (i = 0; i < h->NbRows; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool Simplify(LatticeUnion**, LatticeUnion**, int)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1313:27: warning: variable 'num' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:  1313 |   Value cnt, aux, k, fac, num, tmp, foobar;
BUILDSTDERR:       |                           ^~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'int LinearPartCompare(const void*, const void*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1437:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1437 |   for (i = 0;  i < L1[0]->NbRows-1; i++)
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'int AffinePartCompare(const void*, const void*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1492:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1492 |   for (i = 0; i < L1[0]->NbRows; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool AlmostSameAffinePart(LatticeUnion*, LatticeUnion*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1537:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1537 |   for (i = 0; i < A->M->NbRows-1; i ++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool AffinePartSimplify(LatticeUnion*, LatticeUnion**)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1567:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1567 |   for (i = 0; i < curlist->M->NbRows - 1; i ++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'Bool SameLinearPart(LatticeUnion*, LatticeUnion*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1625:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1625 |   for (i = 0; i < A->M->NbRows-1; i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c: In function 'LatticeUnion* LatticeSimplify(LatticeUnion*)':
BUILDSTDERR: source/polylib_mod/Lattice.c:1614:16: warning: 'nextlist' may be used uninitialized in this function [-Wmaybe-uninitialized]
BUILDSTDERR:  1614 |     curr->next = nextlist;
BUILDSTDERR:       |     ~~~~~~~~~~~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Lattice.c:1554:17: note: 'nextlist' was declared here
BUILDSTDERR:  1554 |   LatticeUnion *nextlist;
BUILDSTDERR:       |                 ^~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'Matrix* CalcBase(Matrix*)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:58:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    58 |  for( l=0 ; l<R->NbRows ; ++l )
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:66:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    66 |    for( j=l+1 ; j<R->NbRows ; ++j )
BUILDSTDERR:       |                 ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:81:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    81 |  for( l=0 ; l<R->NbRows ; ++l )
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:117:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   117 |   for( i=0 ; i<R->NbRows ; ++i )
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:121:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   121 |   for( i=0 ; i<R->NbRows && value_zero_p(B->p[u][i]); ++i )
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:123:8: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   123 |   if( i<R->NbRows )
BUILDSTDERR:       |       ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:127:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   127 |   for( i=0 ; i<R->NbRows ; ++i )
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'int existepivot(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:222:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   222 |  for( j=l ; j<R->NbRows ; ++j )
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'void swap_line(Matrix*, int, int)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:247:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   247 |   for(i = 0;i < R->NbColumns;i ++)
BUILDSTDERR:       |             ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'void Soustraire_ligne(Matrix*, int, int, int)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:299:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   299 |  for(i = piv + 1;i < R->NbColumns;i ++)
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:307:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   307 |  for( i=piv+1 ; i<R->NbColumns && p!=0 ; i++ )
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'Matrix* Reduce_Matrix(Matrix*)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:518:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   518 |     for (i=0;i<Mat->NbColumns; i++)  {
BUILDSTDERR:       |              ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:521:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   521 |     for (i=0; i<Mat->NbRows-1; i++)  {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'void Scalar_product(Value*, Value*, unsigned int, Value*)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:540:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   540 |                for (i=0;i<length;i++) {
BUILDSTDERR:       |                         ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'Matrix* Orthogonal_Base(Matrix*)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:567:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   567 |   for(k=0; k<length; k++)  {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:573:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   573 |   for(i=1; i<Mat->NbRows; i++)  {
BUILDSTDERR:       |            ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:574:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   574 |     for(k=0;k<length;k++)  {
BUILDSTDERR:       |             ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:580:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   580 |       for(k=0;k<length;k++)  {
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:589:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   589 |       for(k=0;k<length;k++) {
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:598:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   598 |  for(k=0;k<length;k++) {
BUILDSTDERR:       |          ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:605:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   605 |       for(k=0;k<length;k++) {
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'Enumeration* Domain_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:707:23: warning: unused variable 'pr' [-Wunused-variable]
BUILDSTDERR:   707 |       Enumeration *e,*pr,*en,*en1, *en2,*tmp, *res, *sen;
BUILDSTDERR:       |                       ^~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c: In function 'Enumeration* Polyhedron_Image_Enumerate(Polyhedron*, Polyhedron*, Matrix*, unsigned int, const char**)':
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:879:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   879 |                for (i=0;i<Tred->NbRows;i++) {
BUILDSTDERR:       |                         ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:880:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   880 |        for (j=0; j<Tred->NbColumns;j++) {
BUILDSTDERR:       |                  ~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:884:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   884 |         for(i=Tred->NbRows;i<Tred->NbColumns;i++) {
BUILDSTDERR:       |                            ~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:885:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   885 |        for (j=0;j<Tred->NbColumns;j++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:930:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   930 |             for (k=0;k<d1->NbRows;k++) {
BUILDSTDERR:       |                      ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:936:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   936 |    for (j=0;j<D->NbConstraints;j++)  {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:937:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   937 |                  for (k=0;k<=D->Dimension-1;k++) {
BUILDSTDERR:       |                           ~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/ext_ehrhart.c:951:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   951 |          for (k=1;k<=D->Dimension;k++) {
BUILDSTDERR:       |                   ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'Matrix* int_ker(Matrix*)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:73:20: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:    73 |   if (M->NbColumns <= rk) {
BUILDSTDERR:       |       ~~~~~~~~~~~~~^~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:93:12: warning: statement has no effect [-Wunused-value]
BUILDSTDERR:    93 |   H->NbRows==M->NbRows;
BUILDSTDERR:       |   ~~~~~~~~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:58:7: warning: unused variable 'i' [-Wunused-variable]
BUILDSTDERR:    58 |   int i, j, rk;
BUILDSTDERR:       |       ^
BUILDSTDERR: source/polylib_mod/compress_parms.c:58:10: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:    58 |   int i, j, rk;
BUILDSTDERR:       |          ^
BUILDSTDERR: In file included from source/polylib_mod/polylib/matrix_addon.h:29,
BUILDSTDERR:                  from source/polylib_mod/polylib/polylib.h:45,
BUILDSTDERR:                  from source/polylib_mod/compress_parms.c:33:
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'void linearInter(Matrix*, Matrix*, Matrix**, Matrix**)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:128:19: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   128 |   assert(B->NbRows==rk);
BUILDSTDERR:       |          ~~~~~~~~~^~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:124:9: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:   124 |   int i,j, z=0;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'void Equalities_integerSolution(Matrix*, Matrix**)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:226:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   226 |   for (i=0; i< rk; i++) {
BUILDSTDERR:       |             ~^~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:243:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   243 |   for (i=rk; i< Eqs->NbColumns-2; i++) {
BUILDSTDERR:       |              ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'void Equalities_intModBasis(Matrix*, Matrix*, Matrix*, Matrix**)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:601:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   601 |   for (i=0; i< nbEqs; i++) {
BUILDSTDERR:       |             ~^~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'Matrix* Constraints_Remove_parm_eqs(Matrix**, Matrix**, int, unsigned int**)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:662:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   662 |   for (i=0; i< M->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:675:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   675 |   for (i=0; i< Ctxt->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   704 |   for (i=0; i< Ctxt->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:713:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   713 |   for (i=0; i< M->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:735:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   735 |   for (i=0; i< Eqs->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:741:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   741 |       if (k==Eqs->NbColumns-1) {
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:766:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   766 |  for (j=0; j< Eqs->NbRows; j++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:772:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   772 |  for (j=0; j< Ctxt->NbRows; j++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:777:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   777 |  for (j=0; j< M->NbRows; j++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:802:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   802 |   for (i=0; i< M->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:813:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   813 |   for (i=0; i< Ctxt->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:825:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   825 |     for (i=0; i<Eqs->NbRows; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:835:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   835 |     for (i=0; i<Eqs->NbRows; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c: In function 'Matrix* full_dimensionize(const Matrix*, int, Matrix**)':
BUILDSTDERR: source/polylib_mod/compress_parms.c:998:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   998 |     for (j=0; j< nbParms; j++)
BUILDSTDERR:       |               ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:1011:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:  1011 |   for (i=0; i< nbParms; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:1012:16: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:  1012 |     for (j=0; j< nbParms; j++)
BUILDSTDERR:       |               ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:1018:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:  1018 |   for (j=0; j< nbParms; j++)
BUILDSTDERR:       |             ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/compress_parms.c:912:33: warning: unused variable 'permutationInv' [-Wunused-variable]
BUILDSTDERR:   912 |   unsigned int * permutation, * permutationInv;
BUILDSTDERR:       |                                 ^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'void Matrix_identity(unsigned int, Matrix**)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:106:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   106 |     for (i=0; i< dim; i++) {
BUILDSTDERR:       |               ~^~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c:107:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   107 |       for (j=0; j< dim; j++) {
BUILDSTDERR:       |                 ~^~~~~
BUILDSTDERR: In file included from source/polylib_mod/polylib/matrix_addon.h:29,
BUILDSTDERR:                  from source/polylib_mod/polylib/polylib.h:45,
BUILDSTDERR:                  from source/polylib_mod/matrix_addon.c:28:
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'Matrix* mtransformation_expand_left_to_dim(Matrix*, int)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:160:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   160 |   assert(new_dim>=M->NbColumns);
BUILDSTDERR:       |          ~~~~~~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'void mpolyhedron_simplify(Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:176:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   176 |   for (i=0; i< polyh->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c:173:10: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:   173 |   int i, j;
BUILDSTDERR:       |          ^
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'void eliminate_var_with_constr(Matrix*, unsigned int, Matrix*, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:272:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   272 |     for (k=1; k<Victim->NbColumns; k++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'void Matrix_copySubMatrix(Matrix*, unsigned int, unsigned int, unsigned int, unsigned int, Matrix*, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:400:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   400 |   for (i=0; i< nbR; i++) {
BUILDSTDERR:       |             ~^~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c: In function 'void Matrix_oppose(Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix_addon.c:411:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   411 |   for (i=0; i<M->NbRows; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix_addon.c:412:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   412 |     for (j=0; j< M->NbColumns; j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
rms.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix_permutations.c -o build/polylib_mod/matrix_permutations.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/errormsg.c -o build/polylib_mod/errormsg.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/iohandler.cpp -o build/iohandler.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/homogenization.c -o build/polylib_mod/homogenization.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ehrhart.c -o build/polylib_mod/ehrhart.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Lattice.c -o build/polylib_mod/Lattice.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/ext_ehrhart.c -o build/polylib_mod/ext_ehrhart.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/compress_parms.c -o build/polylib_mod/compress_parms.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix_addon.c -o build/polylib_mod/matrix_addon.o
BUILDSTDERR: g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobsource/polylib_mod/Zpolyhedron.c: In function 'ZPolyhedron* SplitZpolyhedron(ZPolyhedron*, Lattice*)':
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:973:12: warning: unused variable 'Intersection' [-Wunused-variable]
BUILDSTDERR:   973 |   Lattice *Intersection = NULL;
BUILDSTDERR:       |            ^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:974:12: warning: unused variable 'B1' [-Wunused-variable]
BUILDSTDERR:   974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
BUILDSTDERR:       |            ^~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:974:24: warning: unused variable 'B2' [-Wunused-variable]
BUILDSTDERR:   974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
BUILDSTDERR:       |                        ^~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:974:36: warning: unused variable 'newB1' [-Wunused-variable]
BUILDSTDERR:   974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
BUILDSTDERR:       |                                    ^~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:974:51: warning: unused variable 'newB2' [-Wunused-variable]
BUILDSTDERR:   974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
BUILDSTDERR:       |                                                   ^~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:975:11: warning: unused variable 'U' [-Wunused-variable]
BUILDSTDERR:   975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
BUILDSTDERR:       |           ^
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:975:21: warning: unused variable 'M1' [-Wunused-variable]
BUILDSTDERR:   975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
BUILDSTDERR:       |                     ^~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:975:33: warning: unused variable 'M2' [-Wunused-variable]
BUILDSTDERR:   975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
BUILDSTDERR:       |                                 ^~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:975:45: warning: unused variable 'M1Inverse' [-Wunused-variable]
BUILDSTDERR:   975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
BUILDSTDERR:       |                                             ^~~~~~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:975:63: warning: unused variable 'MtProduct' [-Wunused-variable]
BUILDSTDERR:   975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
BUILDSTDERR:       |                                                               ^~~~~~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:976:11: warning: unused variable 'Vinv' [-Wunused-variable]
BUILDSTDERR:   976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
BUILDSTDERR:       |           ^~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:976:18: warning: unused variable 'V' [-Wunused-variable]
BUILDSTDERR:   976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
BUILDSTDERR:       |                  ^
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:976:23: warning: unused variable 'temp' [-Wunused-variable]
BUILDSTDERR:   976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
BUILDSTDERR:       |                       ^~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:976:30: warning: unused variable 'DiagMatrix' [-Wunused-variable]
BUILDSTDERR:   976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
BUILDSTDERR:       |                              ^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:980:7: warning: unused variable 'i' [-Wunused-variable]
BUILDSTDERR:   980 |   int i;
BUILDSTDERR:       |       ^
BUILDSTDERR: source/polylib_mod/Zpolyhedron.c:981:9: warning: unused variable 'k' [-Wunused-variable]
BUILDSTDERR:   981 |   Value k;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/vector.c: In function 'int First_Non_Zero(Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:143:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   143 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:148:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   148 |   return((i==length) ? -1 : i );
BUILDSTDERR:       |           ~^~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'Vector* Vector_Alloc(unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:171:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   171 |   for(i=0;i<length;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Free(Vector*)':
BUILDSTDERR: source/polylib_mod/vector.c:184:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   184 |   for(i=0;i<vector->Size;i++)
BUILDSTDERR:       |           ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Print(FILE*, const char*, Vector*)':
BUILDSTDERR: source/polylib_mod/vector.c:201:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   201 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'Vector* Vector_Read()':
BUILDSTDERR: source/polylib_mod/vector.c:230:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   230 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Set(Value*, int, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:246:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   246 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Exchange(Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:260:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   260 |   for(i=0;i<length;i++) {
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Copy(Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:277:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   277 |   for(i=0;i<length;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Add(Value*, Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:294:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   294 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Sub(Value*, Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:313:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   313 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Or(Value*, Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:332:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   332 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Scale(Value*, Value*, Value, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:350:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   350 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_AntiScale(Value*, Value*, Value, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:366:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   366 |   for (i = 0; i < length; i++)
BUILDSTDERR:       |               ~~^~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Inner_Product(Value*, Value*, unsigned int, Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:392:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   392 |   for(i = 1; i < length; i++)
BUILDSTDERR:       |              ~~^~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Max(Value*, unsigned int, Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:407:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   407 |   for (i=1;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Min(Value*, unsigned int, Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:424:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   424 |   for (i=1;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Combine(Value*, Value*, Value*, Value, Value, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:441:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   441 |   for (i = 0; i < length; i++) {
BUILDSTDERR:       |               ~~^~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'int Vector_Equal(Value*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:457:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   457 |   for (i = 0; i < n; ++i)
BUILDSTDERR:       |               ~~^~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Min_Not_Zero(Value*, unsigned int, int*, Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:483:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   483 |   for (i = i+1; i < length; i++) {
BUILDSTDERR:       |                 ~~^~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Gcd(Value*, unsigned int, Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:506:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   506 |   for(i=0;i<length;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:512:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   512 |   for (cq = q,i=0;i<length;i++) {
BUILDSTDERR:       |                   ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:525:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   525 |       for (i=0;i<length;i++,cq++)
BUILDSTDERR:       |                ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:538:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   538 |   for(i=0;i<length;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Map(Value*, Value*, Value*, unsigned int, Value* (*)(Value, Value))':
BUILDSTDERR: source/polylib_mod/vector.c:556:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   556 |   for(i=0;i<length;i++) {
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Normalize(Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:571:7: warning: unused variable 'i' [-Wunused-variable]
BUILDSTDERR:   571 |   int i;
BUILDSTDERR:       |       ^
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Normalize_Positive(Value*, int, int)':
BUILDSTDERR: source/polylib_mod/vector.c:590:7: warning: unused variable 'i' [-Wunused-variable]
BUILDSTDERR:   590 |   int i;
BUILDSTDERR:       |       ^
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Reduce(Value*, unsigned int, void (*)(Value, Value*), Value*)':
BUILDSTDERR: source/polylib_mod/vector.c:611:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   611 |   for(i=1;i<length;i++) {
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'void Vector_Sort(Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/vector.c:636:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   636 |     while (j<=(n-1)/2) {
BUILDSTDERR:       |            ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:641:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   641 |       if ((j<<1)+2>=n) {
BUILDSTDERR:       |           ~~~~~~~~^~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'Vector* Vector_Read()':
BUILDSTDERR: source/polylib_mod/vector.c:223:8: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
BUILDSTDERR:   223 |   scanf("%d", &length);
BUILDSTDERR:       |   ~~~~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c:231:10: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
BUILDSTDERR:   231 |     scanf("%s",str);
BUILDSTDERR:       |     ~~~~~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/vector.c: In function 'Value* value_alloc(int, int*)':
BUILDSTDERR: source/polylib_mod/vector.c:790:14: warning: 'best' may be used uninitialized in this function [-Wmaybe-uninitialized]
BUILDSTDERR:   790 |  cache[best] = cache[cache_size];
BUILDSTDERR:       |  ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c: In function 'int Polyhedron_Not_Empty(Polyhedron*, Polyhedron*, int)':
BUILDSTDERR: source/polylib_mod/alpha.c:119:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   119 |   for (i=0;i<(P->Dimension+2);i++)
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c:132:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   132 |   for (i=0;i<(P->Dimension+2);i++)
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c: In function 'int PolyhedronLTQ(Polyhedron*, Polyhedron*, int, int, int)':
BUILDSTDERR: source/polylib_mod/alpha.c:218:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   218 |     for (i=0; i<Q1->NbConstraints; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c:227:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   227 |     for (i=0; i<Q2->NbConstraints; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c:260:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   260 |     for (i=0; i<Q1->NbConstraints; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c:299:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   299 |       for (j=0; j<Q2->NbConstraints; j++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c: In function 'int GaussSimplify(Matrix*, Matrix*)':
BUILDSTDERR: source/polylib_mod/alpha.c:467:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   467 |       for (i=0; i<(Mat2->NbRows-1);i++) {   /* all but the last row 0...0 1 */
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/alpha.c:389:19: warning: unused variable 't' [-Wunused-variable]
BUILDSTDERR:   389 |   int i, j, k, n, t, pivot, Rank;
BUILDSTDERR:       |                   ^
BUILDSTDERR: source/polylib_mod/alpha.c:389:22: warning: variable 'pivot' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:   389 |   int i, j, k, n, t, pivot, Rank;
BUILDSTDERR:       |                      ^~~~~
BUILDSTDERR: source/polylib_mod/alpha.c: In function 'int PolyhedronTSort(Polyhedron**, unsigned int, unsigned int, unsigned int, int*, int*, unsigned int)':
BUILDSTDERR: source/polylib_mod/alpha.c:648:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   648 |       if (time[i]==t) {
BUILDSTDERR:       |           ~~~~~~~^~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Polyhedron* PDomainDifference(Polyhedron*, Polyhedron*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyparam.c:124:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   124 |       for (i=0; i<p2->NbConstraints; i++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'int TestRank(Matrix*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:160:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   160 |   for(k=0;k<Mat->NbColumns;++k) {
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:165:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   165 |       for(j=k+1;j<Mat->NbRows;++j) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:171:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   171 |    for(i=k;i<Mat->NbColumns;++i) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:182:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   182 |       if(j>=Mat->NbRows) {
BUILDSTDERR:       |          ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:192:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   192 |     for(j=k+1;j<Mat->NbRows;++j) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:196:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   196 |       for(i=k+1;i<Mat->NbColumns;++i) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'void SMPrint(SatMatrix*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:259:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   259 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:261:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   261 |     for (j=0;j<NbColumns;j++)
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'void traite_m_face(Polyhedron*, unsigned int*, unsigned int*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:378:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   378 |   for(k=0,c=0,kx=0,bx=MSB;k<D->NbRays;++k) {
BUILDSTDERR:       |                           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'int count_sat(unsigned int*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:546:14: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   546 |   for (i=0; i<nr; i++) {
BUILDSTDERR:       |             ~^~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'void scan_m_face(int, int, Polyhedron*, unsigned int*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:663:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   663 |     for (i = pos; i < D->NbConstraints; ++i) {
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:670:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   670 |     for (i = pos; i < D->NbConstraints; ++i)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:676:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   676 |   if((pos+nb_un)>D->NbConstraints) return;
BUILDSTDERR:       |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:716:28: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   716 |       for (i = 0, c = 0; i < D->NbConstraints; ++i) {
BUILDSTDERR:       |                          ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:717:38: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   717 |    if (egalite[i] == 0 || egalite[i] == -1)
BUILDSTDERR:       |                           ~~~~~~~~~~~^~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:719:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   719 |    for (j = 0; j < D->Dimension+1; ++j)
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:746:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   746 |  if ((pos+nb_un)>=D->NbConstraints) return;
BUILDSTDERR:       |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'SatMatrix* Poly2Sat(Polyhedron*, unsigned int**)':
BUILDSTDERR: source/polylib_mod/polyparam.c:778:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   778 |   for (k=0; k<NbRay; k++) {
BUILDSTDERR:       |             ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:779:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   779 |     for (i=0; i<NbCon; i++) {
BUILDSTDERR:       |               ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:783:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   783 |       for (j=0;j<Dimension;j++) {
BUILDSTDERR:       |                ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Matrix* PreElim_Columns(Polyhedron*, int*, int*, int)':
BUILDSTDERR: source/polylib_mod/polyparam.c:899:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   899 |   for(l=0;l<E->NbEq;++l) {
BUILDSTDERR:       |           ~^~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:906:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   906 |       if(i==E->Dimension+1) {
BUILDSTDERR:       |          ~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:920:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   920 |   for(i=0;i<E->Dimension+2-E->NbEq;++i) {
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:922:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   922 |     for(j=0;j<E->NbEq;++j)
BUILDSTDERR:       |             ~^~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:933:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   933 |   for(i=0;i<T->NbColumns;i++)
BUILDSTDERR:       |           ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:934:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   934 |     for(j=0;j<T->NbRows;j++)
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:935:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   935 |       if(ref[E->Dimension-m+j+1] == E->Dimension-m+i+1)
BUILDSTDERR:       |          ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Polyhedron* Elim_Columns(Polyhedron*, Polyhedron*, int*, int*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:973:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   973 |   for(l=0;l<E->NbEq;++l) {
BUILDSTDERR:       |           ~^~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:974:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   974 |     for(c=0;c<M->NbRows;++c) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:978:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   978 |  for(i=1;i<M->NbColumns;++i) {
BUILDSTDERR:       |          ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:995:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   995 |   for(l=0;l<C->NbRows;++l)
BUILDSTDERR:       |           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:996:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   996 |     for(c=0;c<C->NbColumns;++c) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Polyhedron* Recession_Cone(Polyhedron*, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1019:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1019 |     for (i = 0; i < P->NbConstraints; ++i)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'int ComputeNPLinesRays(int, Polyhedron*, Matrix**)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1042:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1042 |   for (i = 0; i < RC->NbRays ;i++)
BUILDSTDERR:       |               ~~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Param_Polyhedron* Find_m_faces(Polyhedron**, Polyhedron*, int, int, Polyhedron**, Matrix**)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1157:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1157 |       for(j=0,i=0;i<C1->NbEq;++i,++j) {
BUILDSTDERR:       |                   ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1185:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1185 |     for(i=0;i<C1->NbConstraints;++i) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1287:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1287 |   for (i=0; i<D1->NbEq; i++)
BUILDSTDERR:       |             ~^~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1310:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1310 |   if (m_dim < D1->NbBid)
BUILDSTDERR:       |       ~~~~~~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'void Print_Vertex(FILE*, Matrix*, const char**)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1603:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1603 |   for(l=0;l<V->NbRows;++l){
BUILDSTDERR:       |           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1608:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1608 |     for(v=0;v < V->NbColumns-2;++v) {
BUILDSTDERR:       |             ~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1651:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1651 |     if (l<V->NbRows-1)
BUILDSTDERR:       |         ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'Matrix* VertexCT(Matrix*, Matrix*)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1672:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1672 |     for(i=0;i<V->NbRows;++i) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1674:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1674 |       for(j=0;j<CT->NbColumns;j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1675:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1675 |  for(k=0;k<CT->NbRows;k++)
BUILDSTDERR:       |          ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1678:6: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1678 |  if(k<CT->NbRows)
BUILDSTDERR:       |     ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: In function 'void Print_Domain(FILE*, Polyhedron*, const char**)':
BUILDSTDERR: source/polylib_mod/polyparam.c:1701:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1701 |   for(l=0;l<D->NbConstraints;++l) {
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c:1704:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1704 |     for(v=1;v<=D->Dimension;++v) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyparam.c: At global scope:
BUILDSTDERR: source/polylib_mod/polyparam.c:252:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function]
BUILDSTDERR:   252 | static void SMPrint (SatMatrix *matrix) {
BUILDSTDERR:       |             ^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:153:18: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
BUILDSTDERR:   153 |  value_print(Dst," "P_VALUE_FMT" ",*p++);
BUILDSTDERR:       |                  ^
BUILDSTDERR: source/polylib_mod/matrix.c:915:41: warning: "/*" within comment [-Wcomment]
BUILDSTDERR:   915 |     /* value_set_si(MatInv->p[i][k],1); /* denum */
BUILDSTDERR:       |                                          
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'Matrix* Matrix_Alloc(unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix.c:78:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:    78 |       for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |                ~^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:49:9: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:    49 |   int i,j;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void Matrix_Extend(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/matrix.c:114:24: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   114 |   if (Mat->p_Init_size < NbRows * Mat->NbColumns) {
BUILDSTDERR:       |       ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:123:34: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   123 |     for (i = Mat->p_Init_size; i < Mat->NbColumns*NbRows; ++i)
BUILDSTDERR:       |                                ~~^~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:129:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   129 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:106:9: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:   106 |   int i,j;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void Matrix_Print(FILE*, const char*, Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix.c:149:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   149 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:151:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   151 |     for (j=0;j<NbColumns;j++) {
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void Matrix_Read_Input(Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix.c:173:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   173 |   for (i=0;i<Mat->NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:184:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   184 |     for (j=0;j<Mat->NbColumns;j++) {
BUILDSTDERR:       |              ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void right_hermite(Matrix*, Matrix**, Matrix**, Matrix**)':
BUILDSTDERR: source/polylib_mod/matrix.c:438:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:   438 |   int i, j, nr, nc, rank;
BUILDSTDERR:       |                     ^~~~
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void left_hermite(Matrix*, Matrix**, Matrix**, Matrix**)':
BUILDSTDERR: source/polylib_mod/matrix.c:508:21: warning: variable 'rank' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:   508 |   int i, j, nc, nr, rank;
BUILDSTDERR:       |                     ^~~~
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void rat_prodmat(Matrix*, Matrix*, Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix.c:733:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   733 |   for(k=1;k<P->NbRows;++k) {
BUILDSTDERR:       |           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:742:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   742 |   for(i=0;i<X->NbRows;++i)
BUILDSTDERR:       |           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:743:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   743 |     for(j=0;j<P->NbColumns-1;++j) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:747:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   747 |       for(k=0;k<P->NbRows;++k) {
BUILDSTDERR:       |               ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:766:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   766 |   for(i=0;i<S->NbRows;++i) {
BUILDSTDERR:       |           ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:723:14: warning: variable 'old_lcm' set but not used [-Wunused-but-set-variable]
BUILDSTDERR:   723 |   Value lcm, old_lcm,gcd,last_column_entry,s1;
BUILDSTDERR:       |              ^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c: In function 'void Matrix_Product(Matrix*, Matrix*, Matrix*)':
BUILDSTDERR: source/polylib_mod/matrix.c:855:18: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   855 |   if(Mat2->NbRows!=Size||Mat3->NbRows!=NbRows||Mat3->NbColumns!=NbColumns) {
BUILDSTDERR:       |      ~~~~~~~~~~~~^~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:865:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   865 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/matrix.c:866:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   866 |     for (j=0;j<NbColumns;j++) {
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void SMPrint(SatMatrix*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:169:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   169 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:171:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   171 |     for (j=0;j<NbColumns;j++)
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void SatVector_OR(int*, int*, int*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:188:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   188 |   for (i=0;i<length;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'SatMatrix* TransformSat(Matrix*, Matrix*, SatMatrix*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:280:27: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   280 |   for(i=0,jx1=0,bx1=MSB; i<Ray->NbRows; i++) {
BUILDSTDERR:       |                          ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:281:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   281 |     for(j=0,jx2=0,bx2=MSB; j<Mat->NbRows; j++) {
BUILDSTDERR:       |                            ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void SatMatrix_Extend(SatMatrix*, Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:370:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   370 |   for (i = 0; i < rows; ++i)
BUILDSTDERR:       |               ~~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'int Chernikova(Matrix*, Matrix*, SatMatrix*, unsigned int, unsigned int, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:430:30: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   430 |     for (k=FirstConstraint; k<NbConstraints; k++) {
BUILDSTDERR:       |                             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:438:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   438 |       for (i=0; i<NbRay; i++) {
BUILDSTDERR:       |                 ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:446:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   446 |  for (j=1; j<Dimension; j++) {
BUILDSTDERR:       |            ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:466:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   466 |       if (index_non_zero<NbBid) {
BUILDSTDERR:       |           ~~~~~~~~~~~~~~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:470:11: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   470 |  if (NbBid!=index_non_zero)
BUILDSTDERR:       |      ~~~~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:486:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   486 |  for (i=0; i<NbBid; i++)
BUILDSTDERR:       |            ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:495:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   495 |    for (j=0;j<Dimension+1; j++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:514:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   514 |  for (i=NbBid+1; i<NbRay; i++)
BUILDSTDERR:       |                  ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:520:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   520 |    for (j=0;j<sat_nbcolumns;j++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:580:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   580 |      for (l=0; l<jx; l++) {
BUILDSTDERR:       |                ~^~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:603:23: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   603 |        for (m=NbBid; m<bound; m++)
BUILDSTDERR:       |                      ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:604:9: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   604 |   if ((m!=i)&&(m!=j)) {
BUILDSTDERR:       |        ~^~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:604:17: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
BUILDSTDERR:   604 |   if ((m!=i)&&(m!=j)) {
BUILDSTDERR:       |                ~^~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:618:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   618 |     for (l=0; l<=jx; l++,ip2++,ip1++)
BUILDSTDERR:       |               ~^~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:621:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   621 |     if (l>jx) {
BUILDSTDERR:       |         ~^~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Remove_Redundants(Matrix*, Matrix*, SatMatrix*, unsigned int*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:918:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   918 |     for (j=0; j<NbConstraints; j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:933:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   933 |     for (i=0; i<NbRay; i++) {
BUILDSTDERR:       |               ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:969:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   969 |     for (j=0; j<NbConstraints; j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:996:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:   996 |  for (i=0; i<NbRay; i++)
BUILDSTDERR:       |            ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1011:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1011 |         if (j==NbConstraints) continue;
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1020:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1020 |       for (i=0; i<NbRay; i++)
BUILDSTDERR:       |                 ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1037:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1037 |     for (i=0; i<NbRay; i++) {
BUILDSTDERR:       |               ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1068:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1068 |     for (i=0; i<NbEq; i++) {
BUILDSTDERR:       |               ~^~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1074:58: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1074 |  for (k=i+1; value_cmp_si(Mat->p[k][0], NbRay) != 0 && k < NbConstraints; k++)
BUILDSTDERR:       |                                                        ~~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1076:7: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1076 |  if (k==NbConstraints) /* If none found then error */ break;
BUILDSTDERR:       |      ~^~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1102:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1102 |       for (i = 0; i < NbEq; i++) {
BUILDSTDERR:       |                   ~~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1110:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1110 |       for (i=0; i<NbEq; i++) {
BUILDSTDERR:       |                 ~^~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1114:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1114 |  for (j=i+1; j<NbEq; j++) {
BUILDSTDERR:       |              ~^~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1167:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1167 |     for (i=0, k=NbRay; i<NbBid && k>i; i++) {
BUILDSTDERR:       |                        ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1228:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1228 |     for (j=0; j<NbConstraints; j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1275:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1275 |     for (j=0; j<NbRay; j++) {
BUILDSTDERR:       |               ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1356:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1356 |     for (j=NbEq; j<NbConstraints; j++) {
BUILDSTDERR:       |                  ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1360:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1360 |  for (k=0; k<sat_nbcolumns; k++) Trace[k]=0;  /* init Trace */
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1364:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1364 |  for (i=NbBid; i<NbRay; i++)
BUILDSTDERR:       |                ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1369:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1369 |        for (k=0; k<sat_nbcolumns; k++) Trace[k] |= Sat->p[i][k];
BUILDSTDERR:       |                  ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1376:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1376 |  for (i=NbEq; i<NbConstraints; i++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1439:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1439 |     for (i=NbBid; i<NbRay; i++) {
BUILDSTDERR:       |                   ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1446:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1446 |    for (k=NbBid; k<NbRay; k++) Trace[k]=0;   /* init Trace */
BUILDSTDERR:       |                  ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1452:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1452 |    for (k=NbBid; k<NbRay; k++)
BUILDSTDERR:       |                  ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1459:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1459 |  for (j=NbEq; j<NbConstraints; j++)
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1464:23: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1464 |        for (k=NbBid; k<NbRay; k++) Trace[k] |= Sat->p[k][jx[j]]&bx[j];
BUILDSTDERR:       |                      ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1476:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1476 |  for (j=NbBid; j<NbRay; j++) {
BUILDSTDERR:       |                ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1498:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1498 |     if (aux>=Dim_RaySpace) {
BUILDSTDERR:       |         ~~~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Polyhedron_Alloc(unsigned int, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1593:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1593 |   for (i=0;i<NbRows;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1560:9: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:  1560 |   int i,j;
BUILDSTDERR:       |         ^
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void Polyhedron_Print(FILE*, const char*, const Polyhedron*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1649:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1649 |   for (i=0;i<NbConstraints;i++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1658:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1658 |     for (j=1;j<Dimension;j++) {
BUILDSTDERR:       |              ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1665:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1665 |   for (i=0;i<NbRays;i++) {
BUILDSTDERR:       |            ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1682:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1682 |     for (j=1; j < Dimension-1; j++) {
BUILDSTDERR:       |               ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Empty_Polyhedron(unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1726:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1726 |   for (i=0; i<=Dimension; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Universe_Polyhedron(unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1766:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1766 |   for (i=0;i<=Dimension;i++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void SortConstraints(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1789:22: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1789 |     for (i = NbEq; i < Constraints->NbRows; ++i) {
BUILDSTDERR:       |                    ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1791:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1791 |  for (k = i+1; k < Constraints->NbRows; ++k) {
BUILDSTDERR:       |                ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1792:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1792 |      for (j = 1; j < Constraints->NbColumns-1; ++j) {
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1809:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1809 |      if (j == Constraints->NbColumns-1) {
BUILDSTDERR:       |          ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1815:9: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1815 |   if (k < Constraints->NbRows)
BUILDSTDERR:       |       ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'int ImplicitEqualities(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1840:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1840 |     for (row = NbEq; row < Constraints->NbRows; ++row) {
BUILDSTDERR:       |                      ~~~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1852:26: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1852 |  for (nrow = row+1; nrow < Constraints->NbRows; ++nrow) {
BUILDSTDERR:       |                     ~~~~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1857:20: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1857 |      for (k = d; k < Constraints->NbColumns-1; ++k) {
BUILDSTDERR:       |                  ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1866:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1866 |      if (k == Constraints->NbColumns-1) {
BUILDSTDERR:       |          ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1872:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1872 |      if (k != Constraints->NbColumns-2)
BUILDSTDERR:       |          ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Constraints2Polyhedron(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:1936:21: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1936 |       for (i = 0; i < Constraints->NbRows; ++i)
BUILDSTDERR:       |                   ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1951:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1951 |    if (i != NbEq)
BUILDSTDERR:       |        ~~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1957:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1957 |  for (i = NbEq; i < Constraints->NbRows; ++i)
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:1997:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  1997 |   for (i=0; i<Dimension; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Rays2Polyhedron(Matrix*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:2119:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2119 |   for (i=0; i<Dimension; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'SatMatrix* BuildSat(Matrix*, Matrix*, unsigned int, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:2259:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2259 |     for (k=0; k<NbConstraints; k++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2260:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2260 |       for (i=0; i<NbRay; i++) {
BUILDSTDERR:       |                 ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2268:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2268 |  for (j=0; j<Dimension; j++) {
BUILDSTDERR:       |            ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2273:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2273 |       for (j=0; j<NbRay; j++) {
BUILDSTDERR:       |                 ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'int PolyhedronIncludes(Polyhedron*, Polyhedron*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:2400:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2400 |   for (k=0; k<Pol1->NbConstraints; k++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2401:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2401 |     for (i=0;i<Pol2->NbRays;i++) {
BUILDSTDERR:       |              ~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* SubConstraint(Value*, Polyhedron*, unsigned int, int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:2530:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2530 |     for (i=1; i<Dimension; i++)
BUILDSTDERR:       |               ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2532:10: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2532 |     if (i==Dimension) {
BUILDSTDERR:       |         ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2562:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2562 |       for(i=1; i<Dimension; i++)
BUILDSTDERR:       |                ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2565:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2565 |       for(i=1; i<Dimension; i++)
BUILDSTDERR:       |                ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void FindSimple(Polyhedron*, Polyhedron*, unsigned int*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:2946:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2946 |     for (k=0; k<P1->NbConstraints; k++) {
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2989:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2989 |       for(i=0;i<NbRays;i++)
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:2998:11: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  2998 |  for(i=0;i<NbRays;i++)
BUILDSTDERR:       |          ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3003:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3003 |       for(i=0;i<NbConstraints;i++)
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3015:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3015 |       for (k=0; k<NbConstraints; k++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3019:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3019 |    for (i=0; i<NbRays; i++) {
BUILDSTDERR:       |              ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3023:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3023 |      for (j=0; j<Dimension; j++) {
BUILDSTDERR:       |                ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3039:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3039 |  for(i=0; i<NbRays; i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3046:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3046 |        for(k=0; k<NbConstraints; k++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3077:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3077 |  for(k=0; k<NbConstraints; k++)
BUILDSTDERR:       |           ~^~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3104:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3104 |   for(i=0;i<NbRays;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3106:12: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3106 |   for(i=0;i<NbRays;i++)
BUILDSTDERR:       |           ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void SimplifyEqualities(Polyhedron*, Polyhedron*, unsigned int*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3236:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3236 |   for (i=NbEqn2; i<NbEqn; i++) {
BUILDSTDERR:       |                  ~^~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3237:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3237 |     for (j=1; j<Dimension; j++) {
BUILDSTDERR:       |               ~^~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* DomainDifference(Polyhedron*, Polyhedron*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3628:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3628 |       for (i=0; i<p2->NbConstraints; i++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* align_context(Polyhedron*, int, int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3679:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3679 |     if (align_dimension < Pol->Dimension) {
BUILDSTDERR:       |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3684:25: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3684 |     if (align_dimension == Pol->Dimension) {
BUILDSTDERR:       |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3709:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3709 |  for (i = 0; i < NbCons; ++i) {
BUILDSTDERR:       |              ~~^~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3719:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3719 |  for (i = 0; i < Pol->NbRays; ++i) {
BUILDSTDERR:       |              ~~^~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3667:10: warning: unused variable 'j' [-Wunused-variable]
BUILDSTDERR:  3667 |   int i, j, k;
BUILDSTDERR:       |          ^
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'int lower_upper_bounds(int, Polyhedron*, Value*, Value*, Value*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3823:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3823 |   for (i=0; i<P->NbConstraints; i++) {
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void Rays_Mult(Value**, Matrix*, Value**, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3936:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3936 |     for (i=0; i<NbRays; i++) {
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3938:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3938 |       for (j=0; j<Dimension2; j++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3940:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3940 |  for (k=0; k<Dimension1; k++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void Rays_Mult_Transpose(Value**, Matrix*, Value**, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:3976:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3976 |     for (i=0; i<NbRays; i++) {
BUILDSTDERR:       |               ~^~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3978:18: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3978 |       for (j=0; j<Dimension2; j++) {
BUILDSTDERR:       |                 ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:3980:13: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  3980 |  for (k=0; k<Dimension1; k++) {
BUILDSTDERR:       |            ~^~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* Disjoint_Domain(Polyhedron*, int, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:4462:16: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  4462 |     for (i=0; i<P->NbConstraints && pi ; i++)
BUILDSTDERR:       |               ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:4509:17: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  4509 |      for (i=0; i<p2->NbConstraints && pi ; i++)
BUILDSTDERR:       |                ~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'void Polyhedron_PrintConstraints(FILE*, const char*, Polyhedron*)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:4628:14: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  4628 |  for( i=0 ; i<Pol->NbConstraints ; i++ )
BUILDSTDERR:       |             ~^~~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c:4630:15: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  4630 |   for( j=0 ; j<Pol->Dimension+2 ; j++ )
BUILDSTDERR:       |              ~^~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: In function 'Polyhedron* p_simplify_constraints(Polyhedron*, Vector*, Value*, unsigned int)':
BUILDSTDERR: source/polylib_mod/polyhedron.c:4656:19: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
BUILDSTDERR:  4656 |     for (r = 0; r < R->NbConstraints; ++r) {
BUILDSTDERR:       |                 ~~^~~~~~~~~~~~~~~~~~
BUILDSTDERR: source/polylib_mod/polyhedron.c: At global scope:
BUILDSTDERR: source/polylib_mod/polyhedron.c:162:13: warning: 'void SMPrint(SatMatrix*)' defined but not used [-Wunused-function]
BUILDSTDERR:   162 | static void SMPrint (SatMatrix *matrix) {
BUILDSTDERR:       |             ^~~~~~~
+ cd manual/latex_source
+ pdflatex manual
BUILDSTDERR: kpathsea: Running mktexfmt pdflatex.fmt
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
BUILDSTDERR: mktexfmt:   /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
BUILDSTDERR: mktexfmt:   /builddir/.texlive2018/texmf-config/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c
BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex
BUILDSTDERR: mktexfmt: running `pdftex -ini   -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ...
BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX)
BUILDSTDERR:  restricted \write18 enabled.
BUILDSTDERR:  (/usr/share/texlive/texmf-dist/web2c/cp227.tcx)
BUILDSTDERR: entering extended mode
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg)
BUILDSTDERR: ./texsys.aux found
BUILDSTDERR: \@currdir set to: ./.
BUILDSTDERR: Assuming \openin and \input 
BUILDSTDERR: have the same search path.
BUILDSTDERR: Defining UNIX/DOS style filename parser.
BUILDSTDERR: catcodes, registers, parameters,
BUILDSTDERR: LaTeX2e <2018-04-01> patch level 5
BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths,
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fonttext.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fontmath.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file preload.cfg used
BUILDSTDERR: =====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref,
BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning,
BUILDSTDERR: contents, floats, footnotes, index, bibliography, output,
BUILDSTDERR: ===========================================
BUILDSTDERR: Local configuration file hyphen.cfg used
BUILDSTDERR: ===========================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex))
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))
BUILDSTDERR:  ) )
BUILDSTDERR: Beginning to dump on file pdflatex.fmt
BUILDSTDERR:  (preloaded format=pdflatex 2019.7.27)
BUILDSTDERR: 5413 strings of total length 72241
BUILDSTDERR: 50531 memory locations dumped; current usage is 144&50357
BUILDSTDERR: 3741 multiletter control sequences
BUILDSTDERR: \font\nullfont=nullfont
BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10
BUILDSTDERR: \font\tenln=line10
BUILDSTDERR: \font\tenlnw=linew10
BUILDSTDERR: \font\tencirc=lcircle10
BUILDSTDERR: \font\tencircw=lcirclew10
BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5
BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7
BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10
BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5
BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7
BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10
BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5
BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7
BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10
BUILDSTDERR: 3633 words of font info for 14 preloaded fonts
BUILDSTDERR: 14 hyphenation exceptions
BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111
BUILDSTDERR:   2 for language 1
BUILDSTDERR:   181 for language 0
BUILDSTDERR: 0 words of pdfTeX memory
BUILDSTDERR: 0 indirect objects
BUILDSTDERR: No pages of output.
BUILDSTDERR: Transcript written on pdflatex.log.
BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt installed.
BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1
BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 13
BUILDSTDERR: mktexfmt [INFO]: Total formats: 14
BUILDSTDERR: mktexfmt [INFO]: exiting with status 0
in-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/Zpolyhedron.c -o build/polylib_mod/Zpolyhedron.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/vector.c -o build/polylib_mod/vector.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/param.c -o build/polylib_mod/param.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/alpha.c -o build/polylib_mod/alpha.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/polyparam.c -o build/polylib_mod/polyparam.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/matrix.c -o build/polylib_mod/matrix.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -c source/polylib_mod/polyhedron.c -o build/polylib_mod/polyhedron.o
g++ build/iohandler.o build/tokenizer.o build/rationals.o build/secondarycohom.o build/main.o build/polylib_mod/SolveDio.o build/polylib_mod/errors.o build/polylib_mod/ranking.o build/polylib_mod/eval_ehrhart.o build/polylib_mod/Matop.o build/polylib_mod/NormalForms.o build/polylib_mod/ehrhart.o build/polylib_mod/Lattice.o build/polylib_mod/matrix_permutations.o build/polylib_mod/errormsg.o build/polylib_mod/ext_ehrhart.o build/polylib_mod/homogenization.o build/polylib_mod/compress_parms.o build/polylib_mod/polyhedron.o build/polylib_mod/vector.o build/polylib_mod/Zpolyhedron.o build/polylib_mod/matrix_addon.o build/polylib_mod/polyparam.o build/polylib_mod/param.o build/polylib_mod/alpha.o build/polylib_mod/matrix.o  -lpthread -o bin/cohomcalg
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2018-04-01> patch level 5
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo))
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty))
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def))
No file manual.aux.
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-utf8.def)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd)
Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v
ia eMail: [][]mail@benjaminjurke.com[][].[] 
Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer 
to Thorsten Rahn
[1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./img_GPL
v3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>]
LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i
nput line 209.
LaTeX Warning: Citation `CohomOfLineBundles:Proof' on page 2 undefined on input
 line 209.
LaTeX Warning: Citation `Jow:2010arXiv1006.0780J' on page 2 undefined on input 
line 209.
LaTeX Warning: Citation `CohomOfLineBundles:Applications' on page 2 undefined o
n input line 209.
LaTeX Warning: Citation `Blumenhagen:2011xn' on page 2 undefined on input line 
209.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd)
Underfull \hbox (badness 10000) in paragraph at lines 216--217
LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i
nput line 218.
Underfull \hbox (badness 10000) in paragraph at lines 218--219
Underfull \hbox (badness 10000) in paragraph at lines 220--221
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2] [3] [4]
[5]
LaTeX Warning: Reference `inputformat' on page 6 undefined on input line 331.
[6]
LaTeX Warning: Reference `knownproblems' on page 7 undefined on input line 333.
[7] [8]
Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376
[]\T1/cmr/m/n/12 This com-
Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384
[]\T1/cmr/m/n/12 This com-mand spec-i-fies the
[9]
LaTeX Warning: Reference `knownproblems' on page 10 undefined on input line 397
.
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] 
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
Underfull \hbox (badness 10000) in paragraph at lines 437--437
[]\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[] \T1/txtt/m/n/12 dim H^i(A; O(   2,   4,   1,  ...,   3,  -2,   1 )) is ambig
uous[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]     \T1/txtt/m/n/12 candidate results are:    = ( 580, 353, 171,   1, 919,  
 0 )[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]                               \T1/txtt/m/n/12 = ( 580, 353,   0,   1,1090,  
 0 )[] 
Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451
[]     \T1/txtt/m/n/12 dim H^i(A; O(   2,   ...,   1 )) could not be determined
.[] 
Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho
m.[] 
Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function
s[] 
[11] [12] [13] [14]
LaTeX Warning: Reference `contactaddress' on page 15 undefined on input line 53
4.
[15] [16]
LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 
576.
Overfull \hbox (18.59279pt too wide) in paragraph at lines 576--577
\T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex-
am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . 
LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 
577.
LaTeX Warning: Reference `eq_monadsequence' on page 17 undefined on input line 
578.
[17]
Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631
 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0
},{0,1}}};[] 
Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633
\T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/
12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12
 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1
/cmr/m/n/12 )) =
[18]
Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652
 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle 
of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m
/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 
)$\T1/cmr/m/n/12 .
Overfull \hbox (26.93513pt too wide) detected at line 677
[]
[19]
LaTeX Warning: Reference `eq_monadsequence' on page 20 undefined on input line 
714.
BUILDSTDERR: LaTeX Warn+ bibtex manual
+ pdflatex manual
ing: Reference `eq_monadsequence' on page 20 undefined on input line 
714.
[20]
Underfull \hbox (badness 10000) in paragraph at lines 747--748
Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10
},[] 
Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] 
Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[
] 
Overfull \hbox (20.63515pt too wide) detected at line 774
[]
[21]
LaTeX Warning: Reference `eq_monadsequence' on page 22 undefined on input line 
808.
[22] [23]
LaTeX Warning: Citation `cohomCalg:Implementation' on page 24 undefined on inpu
t line 833.
No file manual.bbl.
[24] (./manual.aux)
Package rerunfilecheck Warning: File `manual.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb>
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmib10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmmib8.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts
/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/ms
bm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/adobe/utopia/putb8a.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx0600.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/cm-super/sfbx1728.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/cm-super/sfbx2074.pfb></usr/share/texlive/texmf-dist/fonts/t
ype1/public/cm-super/sfbx2488.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/cm-super/sfcc1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm
-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/
sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm100
0.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1200.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/txfonts/t1xbtt.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/txfonts/t1xtt.pfb>
Output written on manual.pdf (24 pages, 1041470 bytes).
Transcript written on manual.log.
This is BibTeX, Version 0.99d (TeX Live 2018)
The top-level auxiliary file: manual.aux
The style file: utphys.bst
Database file #1: manual.bib
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2018-04-01> patch level 5
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo))
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty))
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (./manual.aux)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-utf8.def)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd)
Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v
ia eMail: [][]mail@benjaminjurke.com[][].[] 
Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer 
to Thorsten Rahn
[1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./img_GPL
v3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>]
LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i
nput line 209.
LaTeX Warning: Citation `CohomOfLineBundles:Proof' on page 2 undefined on input
 line 209.
LaTeX Warning: Citation `Jow:2010arXiv1006.0780J' on page 2 undefined on input 
line 209.
LaTeX Warning: Citation `CohomOfLineBundles:Applications' on page 2 undefined o
n input line 209.
LaTeX Warning: Citation `Blumenhagen:2011xn' on page 2 undefined on input line 
209.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd)
Underfull \hbox (badness 10000) in paragraph at lines 216--217
LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 2 undefined on i
nput line 218.
Underfull \hbox (badness 10000) in paragraph at lines 218--219
Underfull \hbox (badness 10000) in paragraph at lines 220--221
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2] (./manual.toc)
[3] [4] [5] [6] [7] [8]
Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376
[]\T1/cmr/m/n/12 This com-
Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384
[]\T1/cmr/m/n/12 This com-mand spec-i-fies the
[9]
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] 
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
Underfull \hbox (badness 10000) in paragraph at lines 437--437
[]\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[] \T1/txtt/m/n/12 dim H^i(A; O(   2,   4,   1,  ...,   3,  -2,   1 )) is ambig
uous[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]     \T1/txtt/m/n/12 candidate results are:    = ( 580, 353, 171,   1, 919,  
 0 )[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]                               \T1/txtt/m/n/12 = ( 580, 353,   0,   1,1090,  
 0 )[] 
Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451
[]     \T1/txtt/m/n/12 dim H^i(A; O(   2,   ...,   1 )) could not be determined
.[] 
Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho
m.[] 
Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function
s[] 
[11] [12] [13] [14] [15] [16]
Overfull \hbox (11.71947pt too wide) in paragraph at lines 576--577
\T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex-
am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . 
[17]
Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631
 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0
},{0,1}}};[] 
Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633
\T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/
12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12
 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1
/cmr/m/n/12 )) =
[18]
Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652
 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle 
of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m
/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 
)$\T1/cmr/m/n/12 .
Overfull \hbox (26.93513pt too wide) detected at line 677
[]
[19] [20]
BUILDSTDERR: Underfull \hbox (badness 10000) in paragraph at lines 7+ pdflatex manual
47--748
Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10
},[] 
Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] 
Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[
] 
Overfull \hbox (20.63515pt too wide) detected at line 774
[]
[21] [22] [23]
LaTeX Warning: Citation `cohomCalg:Implementation' on page 24 undefined on inpu
t line 833.
(./manual.bbl
LaTeX Warning: Citation `CohomOfLineBundles:Algorithm' on page 24 undefined on 
input line 39.
) [24] (./manual.aux)
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb>
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmib10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmmib8.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts
/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/ms
bm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/adobe/utopia/putb8a.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx0600.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/cm-super/sfbx1728.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/cm-super/sfbx2074.pfb></usr/share/texlive/texmf-dist/fonts/t
ype1/public/cm-super/sfbx2488.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/cm-super/sfcc1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm
-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/
sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm100
0.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1200.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/txfonts/t1xbtt.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/txfonts/t1xtt.pfb>
Output written on manual.pdf (24 pages, 1048609 bytes).
Transcript written on manual.log.
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2018-04-01> patch level 5
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo))
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ncctools/extdash.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty))
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def))
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (./manual.aux)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./manual.out) (./manual.out)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/se-utf8.def)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1put.fd)
Overfull \hbox (22.10924pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 tech-ni-cal ques-tions to [][]Ben-jamin Ju-rke[][], reach-able v
ia eMail: [][]mail@benjaminjurke.com[][].[] 
Overfull \hbox (31.1225pt too wide) in paragraph at lines 186--188
\T1/cmr/m/n/12 For all ques-tions re-gard-ing the [] ex-ten-sion please re-fer 
to Thorsten Rahn
[1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./img_GPL
v3_logo_black.pdf> <./img_open_source_logo_gray.pdf> <./cohomCalg_logo.png>]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd)
Underfull \hbox (badness 10000) in paragraph at lines 216--217
Underfull \hbox (badness 10000) in paragraph at lines 218--219
Underfull \hbox (badness 10000) in paragraph at lines 220--221
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [2] (./manual.toc)
[3] [4] [5] [6] [7] [8]
Overfull \hbox (16.15515pt too wide) in paragraph at lines 375--376
[]\T1/cmr/m/n/12 This com-
Overfull \hbox (10.25746pt too wide) in paragraph at lines 383--384
[]\T1/cmr/m/n/12 This com-mand spec-i-fies the
[9]
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 4 coordinates, each having 2 GLSM charges:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There are 2 generators of the Stanley-Reisner ideal:[] 
Overfull \hbox (11.36626pt too wide) in paragraph at lines 432--432
[]    \T1/txtt/m/n/12 There is 1 ambient space sheaf cohomology requested:[] 
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
Underfull \hbox (badness 10000) in paragraph at lines 437--437
[]\T1/txtt/m/n/12 The Serre dualization reduction was unable to uniquely
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[] \T1/txtt/m/n/12 dim H^i(A; O(   2,   4,   1,  ...,   3,  -2,   1 )) is ambig
uous[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]     \T1/txtt/m/n/12 candidate results are:    = ( 580, 353, 171,   1, 919,  
 0 )[] 
Overfull \hbox (39.61339pt too wide) in paragraph at lines 445--445
[]                               \T1/txtt/m/n/12 = ( 580, 353,   0,   1,1090,  
 0 )[] 
Overfull \hbox (77.61894pt too wide) in paragraph at lines 451--451
[]     \T1/txtt/m/n/12 dim H^i(A; O(   2,   ...,   1 )) could not be determined
.[] 
Overfull \hbox (27.01341pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 11.02 seconds sec for the computation of the sec. coho
m.[] 
Overfull \hbox (20.71342pt too wide) in paragraph at lines 459--459
[]       \T1/txtt/m/n/12 3.23 seconds sec for the counting of rational function
s[] 
[11] [12] [13] [14] [15] [16]
Overfull \hbox (11.71947pt too wide) in paragraph at lines 576--577
\T1/cmr/m/n/12 dle charges $\OML/cmm/m/it/12 N[]$ \T1/cmr/m/n/12 in [], for ex-
am-ple \T1/txtt/m/n/12 {{1,0},{0,1},{0,1},{0,1},{0,2}}\T1/cmr/m/n/12 . 
[17]
Overfull \hbox (58.43507pt too wide) in paragraph at lines 631--631
 []\T1/txtt/m/n/12 (*Equivalence Relations*){{1,3},{0,1},{0,1},{0,1},{0,1},{1,0
},{0,1}}};[] 
Overfull \hbox (0.33917pt too wide) in paragraph at lines 632--633
\T1/cmr/m/n/12 you will get the re-sult \T1/txtt/m/n/12 {487,0,0,0}\T1/cmr/m/n/
12 , which means that $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12
 S\OT1/cmr/m/n/12 ; \OMS/cmsy/m/n/12 O[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 E\OT1
/cmr/m/n/12 )) =
[18]
Overfull \hbox (89.93501pt too wide) in paragraph at lines 652--652
 []\T1/txtt/m/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/cmr/m/n/12 Computes the co-ho-mol-ogy di-men-sions of the tan-gent bun-dle 
of $\OML/cmm/m/it/12 S$\T1/cmr/m/n/12 , i.e. $[] \OML/cmm/m/it/12 H[]\OT1/cmr/m
/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/it/12 T[]\OT1/cmr/m/n/12 
)$\T1/cmr/m/n/12 .
Overfull \hbox (26.93513pt too wide) detected at line 677
[]
[19] [20]
Underfull \hbox (badness 10000) in paragraph at lines 747--748
Overfull \hbox (55.46617pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Coordinates*){v1, v2, v3, v4, v5, v6, v1s, v7, v8, v9, v10
},[] 
Overfull \hbox (23.96623pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Stanley Reisner*) {{v3,v9},{v5,v9},{v7,v10},{v1,v2,v3},[] 
Overfull \hbox (36.56621pt too wide) in paragraph at lines 761--761
[] \T1/txtt/m/n/12 (*Equivalence Relations*){{3, 3, 3, 3, 0}, {2, 2, 2, 2, 0},[
] 
Overfull \hbox (20.63515pt too wide) detected at line 774
[]
[21] [22] [23] (./manual.bbl) [24] (./manual.aux) )
(see the transcript file for additional information){/usr/share/texlive/texmf-d
ist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fon
ts/enc/dvips/base/8r.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi
BUILDSTDERR: 12.pfb></usr/share/texlive/texmf-dist/fonts+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
/type1/public/amsfonts/cm/cmmi6.pfb>
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmib10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmmib8.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts
/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/ms
bm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/adobe/utopia/putb8a.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx0600.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/cm-super/sfbx1728.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/cm-super/sfbx2074.pfb></usr/share/texlive/texmf-dist/fonts/t
ype1/public/cm-super/sfbx2488.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/cm-super/sfcc1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm
-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/
sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm100
0.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1200.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/txfonts/t1xbtt.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/txfonts/t1xtt.pfb>
Output written on manual.pdf (24 pages, 1048682 bytes).
Transcript written on manual.log.
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.2cqG3r
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64
+ cd cohomCalg-0.32
+ mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/bin
+ cp -p bin/cohomcalg /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/bin
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.32-4.fc31 --unique-debug-suffix -0.32-4.fc31.riscv64 --unique-debug-src-base cohomCalg-0.32-4.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cohomCalg-0.32
BUILDSTDERR: 1717 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/bin/cohomcalg
extracting debug info from /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/bin/cohomcalg
original debug info size: 4152kB, size after compression: 3820kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.lx628n
Processing files: cohomCalg-0.32-4.fc31.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dDjqer
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg
+ cp -pr README.md /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.X0cGes
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ LICENSEDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/licenses/cohomCalg
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/licenses/cohomCalg
+ cp -pr LICENSE /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/licenses/cohomCalg
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: cohomCalg = 0.32-4.fc31 cohomCalg(riscv-64) = 0.32-4.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libm.so.6()(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.27)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.22)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cohomCalg-doc-0.32-4.fc31.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Af3qys
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg-doc
+ cp -pr manual/latex_source/manual.pdf /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64/usr/share/doc/cohomCalg-doc
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: cohomCalg-doc = 0.32-4.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cohomCalg-debugsource-0.32-4.fc31.riscv64
Provides: cohomCalg-debugsource = 0.32-4.fc31 cohomCalg-debugsource(riscv-64) = 0.32-4.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cohomCalg-debuginfo-0.32-4.fc31.riscv64
Provides: cohomCalg-debuginfo = 0.32-4.fc31 cohomCalg-debuginfo(riscv-64) = 0.32-4.fc31 debuginfo(build-id) = 5359c05e2aca8d9b79c3e38ed00402793fc0c855
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cohomCalg-debugsource(riscv-64) = 0.32-4.fc31
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64
Wrote: /builddir/build/RPMS/cohomCalg-doc-0.32-4.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/cohomCalg-0.32-4.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debugsource-0.32-4.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debuginfo-0.32-4.fc31.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.DD8TXo
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-4.fc31.riscv64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0