Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f40-build-765258-123338/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': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa098ec10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=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': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1689724800
Wrote: /builddir/build/SRPMS/cohomCalg-0.32-14.fc40.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cohomCalg.spec'], chrootPath='/var/lib/mock/f40-build-765258-123338/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': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa098ec10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=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': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1689724800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.tUDab6
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cohomCalg-0.32
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-0.32.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cohomCalg-0.32
+ rm -rf /builddir/build/BUILD/cohomCalg-0.32-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/cohomCalg-0.32-SPECPARTS
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cohomCalg-test.tar.xz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/e2c2635.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ rm -f bin/cohomcalg.exe bin/cohomcalg32.exe manual.pdf
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.WYHOzC
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ /usr/bin/make -O -j4 V=1 VERBOSE=1 'CFLAGS=-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer ' 'CXXFLAGS=-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/main.cpp -o build/main.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/secondarycohom.cpp -o build/secondarycohom.o
source/secondarycohom.cpp: In member function ‘bool CSecondaryCohomology::TraverseSRpowerset(const CInternalData&)’:
source/secondarycohom.cpp:429:17: warning: unused variable ‘stat’ [-Wunused-variable]
  429 |         thread *stat = new thread(StatusOutputWorker, wstat);
      |                 ^~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/tokenizer.cpp -o build/tokenizer.o
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/Lattice.c -o build/polylib_mod/Lattice.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/Lattice.c: In function ‘Bool sameAffinepart(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:85:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   85 |   for (i = 0; i < A->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool isEmptyLattice(Lattice*)’:
source/polylib_mod/Lattice.c:129:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  129 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:130:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  130 |     for (j = 0; j < A->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool isLinear(Lattice*)’:
source/polylib_mod/Lattice.c:156:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  156 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘void AffineSmith(Lattice*, Lattice**, Lattice**, Lattice**)’:
source/polylib_mod/Lattice.c:261:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  261 |   for (i = 0; i < U[0]->NbRows-1; i ++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:263:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  263 |     for(j = 0; j < U[0]->NbColumns-1; j ++) {
      |                ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:269:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  269 |   for(i = 0; i < U[0]->NbRows-1; i ++)
      |              ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:271:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  271 |   for(i = 0; i < Diag[0]->NbRows-1; i ++) {
      |              ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool sameLattice(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:387:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  387 |   for (i = 0 ; i < A->NbRows; i ++)
      |                ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:388:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  388 |     for (j =  0; j < A->NbColumns; j ++)
      |                  ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Lattice* ChangeLatticeDimension(Lattice*, int)’:
source/polylib_mod/Lattice.c:415:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  415 |   if(dimension <= A->NbRows) {
      |      ~~~~~~~~~~^~~~~~~~~~~~
source/polylib_mod/Lattice.c:421:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  421 |   for (i = 0; i < A->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:422:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  422 |     for (j = 0; j < A->NbRows; j ++)
      |                 ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Lattice* ExtractLinearPart(Lattice*)’:
source/polylib_mod/Lattice.c:444:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  444 |   for (i = 0; i < A->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:445:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  445 |     for (j = 0; j < A->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Lattice* LatticeIntersection(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:539:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  539 |   for (i = 0; i < result->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:540:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  540 |     for (j = 0; j < result->NbColumns-1; j ++)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:543:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  543 |   for (i = 0; i < result->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:545:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  545 |   for (i = 0; i < result->NbColumns-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Matrix* MakeDioEqforInter(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:583:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  583 |  for (i = 0; i < Dio->NbRows; i ++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:584:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  584 |    for (j = 0; j < Dio->NbColumns; j ++)
      |                ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:587:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  587 |  for (i = 0; i < A->NbRows-1; i++) {
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:591:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  591 |  for (i = 0; i < A->NbRows-1 ; i ++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:592:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  592 |    for (j = 0; j < A->NbRows-1; j ++) {
      |                ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:599:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  599 |  for (i = 0; i < A->NbColumns-1; i++) {
      |              ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘LatticeUnion* Lattice2LatticeUnion(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:714:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  714 |   for (i = 0; i < DiagMatrix->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:720:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  720 |   for(i = 0; i < newB1->NbRows - 1;i ++)
      |              ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:680:31: warning: unused variable ‘tempHead’ [-Wunused-variable]
  680 |   LatticeUnion *Head = NULL, *tempHead = NULL;
      |                               ^~~~~~~~
source/polylib_mod/Lattice.c: In function ‘LatticeUnion* LatticeDifference(Lattice*, Lattice*)’:
source/polylib_mod/Lattice.c:816:12: warning: unused variable ‘Intersection’ [-Wunused-variable]
  816 |   Lattice *Intersection = NULL;
      |            ^~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘LatticeUnion* SplitLattice(Lattice*, Lattice*, Matrix*)’:
source/polylib_mod/Lattice.c:909:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  909 |   for (i = 0; i < C->NbRows ; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘void AddLattice(LatticeUnion*, Matrix*, Matrix*, int, int)’:
source/polylib_mod/Lattice.c:945:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  945 |       for (j = 0; j < B2->NbRows; j++) {
      |                   ~~^~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘int FindHermiteBasisofDomain(Polyhedron*, Matrix**)’:
source/polylib_mod/Lattice.c:1021:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1021 |   for (i = 0; i < A->NbRays; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:1032:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1032 |   for(i = 0; i < A->NbRays; i++) {
      |              ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c:1034:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1034 |       for(j = 1; j < A->Dimension+2; j++)
      |                  ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1040:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1040 |       for (j = 1; j < A->Dimension+1; j++)
      |                   ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1047:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1047 |   for(i = 0; i < vert->NbRows; i ++) {
      |              ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1049:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1049 |     for (j = 0; j < vert->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1059:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1059 |   for (i = 1; i < temp->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1060:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1060 |     for (j = 0; j < temp->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1068:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1068 |   for (i = 0; i < vert->NbRows; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1069:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1069 |     for (j = 0 ;j < result->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1072:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1072 |   for (; i<result->NbRows; i++)
      |          ~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1073:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1073 |     for (j = 0; j < result->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1094:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1094 |     for(j = 0; j < Newmat->NbColumns ; j++)
      |                ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1099:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1099 |   for (i = 0; i < Image->NbConstraints; i ++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1101:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1101 |       for (j = 1; j<Image->Dimension+2; j ++)
      |                   ~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1106:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1106 |   for (i = 0; i < Newmat->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Lattice* LatticePreimage(Lattice*, Matrix*)’:
source/polylib_mod/Lattice.c:1192:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1192 |   for (i = 0; i < G->NbRows-1; i++)
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1193:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1193 |     for (j = 0; j < G->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1196:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1196 |   for (i = 0;i < G->NbRows-1; i++)
      |              ~~^~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1197:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1197 |     for (j = 0; j < L->NbColumns-1; j++) {
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1202:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1202 |   for (i = 0; i < Dio->NbRows-1; i++) {
      |               ~~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1207:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1207 |   for (i = 0; i < Dio->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1217:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1217 |     for (i = 0; i < Result->NbRows-1; i++)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1218:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1218 |       for (j = 0; j < Result->NbColumns-1; j++)
      |                   ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1221:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1221 |     for (i = 0; i < Result->NbRows-1; i ++)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c:1225:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1225 |     for (i = 0; i < Result->NbColumns-1; i ++)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool IsLattice(Matrix*)’:
source/polylib_mod/Lattice.c:1256:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1256 |   for (i = 0; i < m->NbColumns-1; i++)
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool isfulldim(Matrix*)’:
source/polylib_mod/Lattice.c:1279:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1279 |   for (i = 0; i < h->NbRows; i ++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool Simplify(LatticeUnion**, LatticeUnion**, int)’:
source/polylib_mod/Lattice.c:1313:27: warning: variable ‘num’ set but not used [-Wunused-but-set-variable]
 1313 |   Value cnt, aux, k, fac, num, tmp, foobar;
      |                           ^~~
source/polylib_mod/Lattice.c: In function ‘int LinearPartCompare(const void*, const void*)’:
source/polylib_mod/Lattice.c:1437:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1437 |   for (i = 0;  i < L1[0]->NbRows-1; i++)
      |                ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘int AffinePartCompare(const void*, const void*)’:
source/polylib_mod/Lattice.c:1492:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1492 |   for (i = 0; i < L1[0]->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool AlmostSameAffinePart(LatticeUnion*, LatticeUnion*)’:
source/polylib_mod/Lattice.c:1537:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1537 |   for (i = 0; i < A->M->NbRows-1; i ++)
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool AffinePartSimplify(LatticeUnion*, LatticeUnion**)’:
source/polylib_mod/Lattice.c:1567:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1567 |   for (i = 0; i < curlist->M->NbRows - 1; i ++) {
      |               ~~^~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘Bool SameLinearPart(LatticeUnion*, LatticeUnion*)’:
source/polylib_mod/Lattice.c:1625:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1625 |   for (i = 0; i < A->M->NbRows-1; i++)
      |               ~~^~~~~~~~~~~~~~~~
In function ‘Bool AffinePartSimplify(LatticeUnion*, LatticeUnion**)’,
    inlined from ‘LatticeUnion* LatticeSimplify(LatticeUnion*)’ at source/polylib_mod/Lattice.c:1652:27:
source/polylib_mod/Lattice.c:1614:16: warning: ‘nextlist’ may be used uninitialized [-Wmaybe-uninitialized]
 1614 |     curr->next = nextlist;
      |     ~~~~~~~~~~~^~~~~~~~~~
source/polylib_mod/Lattice.c: In function ‘LatticeUnion* LatticeSimplify(LatticeUnion*)’:
source/polylib_mod/Lattice.c:1554:17: note: ‘nextlist’ was declared here
 1554 |   LatticeUnion *nextlist;
      |                 ^~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/Matop.c -o build/polylib_mod/Matop.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/Matop.c: In function ‘void ExchangeColumns(Matrix*, int, int)’:
source/polylib_mod/Matop.c:94:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   94 |   for (i = 0; i < M->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘void PutRowLast(Matrix*, int)’:
source/polylib_mod/Matop.c:193:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  193 |   if (Rownumber == X->NbRows-1)
      |       ~~~~~~~~~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:197:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  197 |   for (j = 0; j < X->NbColumns; j++) {
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:199:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  199 |     for (i = Rownumber; i < X->NbRows-1; i++)
      |                         ~~^~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘void PutRowFirst(Matrix*, int)’:
source/polylib_mod/Matop.c:216:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  216 |   for (j = 0; j < X->NbColumns; j++) {
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘void PutColumnFirst(Matrix*, int)’:
source/polylib_mod/Matop.c:236:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  236 |   for (i = 0; i < X->NbRows; i ++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘void PutColumnLast(Matrix*, int)’:
source/polylib_mod/Matop.c:255:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  255 |   for (i = 0; i < X->NbRows; i++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:257:30: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  257 |     for (j = Columnnumber; j < X->NbColumns-1; j++)
      |                            ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘Matrix* AddANullRow(Matrix*)’:
source/polylib_mod/Matop.c:274:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  274 |   for (i = 0;i < M->NbRows; i++)
      |              ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:275:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  275 |     for (j = 0; j < M->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:277:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  277 |   for (j = 0; j < M->NbColumns; j++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘Matrix* AddANullColumn(Matrix*)’:
source/polylib_mod/Matop.c:292:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  292 |   for (i = 0;i < M->NbRows; i++)
      |              ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:293:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  293 |     for (j = 0; j < M->NbColumns ; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:295:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  295 |   for (i = 0; i < M->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘Matrix* RemoveRow(Matrix*, int)’:
source/polylib_mod/Matop.c:312:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  312 |   for ( ; i < Result->NbRows; i++)
      |           ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘Matrix* RemoveNColumns(Matrix*, int, int)’:
source/polylib_mod/Matop.c:329:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  329 |   for (i = 0; i < Result->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘Matrix* RemoveColumn(Matrix*, int)’:
source/polylib_mod/Matop.c:347:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  347 |   for (i = 0; i < Result->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~
source/polylib_mod/Matop.c: In function ‘int findHermiteBasis(Matrix*, Matrix**)’:
source/polylib_mod/Matop.c:377:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  377 |     for (i = 0; i < H->NbRows; i++)
      |                 ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:381:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  381 |     if (i == H->NbRows) {
      |         ~~^~~~~~~~~~~~
source/polylib_mod/Matop.c:394:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  394 |   for (i = 0; i < C->NbRows; i++) {
      |               ~~^~~~~~~~~~~
source/polylib_mod/Matop.c:395:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  395 |     for (j = 0; j < C->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:398:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  398 |     if (j == C->NbColumns) {
      |         ~~^~~~~~~~~~~~~~~
source/polylib_mod/Matop.c:415:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  415 |   for (i = 0; i < C->NbColumns; i ++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:418:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  418 |   while((curVect < C->NbRows) && (curDim < dim)) {
      |          ~~~~~~~~^~~~~~~~~~~
source/polylib_mod/Matop.c:421:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  421 |     for (i = 0; i < C->NbColumns; i++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/Matop.c:427:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  427 |     if (rank == temp->NbRows) {
      |         ~~~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/SolveDio.c -o build/polylib_mod/SolveDio.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/SolveDio.c: In function ‘int SolveDiophantine(Matrix*, Matrix**, Vector**)’:
source/polylib_mod/SolveDio.c:104:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  104 |   for (i = 0; i < A->NbRows -1; i++)
      |               ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:105:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  105 |     for (j = 0; j < A->NbColumns-1; j++)
      |                 ~~^~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:164:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  164 |   for (i = rank; i < hermi->NbColumns; i++)
      |                  ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:171:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  171 |   for (i = rank; i < hermi->NbRows; i++) {
      |                  ~~^~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:173:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  173 |     for (j = 0; j < hermi->NbColumns; j++) {
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:194:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  194 |   if (rank == hermi->NbColumns)
      |       ~~~~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:199:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  199 |     for (i = 0; i < U[0]->NbRows; i++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:200:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  200 |       for (j = 0; j < U[0]->NbColumns; j++)
      |                   ~~^~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:204:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  204 |   for (i = 0; i < unimodinv->NbRows; i++) {
      |               ~~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:208:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  208 |     for (j = 0; j < unimodinv->NbColumns; j++) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c: In function ‘void RearrangeMatforSolveDio(Matrix*)’:
source/polylib_mod/SolveDio.c:259:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  259 |   for (i = 0; i < L->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/SolveDio.c:260:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  260 |     for (j = 0; j < L->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:266:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  266 |     for (j = 0; j < L->NbColumns; j++)
      |                 ~~^~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:269:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  269 |     if (j == L->NbColumns) {
      |         ~~^~~~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:282:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  282 |     for (i = 0; i <L->NbColumns; i++)
      |                 ~~^~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:287:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  287 |       for (i = 0;i <A->NbColumns; i++)
      |                  ~~^~~~~~~~~~~~~
source/polylib_mod/SolveDio.c:290:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  290 |       for (i = 0; i < H->NbRows; i++)
      |                   ~~^~~~~~~~~~~
source/polylib_mod/SolveDio.c:293:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  293 |       if (i != H->NbRows) {
      |           ~~^~~~~~~~~~~~
source/polylib_mod/SolveDio.c:306:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  306 |       min = (curend >= L->NbColumns) ? L->NbColumns : curend ;
      |              ~~~~~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/rationals.cpp -o build/rationals.o
source/rationals.cpp: In function ‘void CountRationalFunctionsWorker(void*)’:
source/rationals.cpp:529:17: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
  529 |                 if (CCmdLineArguments::GetVerboseLevel() < -5)
      |                 ^~
source/rationals.cpp:530:47: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
  530 |                         crd->bReturn = false; return;
      |                                               ^~~~~~
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> >&)’:
source/rationals.cpp:693:5: warning: this ‘for’ clause does not guard... [-Wmisleading-indentation]
  693 |     for (map<uint64_t, AmbiguousContribData>::iterator it = ml.ambiguous_monoms.begin(); it != ml.ambiguous_monoms.end(); it++)
      |     ^~~
source/rationals.cpp:695:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘for’
  695 |         if (!WaitForAllWorkersFinish()) return false;
      |         ^~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/NormalForms.c -o build/polylib_mod/NormalForms.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/NormalForms.c: In function ‘Value* ConvertPolMattoDarMat(Matrix*)’:
source/polylib_mod/NormalForms.c:586:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  586 |   for(i=0;i<A->NbRows * A->NbColumns;i++)
      |           ~^~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:589:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  589 |   for (i = 0; i < A->NbRows; i++)
      |               ~~^~~~~~~~~~~
source/polylib_mod/NormalForms.c:590:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  590 |     for (j = 0 ;  j < A->NbColumns; j++)
      |                   ~~^~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c: In function ‘void Smith(Matrix*, Matrix**, Matrix**, Matrix**)’:
source/polylib_mod/NormalForms.c:629:7: warning: unused variable ‘i’ [-Wunused-variable]
  629 |   int i;
      |       ^
source/polylib_mod/NormalForms.c: In function ‘void Hermite(Matrix*, Matrix**, Matrix**)’:
source/polylib_mod/NormalForms.c:681:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  681 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:683:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  683 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:707:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  707 |   for (i=0; i< A->NbRows * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:709:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  709 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/NormalForms.c:711:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  711 |   for (i=0; i< A->NbColumns * A->NbColumns; i++)
      |             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/Zpolyhedron.c -o build/polylib_mod/Zpolyhedron.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/Zpolyhedron.c: In function ‘ZPolyhedron* SplitZpolyhedron(ZPolyhedron*, Lattice*)’:
source/polylib_mod/Zpolyhedron.c:973:12: warning: unused variable ‘Intersection’ [-Wunused-variable]
  973 |   Lattice *Intersection = NULL;
      |            ^~~~~~~~~~~~
source/polylib_mod/Zpolyhedron.c:974:12: warning: unused variable ‘B1’ [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |            ^~
source/polylib_mod/Zpolyhedron.c:974:24: warning: unused variable ‘B2’ [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                        ^~
source/polylib_mod/Zpolyhedron.c:974:36: warning: unused variable ‘newB1’ [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                                    ^~~~~
source/polylib_mod/Zpolyhedron.c:974:51: warning: unused variable ‘newB2’ [-Wunused-variable]
  974 |   Lattice *B1 = NULL, *B2 = NULL, *newB1 = NULL, *newB2 = NULL;
      |                                                   ^~~~~
source/polylib_mod/Zpolyhedron.c:975:11: warning: unused variable ‘U’ [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |           ^
source/polylib_mod/Zpolyhedron.c:975:21: warning: unused variable ‘M1’ [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                     ^~
source/polylib_mod/Zpolyhedron.c:975:33: warning: unused variable ‘M2’ [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                 ^~
source/polylib_mod/Zpolyhedron.c:975:45: warning: unused variable ‘M1Inverse’ [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                             ^~~~~~~~~
source/polylib_mod/Zpolyhedron.c:975:63: warning: unused variable ‘MtProduct’ [-Wunused-variable]
  975 |   Matrix *U = NULL,*M1 = NULL, *M2 = NULL, *M1Inverse = NULL,*MtProduct = NULL;
      |                                                               ^~~~~~~~~
source/polylib_mod/Zpolyhedron.c:976:11: warning: unused variable ‘Vinv’ [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |           ^~~~
source/polylib_mod/Zpolyhedron.c:976:18: warning: unused variable ‘V’ [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                  ^
source/polylib_mod/Zpolyhedron.c:976:23: warning: unused variable ‘temp’ [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                       ^~~~
source/polylib_mod/Zpolyhedron.c:976:30: warning: unused variable ‘DiagMatrix’ [-Wunused-variable]
  976 |   Matrix *Vinv, *V , *temp, *DiagMatrix ;
      |                              ^~~~~~~~~~
source/polylib_mod/Zpolyhedron.c:980:7: warning: unused variable ‘i’ [-Wunused-variable]
  980 |   int i;
      |       ^
source/polylib_mod/Zpolyhedron.c:981:9: warning: unused variable ‘k’ [-Wunused-variable]
  981 |   Value k;
      |         ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/alpha.c -o build/polylib_mod/alpha.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/alpha.c: In function ‘int Polyhedron_Not_Empty(Polyhedron*, Polyhedron*, int)’:
source/polylib_mod/alpha.c:119:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  119 |   for (i=0;i<(P->Dimension+2);i++)
      |            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:132:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  132 |   for (i=0;i<(P->Dimension+2);i++)
      |            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c: In function ‘int PolyhedronLTQ(Polyhedron*, Polyhedron*, int, int, int)’:
source/polylib_mod/alpha.c:218:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  218 |     for (i=0; i<Q1->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:227:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  227 |     for (i=0; i<Q2->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:260:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  260 |     for (i=0; i<Q1->NbConstraints; i++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:299:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  299 |       for (j=0; j<Q2->NbConstraints; j++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c: In function ‘int GaussSimplify(Matrix*, Matrix*)’:
source/polylib_mod/alpha.c:467:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  467 |       for (i=0; i<(Mat2->NbRows-1);i++) {   /* all but the last row 0...0 1 */
      |                 ~^~~~~~~~~~~~~~~~~
source/polylib_mod/alpha.c:389:19: warning: unused variable ‘t’ [-Wunused-variable]
  389 |   int i, j, k, n, t, pivot, Rank;
      |                   ^
source/polylib_mod/alpha.c:389:22: warning: variable ‘pivot’ set but not used [-Wunused-but-set-variable]
  389 |   int i, j, k, n, t, pivot, Rank;
      |                      ^~~~~
source/polylib_mod/alpha.c: In function ‘int PolyhedronTSort(Polyhedron**, unsigned int, unsigned int, unsigned int, int*, int*, unsigned int)’:
source/polylib_mod/alpha.c:648:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  648 |       if (time[i]==t) {
      |           ~~~~~~~^~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/errormsg.c -o build/polylib_mod/errormsg.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/compress_parms.c -o build/polylib_mod/compress_parms.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/compress_parms.c: In function ‘Matrix* int_ker(Matrix*)’:
source/polylib_mod/compress_parms.c:73:20: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
   73 |   if (M->NbColumns <= rk) {
      |       ~~~~~~~~~~~~~^~~~~
source/polylib_mod/compress_parms.c:58:7: warning: unused variable ‘i’ [-Wunused-variable]
   58 |   int i, j, rk;
      |       ^
source/polylib_mod/compress_parms.c:58:10: warning: unused variable ‘j’ [-Wunused-variable]
   58 |   int i, j, rk;
      |          ^
In file included from source/polylib_mod/polylib/matrix_addon.h:29,
                 from source/polylib_mod/polylib/polylib.h:45,
                 from source/polylib_mod/compress_parms.c:33:
source/polylib_mod/compress_parms.c: In function ‘void linearInter(Matrix*, Matrix*, Matrix**, Matrix**)’:
source/polylib_mod/compress_parms.c:128:19: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  128 |   assert(B->NbRows==rk);
      |          ~~~~~~~~~^~~~
source/polylib_mod/compress_parms.c:124:9: warning: unused variable ‘j’ [-Wunused-variable]
  124 |   int i,j, z=0;
      |         ^
source/polylib_mod/compress_parms.c: In function ‘void Equalities_integerSolution(Matrix*, Matrix**)’:
source/polylib_mod/compress_parms.c:226:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  226 |   for (i=0; i< rk; i++) {
      |             ~^~~~
source/polylib_mod/compress_parms.c:243:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  243 |   for (i=rk; i< Eqs->NbColumns-2; i++) {
      |              ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c: In function ‘void Equalities_intModBasis(Matrix*, Matrix*, Matrix*, Matrix**)’:
source/polylib_mod/compress_parms.c:601:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  601 |   for (i=0; i< nbEqs; i++) {
      |             ~^~~~~~~
source/polylib_mod/compress_parms.c: In function ‘Matrix* Constraints_Remove_parm_eqs(Matrix**, Matrix**, int, unsigned int**)’:
source/polylib_mod/compress_parms.c:662:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  662 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:675:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  675 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:704:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  704 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:713:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  713 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:735:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  735 |   for (i=0; i< Eqs->NbRows; i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:741:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  741 |       if (k==Eqs->NbColumns-1) {
      |           ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:766:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  766 |         for (j=0; j< Eqs->NbRows; j++) {
      |                   ~^~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:772:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  772 |         for (j=0; j< Ctxt->NbRows; j++) {
      |                   ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:777:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  777 |         for (j=0; j< M->NbRows; j++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:802:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  802 |   for (i=0; i< M->NbRows; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/compress_parms.c:813:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  813 |   for (i=0; i< Ctxt->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/compress_parms.c:825:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  825 |     for (i=0; i<Eqs->NbRows; i++) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/compress_parms.c:835:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  835 |     for (i=0; i<Eqs->NbRows; i++) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/compress_parms.c: In function ‘Matrix* full_dimensionize(const Matrix*, int, Matrix**)’:
source/polylib_mod/compress_parms.c:998:16: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  998 |     for (j=0; j< nbParms; j++)
      |               ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1011:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
 1011 |   for (i=0; i< nbParms; i++) {
      |             ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1012:16: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
 1012 |     for (j=0; j< nbParms; j++)
      |               ~^~~~~~~~~
source/polylib_mod/compress_parms.c:1018:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
 1018 |   for (j=0; j< nbParms; j++)
      |             ~^~~~~~~~~
source/polylib_mod/compress_parms.c:912:33: warning: unused variable ‘permutationInv’ [-Wunused-variable]
  912 |   unsigned int * permutation, * permutationInv;
      |                                 ^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/errors.c -o build/polylib_mod/errors.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/iohandler.cpp -o build/iohandler.o
source/iohandler.cpp: In member function ‘bool CInputFile::ParseInput(const char*)’:
source/iohandler.cpp:640:25: warning: comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
  640 |         if (nVertexCmds > CCmdLineArguments::GetMaxVertices())     { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxVertices() << " coordinates exceeded."); return false; }
      |             ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/iohandler.cpp:641:29: 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]
  641 |         if (vSRideal.size() > CCmdLineArguments::GetMaxSRgens())   { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxSRgens() << " SR generators exceeded."); return false; }
      |             ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
source/iohandler.cpp:642:31: warning: comparison of integer expressions of different signedness: ‘size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
  642 |         if (nAmbientCohomCmds > CCmdLineArguments::GetMaxCohoms()) { ERR_OUT("Maximum allowed number of " << CCmdLineArguments::GetMaxCohoms() << " requested cohomologies exceeded."); return false; }
      |             ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/homogenization.c -o build/polylib_mod/homogenization.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/homogenization.c: In function ‘void dehomogenize_enode(enode*, int)’:
source/polylib_mod/homogenization.c:78:11: warning: unused variable ‘temp’ [-Wunused-variable]
   78 |   evalue *temp;
      |           ^~~~
source/polylib_mod/homogenization.c: In function ‘evalue* dehomogenize_polynomial(enode*)’:
source/polylib_mod/homogenization.c:106:10: warning: variable ‘som’ set but not used [-Wunused-but-set-variable]
  106 |   double som;
      |          ^~~
source/polylib_mod/homogenization.c: In function ‘Polyhedron* dehomogenize_polyhedron(Polyhedron*, int)’:
source/polylib_mod/homogenization.c:161:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  161 |   for (i = 0; i < constr->NbRows; i++){
      |               ~~^~~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/eval_ehrhart.c -o build/polylib_mod/eval_ehrhart.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/eval_ehrhart.c: In function ‘int in_domain(Polyhedron*, Value*)’:
source/polylib_mod/eval_ehrhart.c:57:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   57 |   for(row=0;row<P->NbConstraints;row++) {
      |             ~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/eval_ehrhart.c:59:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   59 |     for(col=1;col<P->Dimension+1;col++) {
      |               ~~~^~~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/matrix_addon.c -o build/polylib_mod/matrix_addon.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/matrix_addon.c: In function ‘void Matrix_identity(unsigned int, Matrix**)’:
source/polylib_mod/matrix_addon.c:106:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  106 |     for (i=0; i< dim; i++) {
      |               ~^~~~~
source/polylib_mod/matrix_addon.c:107:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  107 |       for (j=0; j< dim; j++) {
      |                 ~^~~~~
In file included from source/polylib_mod/polylib/matrix_addon.h:29,
                 from source/polylib_mod/polylib/polylib.h:45,
                 from source/polylib_mod/matrix_addon.c:28:
source/polylib_mod/matrix_addon.c: In function ‘Matrix* mtransformation_expand_left_to_dim(Matrix*, int)’:
source/polylib_mod/matrix_addon.c:160:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  160 |   assert(new_dim>=M->NbColumns);
      |          ~~~~~~~^~~~~~~~~~~~~~
source/polylib_mod/matrix_addon.c: In function ‘void mpolyhedron_simplify(Matrix*)’:
source/polylib_mod/matrix_addon.c:176:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  176 |   for (i=0; i< polyh->NbRows; i++) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix_addon.c:173:10: warning: unused variable ‘j’ [-Wunused-variable]
  173 |   int i, j;
      |          ^
source/polylib_mod/matrix_addon.c: In function ‘void eliminate_var_with_constr(Matrix*, unsigned int, Matrix*, unsigned int, unsigned int)’:
source/polylib_mod/matrix_addon.c:272:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  272 |     for (k=1; k<Victim->NbColumns; k++) {
      |               ~^~~~~~~~~~~~~~~~~~
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)’:
source/polylib_mod/matrix_addon.c:400:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  400 |   for (i=0; i< nbR; i++) {
      |             ~^~~~~
source/polylib_mod/matrix_addon.c: In function ‘void Matrix_oppose(Matrix*)’:
source/polylib_mod/matrix_addon.c:411:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  411 |   for (i=0; i<M->NbRows; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/matrix_addon.c:412:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  412 |     for (j=0; j< M->NbColumns; j++) {
      |               ~^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/ext_ehrhart.c -o build/polylib_mod/ext_ehrhart.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/ext_ehrhart.c: In function ‘Matrix* CalcBase(Matrix*)’:
source/polylib_mod/ext_ehrhart.c:58:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   58 |         for( l=0 ; l<R->NbRows ; ++l )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:66:39: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   66 |                         for( j=l+1 ; j<R->NbRows ; ++j )
      |                                      ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:81:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   81 |         for( l=0 ; l<R->NbRows ; ++l )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:117:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  117 |                 for( i=0 ; i<R->NbRows ; ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:121:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  121 |                 for( i=0 ; i<R->NbRows && value_zero_p(B->p[u][i]); ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:123:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  123 |                 if( i<R->NbRows )
      |                     ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:127:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  127 |                 for( i=0 ; i<R->NbRows ; ++i )
      |                            ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘int existepivot(Matrix*, int)’:
source/polylib_mod/ext_ehrhart.c:222:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  222 |         for( j=l ; j<R->NbRows ; ++j )
      |                    ~^~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘void swap_line(Matrix*, int, int)’:
source/polylib_mod/ext_ehrhart.c:247:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  247 |                 for(i = 0;i < R->NbColumns;i ++)
      |                           ~~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘void Soustraire_ligne(Matrix*, int, int, int)’:
source/polylib_mod/ext_ehrhart.c:299:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  299 |         for(i = piv + 1;i < R->NbColumns;i ++)
      |                         ~~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:307:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  307 |         for( i=piv+1 ; i<R->NbColumns && p!=0 ; i++ )
      |                        ~^~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘Matrix* Reduce_Matrix(Matrix*)’:
source/polylib_mod/ext_ehrhart.c:518:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  518 |            for (i=0;i<Mat->NbColumns; i++)  {
      |                     ~^~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:521:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  521 |            for (i=0; i<Mat->NbRows-1; i++)  {
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘void Scalar_product(Value*, Value*, unsigned int, Value*)’:
source/polylib_mod/ext_ehrhart.c:540:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  540 |                for (i=0;i<length;i++) {
      |                         ~^~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘Matrix* Orthogonal_Base(Matrix*)’:
source/polylib_mod/ext_ehrhart.c:567:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  567 |   for(k=0; k<length; k++)  {
      |            ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:573:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  573 |   for(i=1; i<Mat->NbRows; i++)  {
      |            ~^~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:574:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  574 |     for(k=0;k<length;k++)  {
      |             ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:580:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  580 |       for(k=0;k<length;k++)  {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:589:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  589 |       for(k=0;k<length;k++) {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:598:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  598 |         for(k=0;k<length;k++) {
      |                 ~^~~~~~~
source/polylib_mod/ext_ehrhart.c:605:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  605 |       for(k=0;k<length;k++) {
      |               ~^~~~~~~
source/polylib_mod/ext_ehrhart.c: In function ‘Enumeration* Domain_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)’:
source/polylib_mod/ext_ehrhart.c:707:23: warning: unused variable ‘pr’ [-Wunused-variable]
  707 |       Enumeration *e,*pr,*en,*en1, *en2,*tmp, *res, *sen;
      |                       ^~
source/polylib_mod/ext_ehrhart.c: In function ‘Enumeration* Polyhedron_Image_Enumerate(Polyhedron*, Polyhedron*, Matrix*, unsigned int, const char**)’:
source/polylib_mod/ext_ehrhart.c:879:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  879 |                for (i=0;i<Tred->NbRows;i++) {
      |                         ~^~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:880:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  880 |                     for (j=0; j<Tred->NbColumns;j++) {
      |                               ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:884:36: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  884 |                for(i=Tred->NbRows;i<Tred->NbColumns;i++) {
      |                                   ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:885:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  885 |                      for (j=0;j<Tred->NbColumns;j++) {
      |                               ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:930:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  930 |             for (k=0;k<d1->NbRows;k++) {
      |                      ~^~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:936:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  936 |           for (j=0;j<D->NbConstraints;j++)  {
      |                    ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:937:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  937 |                  for (k=0;k<=D->Dimension-1;k++) {
      |                           ~^~~~~~~~~~~~~~~~
source/polylib_mod/ext_ehrhart.c:951:34: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  951 |                        for (k=1;k<=D->Dimension;k++) {
      |                                 ~^~~~~~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/matrix_permutations.c -o build/polylib_mod/matrix_permutations.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/matrix_permutations.c: In function ‘unsigned int* permutation_inverse(unsigned int*, unsigned int)’:
source/polylib_mod/matrix_permutations.c:54:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   54 |   for (i=0; i< nb_elems; i++) inv_perm[perm[i]] = i;
      |             ~^~~~~~~~~~
source/polylib_mod/matrix_permutations.c: In function ‘long long unsigned int eliminable_vars(Matrix*, unsigned int, unsigned int)’:
source/polylib_mod/matrix_permutations.c:138:12: warning: unused variable ‘M’ [-Wunused-variable]
  138 |   Matrix * M, * H, * Q, *U;
      |            ^
source/polylib_mod/matrix_permutations.c: In function ‘unsigned int* find_a_permutation(Matrix*, unsigned int)’:
source/polylib_mod/matrix_permutations.c:229:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  229 |   for (i=0; i< nb_vars; i++) {
      |             ~^~~~~~~~~
source/polylib_mod/matrix_permutations.c:214:19: warning: unused variable ‘j’ [-Wunused-variable]
  214 |   unsigned int i, j, k;
      |                   ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/param.c -o build/polylib_mod/param.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/ehrhart.c -o build/polylib_mod/ehrhart.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/ehrhart.c: In function ‘void addeliminatedparams_evalue(evalue*, Matrix*)’:
source/polylib_mod/ehrhart.c:602:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  602 |     for(i=0;i<CT->NbRows-1;i++)
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:603:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  603 |         for(j=0;j<CT->NbColumns;j++)
      |                 ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘int cherche_min(Value*, Polyhedron*, int)’:
source/polylib_mod/ehrhart.c:644:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  644 |     if(pos > D->Dimension)
      |        ~~~~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘Polyhedron* Polyhedron_Preprocess(Polyhedron*, Value*, unsigned int)’:
source/polylib_mod/ehrhart.c:758:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  758 |     for(i=0;i<D->NbConstraints;i++)
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:771:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  771 |     for(i=0;i<D->NbConstraints;i++) {
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘Polyhedron* Polyhedron_Preprocess2(Polyhedron*, Value*, Value*, unsigned int)’:
source/polylib_mod/ehrhart.c:928:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  928 |     for(i=0;i<D->Dimension;i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:932:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  932 |         for(j=0;j<D->Dimension;j++)
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:935:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  935 |         for(r=1;r<D->NbRays;r++) {
      |                 ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:948:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  948 |         for(j=0;j<D->Dimension;j++)
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:955:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  955 |         for(r=1;r<D->NbRays;r++) {
      |                 ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:1029:9: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1029 |     if(i!=D->Dimension) {
      |        ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:1035:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1035 |     for(i=0;i<D->Dimension;i++) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘void Scan_Vertices(Param_Polyhedron*, Param_Domain*, Matrix*, Value*, int, const char**)’:
source/polylib_mod/ehrhart.c:1694:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1694 |       for(j=0;j<V->Vertex->NbRows;j++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:1696:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1696 |         for( l=0 ; l<V->Vertex->NbColumns-1 ; l++ )
      |                    ~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘Enumeration* Enumerate_NoParameters(Polyhedron*, Polyhedron*, Matrix*, Polyhedron*, unsigned int, const char**)’:
source/polylib_mod/ehrhart.c:1784:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1784 |     for(r=0;r<P->NbRays;++r) {
      |             ~^~~~~~~~~~
source/polylib_mod/ehrhart.c:1790:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1790 |         for(i=1;i<P->Dimension;i++) {
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘Enumeration* Polyhedron_Enumerate(Polyhedron*, Polyhedron*, unsigned int, const char**)’:
source/polylib_mod/ehrhart.c:2052:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2052 |       for(r=0;r<CQ->NbRays;r++) {
      |               ~^~~~~~~~~~~
source/polylib_mod/ehrhart.c:2057:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2057 |       if(r==CQ->NbRays) {
      |          ~^~~~~~~~~~~~
source/polylib_mod/ehrhart.c: In function ‘Enumeration* Ehrhart_Quick_Apx_Full_Dim(Polyhedron*, Polyhedron*, unsigned int, const char**)’:
source/polylib_mod/ehrhart.c:2486:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2486 |       for(r=0;r<CQ->NbRays;r++) {
      |               ~^~~~~~~~~~~
source/polylib_mod/ehrhart.c:2491:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2491 |       if(r==CQ->NbRays) {
      |          ~^~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2288:9: warning: unused variable ‘j’ [-Wunused-variable]
 2288 |   int i,j,hdim, dim, nb_param, np;
      |         ^
source/polylib_mod/ehrhart.c:2296:20: warning: unused variable ‘V_tmp’ [-Wunused-variable]
 2296 |   Param_Vertices * V_tmp;
      |                    ^~~~~
source/polylib_mod/ehrhart.c: In function ‘const char** parmsWithoutElim(const char**, const unsigned int*, unsigned int)’:
source/polylib_mod/ehrhart.c:2742:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const unsigned int’ [-Wsign-compare]
 2742 |   for (k=1; k<= elimParms[0]; k++) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2743:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const unsigned int’ [-Wsign-compare]
 2743 |     while (i!=elimParms[k]) {
      |            ~^~~~~~~~~~~~~~
source/polylib_mod/ehrhart.c:2739:12: warning: unused variable ‘j’ [-Wunused-variable]
 2739 |   int i=0, j=0,k;
      |            ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/matrix.c -o build/polylib_mod/matrix.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/matrix.c:153:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
  153 |         value_print(Dst," "P_VALUE_FMT" ",*p++);
      |                         ^
source/polylib_mod/matrix.c:915:41: warning: "/*" within comment [-Wcomment]
  915 |     /* value_set_si(MatInv->p[i][k],1); /* denum */
      |                                          
source/polylib_mod/matrix.c: In function ‘Matrix* Matrix_Alloc(unsigned int, unsigned int)’:
source/polylib_mod/matrix.c:78:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
   78 |       for (i=0;i<NbRows;i++) {
      |                ~^~~~~~~
source/polylib_mod/matrix.c:49:9: warning: unused variable ‘j’ [-Wunused-variable]
   49 |   int i,j;
      |         ^
source/polylib_mod/matrix.c: In function ‘void Matrix_Extend(Matrix*, unsigned int)’:
source/polylib_mod/matrix.c:114:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  114 |   if (Mat->p_Init_size < NbRows * Mat->NbColumns) {
      |       ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:123:34: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  123 |     for (i = Mat->p_Init_size; i < Mat->NbColumns*NbRows; ++i)
      |                                ~~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:129:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  129 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:106:9: warning: unused variable ‘j’ [-Wunused-variable]
  106 |   int i,j;
      |         ^
source/polylib_mod/matrix.c: In function ‘void Matrix_Print(FILE*, const char*, Matrix*)’:
source/polylib_mod/matrix.c:149:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  149 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:151:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  151 |     for (j=0;j<NbColumns;j++) {
      |              ~^~~~~~~~~~
source/polylib_mod/matrix.c: In function ‘void Matrix_Read_Input(Matrix*)’:
source/polylib_mod/matrix.c:173:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  173 |   for (i=0;i<Mat->NbRows;i++) {
      |            ~^~~~~~~~~~~~
source/polylib_mod/matrix.c:184:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  184 |     for (j=0;j<Mat->NbColumns;j++) {
      |              ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix.c: In function ‘void right_hermite(Matrix*, Matrix**, Matrix**, Matrix**)’:
source/polylib_mod/matrix.c:438:21: warning: variable ‘rank’ set but not used [-Wunused-but-set-variable]
  438 |   int i, j, nr, nc, rank;
      |                     ^~~~
source/polylib_mod/matrix.c: In function ‘void left_hermite(Matrix*, Matrix**, Matrix**, Matrix**)’:
source/polylib_mod/matrix.c:508:21: warning: variable ‘rank’ set but not used [-Wunused-but-set-variable]
  508 |   int i, j, nc, nr, rank;
      |                     ^~~~
source/polylib_mod/matrix.c: In function ‘void rat_prodmat(Matrix*, Matrix*, Matrix*)’:
source/polylib_mod/matrix.c:733:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  733 |   for(k=1;k<P->NbRows;++k) {
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:742:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  742 |   for(i=0;i<X->NbRows;++i)
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:743:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  743 |     for(j=0;j<P->NbColumns-1;++j) {
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/matrix.c:747:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  747 |       for(k=0;k<P->NbRows;++k) {
      |               ~^~~~~~~~~~
source/polylib_mod/matrix.c:766:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  766 |   for(i=0;i<S->NbRows;++i) {
      |           ~^~~~~~~~~~
source/polylib_mod/matrix.c:723:14: warning: variable ‘old_lcm’ set but not used [-Wunused-but-set-variable]
  723 |   Value lcm, old_lcm,gcd,last_column_entry,s1;
      |              ^~~~~~~
source/polylib_mod/matrix.c: In function ‘void Matrix_Product(Matrix*, Matrix*, Matrix*)’:
source/polylib_mod/matrix.c:855:18: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  855 |   if(Mat2->NbRows!=Size||Mat3->NbRows!=NbRows||Mat3->NbColumns!=NbColumns) {
      |      ~~~~~~~~~~~~^~~~~~
source/polylib_mod/matrix.c:865:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  865 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/matrix.c:866:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  866 |     for (j=0;j<NbColumns;j++) {
      |              ~^~~~~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/ranking.c -o build/polylib_mod/ranking.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/ranking.c: In function ‘Polyhedron* LexSmaller(Polyhedron*, Polyhedron*, unsigned int, Polyhedron*, unsigned int)’:
source/polylib_mod/ranking.c:54:15: warning: unused variable ‘j’ [-Wunused-variable]
   54 |   unsigned i, j, k, r;
      |               ^
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/vector.c -o build/polylib_mod/vector.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/vector.c: In function ‘int First_Non_Zero(Value*, unsigned int)’:
source/polylib_mod/vector.c:143:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  143 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c:148:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  148 |   return((i==length) ? -1 : i );
      |           ~^~~~~~~~
source/polylib_mod/vector.c: In function ‘Vector* Vector_Alloc(unsigned int)’:
source/polylib_mod/vector.c:171:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  171 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Free(Vector*)’:
source/polylib_mod/vector.c:184:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  184 |   for(i=0;i<vector->Size;i++)
      |           ~^~~~~~~~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Print(FILE*, const char*, Vector*)’:
source/polylib_mod/vector.c:201:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  201 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘Vector* Vector_Read()’:
source/polylib_mod/vector.c:230:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  230 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Set(Value*, int, unsigned int)’:
source/polylib_mod/vector.c:246:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  246 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Exchange(Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:260:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  260 |   for(i=0;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Copy(Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:277:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  277 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Add(Value*, Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:294:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  294 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Sub(Value*, Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:313:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  313 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Or(Value*, Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:332:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  332 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Scale(Value*, Value*, Value, unsigned int)’:
source/polylib_mod/vector.c:350:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  350 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_AntiScale(Value*, Value*, Value, unsigned int)’:
source/polylib_mod/vector.c:366:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  366 |   for (i = 0; i < length; i++)
      |               ~~^~~~~~~~
source/polylib_mod/vector.c: In function ‘void Inner_Product(Value*, Value*, unsigned int, Value*)’:
source/polylib_mod/vector.c:392:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  392 |   for(i = 1; i < length; i++)
      |              ~~^~~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Max(Value*, unsigned int, Value*)’:
source/polylib_mod/vector.c:407:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  407 |   for (i=1;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Min(Value*, unsigned int, Value*)’:
source/polylib_mod/vector.c:424:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  424 |   for (i=1;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Combine(Value*, Value*, Value*, Value, Value, unsigned int)’:
source/polylib_mod/vector.c:441:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  441 |   for (i = 0; i < length; i++) {
      |               ~~^~~~~~~~
source/polylib_mod/vector.c: In function ‘int Vector_Equal(Value*, Value*, unsigned int)’:
source/polylib_mod/vector.c:457:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  457 |   for (i = 0; i < n; ++i)
      |               ~~^~~
source/polylib_mod/vector.c: In function ‘void Vector_Min_Not_Zero(Value*, unsigned int, int*, Value*)’:
source/polylib_mod/vector.c:483:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  483 |   for (i = i+1; i < length; i++) {
      |                 ~~^~~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Gcd(Value*, unsigned int, Value*)’:
source/polylib_mod/vector.c:506:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  506 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c:512:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  512 |   for (cq = q,i=0;i<length;i++) {
      |                   ~^~~~~~~
source/polylib_mod/vector.c:525:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  525 |       for (i=0;i<length;i++,cq++)
      |                ~^~~~~~~
source/polylib_mod/vector.c:538:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  538 |   for(i=0;i<length;i++)
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Map(Value*, Value*, Value*, unsigned int, Value* (*)(Value, Value))’:
source/polylib_mod/vector.c:556:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  556 |   for(i=0;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Normalize(Value*, unsigned int)’:
source/polylib_mod/vector.c:571:7: warning: unused variable ‘i’ [-Wunused-variable]
  571 |   int i;
      |       ^
source/polylib_mod/vector.c: In function ‘void Vector_Normalize_Positive(Value*, int, int)’:
source/polylib_mod/vector.c:590:7: warning: unused variable ‘i’ [-Wunused-variable]
  590 |   int i;
      |       ^
source/polylib_mod/vector.c: In function ‘void Vector_Reduce(Value*, unsigned int, void (*)(Value, Value*), Value*)’:
source/polylib_mod/vector.c:611:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  611 |   for(i=1;i<length;i++) {
      |           ~^~~~~~~
source/polylib_mod/vector.c: In function ‘void Vector_Sort(Value*, unsigned int)’:
source/polylib_mod/vector.c:636:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  636 |     while (j<=(n-1)/2) {
      |            ~^~~~~~~~~
source/polylib_mod/vector.c:641:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  641 |       if ((j<<1)+2>=n) {
      |           ~~~~~~~~^~~
source/polylib_mod/vector.c: In function ‘Vector* Vector_Read()’:
source/polylib_mod/vector.c:223:8: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
  223 |   scanf("%d", &length);
      |   ~~~~~^~~~~~~~~~~~~~~
source/polylib_mod/vector.c:231:10: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
  231 |     scanf("%s",str);
      |     ~~~~~^~~~~~~~~~
source/polylib_mod/vector.c: In function ‘Value* value_alloc(int, int*)’:
source/polylib_mod/vector.c:788:26: warning: ‘best’ may be used uninitialized [-Wmaybe-uninitialized]
  788 |       *got = cache[best].size;
      |              ~~~~~~~~~~~~^~~~
source/polylib_mod/vector.c:771:11: note: ‘best’ was declared here
  771 |       int best;
      |           ^~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/polyparam.c -o build/polylib_mod/polyparam.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/polyparam.c: In function ‘Polyhedron* PDomainDifference(Polyhedron*, Polyhedron*, unsigned int)’:
source/polylib_mod/polyparam.c:124:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  124 |       for (i=0; i<p2->NbConstraints; i++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘int TestRank(Matrix*)’:
source/polylib_mod/polyparam.c:160:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  160 |   for(k=0;k<Mat->NbColumns;++k) {
      |           ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:165:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  165 |       for(j=k+1;j<Mat->NbRows;++j) {
      |                 ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c:171:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  171 |           for(i=k;i<Mat->NbColumns;++i) {
      |                   ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:182:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  182 |       if(j>=Mat->NbRows) {
      |          ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:192:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  192 |     for(j=k+1;j<Mat->NbRows;++j) {
      |               ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c:196:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  196 |       for(i=k+1;i<Mat->NbColumns;++i) {
      |                 ~^~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘void SMPrint(SatMatrix*)’:
source/polylib_mod/polyparam.c:259:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  259 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyparam.c:261:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  261 |     for (j=0;j<NbColumns;j++)
      |              ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘void traite_m_face(Polyhedron*, unsigned int*, unsigned int*)’:
source/polylib_mod/polyparam.c:378:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  378 |   for(k=0,c=0,kx=0,bx=MSB;k<D->NbRays;++k) {
      |                           ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘int count_sat(unsigned int*)’:
source/polylib_mod/polyparam.c:544:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                         ^
source/polylib_mod/polyparam.c:544:28: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                            ^~~
source/polylib_mod/polyparam.c:544:33: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  544 |   register unsigned int i, tmp, cnt=0;
      |                                 ^~~
source/polylib_mod/polyparam.c:546:14: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  546 |   for (i=0; i<nr; i++) {
      |             ~^~~
source/polylib_mod/polyparam.c: In function ‘void scan_m_face(int, int, Polyhedron*, unsigned int*)’:
source/polylib_mod/polyparam.c:663:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  663 |     for (i = pos; i < D->NbConstraints; ++i) {
      |                   ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:670:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  670 |     for (i = pos; i < D->NbConstraints; ++i)
      |                   ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:676:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  676 |   if((pos+nb_un)>D->NbConstraints) return;
      |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:716:42: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  716 |                     for (i = 0, c = 0; i < D->NbConstraints; ++i) {
      |                                        ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:717:59: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  717 |                         if (egalite[i] == 0 || egalite[i] == -1)
      |                                                ~~~~~~~~~~~^~~~~
source/polylib_mod/polyparam.c:719:39: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  719 |                         for (j = 0; j < D->Dimension+1; ++j)
      |                                     ~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:746:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  746 |  if ((pos+nb_un)>=D->NbConstraints) return;
      |      ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘SatMatrix* Poly2Sat(Polyhedron*, unsigned int**)’:
source/polylib_mod/polyparam.c:778:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  778 |   for (k=0; k<NbRay; k++) {
      |             ~^~~~~~
source/polylib_mod/polyparam.c:779:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  779 |     for (i=0; i<NbCon; i++) {
      |               ~^~~~~~
source/polylib_mod/polyparam.c:783:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  783 |       for (j=0;j<Dimension;j++) {
      |                ~^~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘Matrix* PreElim_Columns(Polyhedron*, int*, int*, int)’:
source/polylib_mod/polyparam.c:899:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  899 |   for(l=0;l<E->NbEq;++l) {
      |           ~^~~~~~~~
source/polylib_mod/polyparam.c:906:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  906 |       if(i==E->Dimension+1) {
      |          ~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:920:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  920 |   for(i=0;i<E->Dimension+2-E->NbEq;++i) {
      |           ~^~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:922:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  922 |     for(j=0;j<E->NbEq;++j)
      |             ~^~~~~~~~
source/polylib_mod/polyparam.c:933:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  933 |   for(i=0;i<T->NbColumns;i++)
      |           ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:934:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  934 |     for(j=0;j<T->NbRows;j++)
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:935:34: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  935 |       if(ref[E->Dimension-m+j+1] == E->Dimension-m+i+1)
      |          ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘Polyhedron* Elim_Columns(Polyhedron*, Polyhedron*, int*, int*)’:
source/polylib_mod/polyparam.c:973:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  973 |   for(l=0;l<E->NbEq;++l) {
      |           ~^~~~~~~~
source/polylib_mod/polyparam.c:974:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  974 |     for(c=0;c<M->NbRows;++c) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:978:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  978 |         for(i=1;i<M->NbColumns;++i) {
      |                 ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c:995:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  995 |   for(l=0;l<C->NbRows;++l)
      |           ~^~~~~~~~~~
source/polylib_mod/polyparam.c:996:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  996 |     for(c=0;c<C->NbColumns;++c) {
      |             ~^~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘Polyhedron* Recession_Cone(Polyhedron*, unsigned int, unsigned int)’:
source/polylib_mod/polyparam.c:1019:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1019 |     for (i = 0; i < P->NbConstraints; ++i)
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘int ComputeNPLinesRays(int, Polyhedron*, Matrix**)’:
source/polylib_mod/polyparam.c:1042:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1042 |   for (i = 0; i < RC->NbRays ;i++)
      |               ~~^~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘Param_Polyhedron* Find_m_faces(Polyhedron**, Polyhedron*, int, int, Polyhedron**, Matrix**)’:
source/polylib_mod/polyparam.c:1157:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1157 |       for(j=0,i=0;i<C1->NbEq;++i,++j) {
      |                   ~^~~~~~~~~
source/polylib_mod/polyparam.c:1185:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1185 |     for(i=0;i<C1->NbConstraints;++i) {
      |             ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1287:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1287 |   for (i=0; i<D1->NbEq; i++)
      |             ~^~~~~~~~~
source/polylib_mod/polyparam.c:1310:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1310 |   if (m_dim < D1->NbBid)
      |       ~~~~~~^~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘void Print_Vertex(FILE*, Matrix*, const char**)’:
source/polylib_mod/polyparam.c:1603:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1603 |   for(l=0;l<V->NbRows;++l){
      |           ~^~~~~~~~~~
source/polylib_mod/polyparam.c:1608:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1608 |     for(v=0;v < V->NbColumns-2;++v) {
      |             ~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1639:7: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
 1639 |       if(value_posz_p(V->p[l][v]) && !first)
      |       ^~
In file included from source/polylib_mod/polylib/polylib.h:25,
                 from source/polylib_mod/polyparam.c:51:
source/polylib_mod/polylib/arithmetique.h:532:41: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
  532 | #define value_gcd(ref,val1,val2)        Gcd((val1),(val2),&(ref))
      |                                         ^~~
source/polylib_mod/polyparam.c:1641:9: note: in expansion of macro ‘value_gcd’
 1641 |         value_gcd(gcd, V->p[l][v], V->p[l][V->NbColumns-1]);
      |         ^~~~~~~~~
source/polylib_mod/polyparam.c:1651:10: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1651 |     if (l<V->NbRows-1)
      |         ~^~~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘Matrix* VertexCT(Matrix*, Matrix*)’:
source/polylib_mod/polyparam.c:1672:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1672 |     for(i=0;i<V->NbRows;++i) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyparam.c:1674:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1674 |       for(j=0;j<CT->NbColumns;j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1675:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1675 |         for(k=0;k<CT->NbRows;k++)
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyparam.c:1678:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1678 |         if(k<CT->NbRows)
      |            ~^~~~~~~~~~~
source/polylib_mod/polyparam.c: In function ‘void Print_Domain(FILE*, Polyhedron*, const char**)’:
source/polylib_mod/polyparam.c:1701:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1701 |   for(l=0;l<D->NbConstraints;++l) {
      |           ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyparam.c:1704:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1704 |     for(v=1;v<=D->Dimension;++v) {
      |             ~^~~~~~~~~~~~~~
source/polylib_mod/polyparam.c: At global scope:
source/polylib_mod/polyparam.c:252:13: warning: ‘void SMPrint(SatMatrix*)’ defined but not used [-Wunused-function]
  252 | static void SMPrint (SatMatrix *matrix) {
      |             ^~~~~~~
g++ -Isource -Isource/polylib_mod -DPOLYLIB_BITS=64  -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer  -c source/polylib_mod/polyhedron.c -o build/polylib_mod/polyhedron.o
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
source/polylib_mod/polyhedron.c: In function ‘void SMPrint(SatMatrix*)’:
source/polylib_mod/polyhedron.c:169:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  169 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:171:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  171 |     for (j=0;j<NbColumns;j++)
      |              ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void SatVector_OR(int*, int*, int*, unsigned int)’:
source/polylib_mod/polyhedron.c:188:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  188 |   for (i=0;i<length;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c: In function ‘SatMatrix* TransformSat(Matrix*, Matrix*, SatMatrix*)’:
source/polylib_mod/polyhedron.c:280:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  280 |   for(i=0,jx1=0,bx1=MSB; i<Ray->NbRows; i++) {
      |                          ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c:281:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  281 |     for(j=0,jx2=0,bx2=MSB; j<Mat->NbRows; j++) {
      |                            ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void SatMatrix_Extend(SatMatrix*, Matrix*, unsigned int)’:
source/polylib_mod/polyhedron.c:370:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  370 |   for (i = 0; i < rows; ++i)
      |               ~~^~~~~~
source/polylib_mod/polyhedron.c: In function ‘int Chernikova(Matrix*, Matrix*, SatMatrix*, unsigned int, unsigned int, unsigned int, unsigned int)’:
source/polylib_mod/polyhedron.c:430:30: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  430 |     for (k=FirstConstraint; k<NbConstraints; k++) {
      |                             ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:438:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  438 |       for (i=0; i<NbRay; i++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:446:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  446 |         for (j=1; j<Dimension; j++) {
      |                   ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:466:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  466 |       if (index_non_zero<NbBid) {
      |           ~~~~~~~~~~~~~~^~~~~~
source/polylib_mod/polyhedron.c:470:18: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  470 |         if (NbBid!=index_non_zero)
      |             ~~~~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:486:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  486 |         for (i=0; i<NbBid; i++)
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:495:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  495 |           for (j=0;j<Dimension+1; j++) {
      |                    ~^~~~~~~~~~~~
source/polylib_mod/polyhedron.c:514:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  514 |         for (i=NbBid+1; i<NbRay; i++)
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:520:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  520 |           for (j=0;j<sat_nbcolumns;j++) {
      |                    ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:580:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  580 |             for (l=0; l<jx; l++) {
      |                       ~^~~
source/polylib_mod/polyhedron.c:603:30: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  603 |               for (m=NbBid; m<bound; m++)
      |                             ~^~~~~~
source/polylib_mod/polyhedron.c:604:23: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  604 |                 if ((m!=i)&&(m!=j)) {
      |                      ~^~~
source/polylib_mod/polyhedron.c:604:31: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
  604 |                 if ((m!=i)&&(m!=j)) {
      |                              ~^~~
source/polylib_mod/polyhedron.c:618:30: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  618 |                   for (l=0; l<=jx; l++,ip2++,ip1++)
      |                             ~^~~~
source/polylib_mod/polyhedron.c:621:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  621 |                   if (l>jx) {
      |                       ~^~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Remove_Redundants(Matrix*, Matrix*, SatMatrix*, unsigned int*)’:
source/polylib_mod/polyhedron.c:918:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  918 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:933:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  933 |     for (i=0; i<NbRay; i++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:969:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  969 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:996:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
  996 |         for (i=0; i<NbRay; i++)
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:1011:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1011 |         if (j==NbConstraints) continue;
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1020:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1020 |       for (i=0; i<NbRay; i++)
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:1037:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1037 |     for (i=0; i<NbRay; i++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:1068:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1068 |     for (i=0; i<NbEq; i++) {
      |               ~^~~~~
source/polylib_mod/polyhedron.c:1074:65: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1074 |         for (k=i+1; value_cmp_si(Mat->p[k][0], NbRay) != 0 && k < NbConstraints; k++)
      |                                                               ~~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1076:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1076 |         if (k==NbConstraints) /* If none found then error */ break;
      |             ~^~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1102:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1102 |       for (i = 0; i < NbEq; i++) {
      |                   ~~^~~~~~
source/polylib_mod/polyhedron.c:1110:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1110 |       for (i=0; i<NbEq; i++) {
      |                 ~^~~~~
source/polylib_mod/polyhedron.c:1114:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1114 |         for (j=i+1; j<NbEq; j++) {
      |                     ~^~~~~
source/polylib_mod/polyhedron.c:1167:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1167 |     for (i=0, k=NbRay; i<NbBid && k>i; i++) {
      |                        ~^~~~~~
source/polylib_mod/polyhedron.c:1228:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1228 |     for (j=0; j<NbConstraints; j++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1275:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1275 |     for (j=0; j<NbRay; j++) {
      |               ~^~~~~~
source/polylib_mod/polyhedron.c:1356:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1356 |     for (j=NbEq; j<NbConstraints; j++) {
      |                  ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1360:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1360 |         for (k=0; k<sat_nbcolumns; k++) Trace[k]=0;  /* init Trace */
      |                   ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1364:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1364 |         for (i=NbBid; i<NbRay; i++)
      |                       ~^~~~~~
source/polylib_mod/polyhedron.c:1369:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1369 |               for (k=0; k<sat_nbcolumns; k++) Trace[k] |= Sat->p[i][k];
      |                         ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1376:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1376 |         for (i=NbEq; i<NbConstraints; i++) {
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1439:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1439 |     for (i=NbBid; i<NbRay; i++) {
      |                   ~^~~~~~
source/polylib_mod/polyhedron.c:1446:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1446 |           for (k=NbBid; k<NbRay; k++) Trace[k]=0;         /* init Trace */
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:1452:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1452 |           for (k=NbBid; k<NbRay; k++)
      |                         ~^~~~~~
source/polylib_mod/polyhedron.c:1459:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1459 |         for (j=NbEq; j<NbConstraints; j++)
      |                      ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1464:30: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1464 |               for (k=NbBid; k<NbRay; k++) Trace[k] |= Sat->p[k][jx[j]]&bx[j];
      |                             ~^~~~~~
source/polylib_mod/polyhedron.c:1476:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1476 |         for (j=NbBid; j<NbRay; j++) {
      |                       ~^~~~~~
source/polylib_mod/polyhedron.c:1498:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1498 |     if (aux>=Dim_RaySpace) {
      |         ~~~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Polyhedron_Alloc(unsigned int, unsigned int, unsigned int)’:
source/polylib_mod/polyhedron.c:1593:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1593 |   for (i=0;i<NbRows;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:1560:9: warning: unused variable ‘j’ [-Wunused-variable]
 1560 |   int i,j;
      |         ^
source/polylib_mod/polyhedron.c: In function ‘void Polyhedron_Print(FILE*, const char*, const Polyhedron*)’:
source/polylib_mod/polyhedron.c:1649:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1649 |   for (i=0;i<NbConstraints;i++) {
      |            ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1658:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1658 |     for (j=1;j<Dimension;j++) {
      |              ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:1665:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1665 |   for (i=0;i<NbRays;i++) {
      |            ~^~~~~~~
source/polylib_mod/polyhedron.c:1682:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1682 |     for (j=1; j < Dimension-1; j++) {
      |               ~~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Empty_Polyhedron(unsigned int)’:
source/polylib_mod/polyhedron.c:1726:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1726 |   for (i=0; i<=Dimension; i++) {
      |             ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Universe_Polyhedron(unsigned int)’:
source/polylib_mod/polyhedron.c:1766:13: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1766 |   for (i=0;i<=Dimension;i++) {
      |            ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void SortConstraints(Matrix*, unsigned int)’:
source/polylib_mod/polyhedron.c:1789:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1789 |     for (i = NbEq; i < Constraints->NbRows; ++i) {
      |                    ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1791:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1791 |         for (k = i+1; k < Constraints->NbRows; ++k) {
      |                       ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1792:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1792 |             for (j = 1; j < Constraints->NbColumns-1; ++j) {
      |                         ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1809:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1809 |             if (j == Constraints->NbColumns-1) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1815:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1815 |                 if (k < Constraints->NbRows)
      |                     ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘int ImplicitEqualities(Matrix*, unsigned int)’:
source/polylib_mod/polyhedron.c:1840:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1840 |     for (row = NbEq; row < Constraints->NbRows; ++row) {
      |                      ~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1852:33: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1852 |         for (nrow = row+1; nrow < Constraints->NbRows; ++nrow) {
      |                            ~~~~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1857:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1857 |             for (k = d; k < Constraints->NbColumns-1; ++k) {
      |                         ~~^~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1866:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1866 |             if (k == Constraints->NbColumns-1) {
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1872:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1872 |             if (k != Constraints->NbColumns-2)
      |                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Constraints2Polyhedron(Matrix*, unsigned int)’:
source/polylib_mod/polyhedron.c:1936:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1936 |       for (i = 0; i < Constraints->NbRows; ++i)
      |                   ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1951:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1951 |           if (i != NbEq)
      |               ~~^~~~~~~
source/polylib_mod/polyhedron.c:1957:26: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1957 |         for (i = NbEq; i < Constraints->NbRows; ++i)
      |                        ~~^~~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:1997:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 1997 |   for (i=0; i<Dimension; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Rays2Polyhedron(Matrix*, unsigned int)’:
source/polylib_mod/polyhedron.c:2119:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2119 |   for (i=0; i<Dimension; i++) {
      |             ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘SatMatrix* BuildSat(Matrix*, Matrix*, unsigned int, unsigned int)’:
source/polylib_mod/polyhedron.c:2259:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2259 |     for (k=0; k<NbConstraints; k++) {
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2260:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2260 |       for (i=0; i<NbRay; i++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c:2268:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2268 |         for (j=0; j<Dimension; j++) {
      |                   ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2273:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2273 |       for (j=0; j<NbRay; j++) {
      |                 ~^~~~~~
source/polylib_mod/polyhedron.c: In function ‘int PolyhedronIncludes(Polyhedron*, Polyhedron*)’:
source/polylib_mod/polyhedron.c:2400:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2400 |   for (k=0; k<Pol1->NbConstraints; k++) {
      |             ~^~~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2401:15: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2401 |     for (i=0;i<Pol2->NbRays;i++) {
      |              ~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* SubConstraint(Value*, Polyhedron*, unsigned int, int)’:
source/polylib_mod/polyhedron.c:2530:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2530 |     for (i=1; i<Dimension; i++)
      |               ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2532:10: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2532 |     if (i==Dimension) {
      |         ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:2562:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2562 |       for(i=1; i<Dimension; i++)
      |                ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:2565:17: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2565 |       for(i=1; i<Dimension; i++)
      |                ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void FindSimple(Polyhedron*, Polyhedron*, unsigned int*, unsigned int)’:
source/polylib_mod/polyhedron.c:2946:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2946 |     for (k=0; k<P1->NbConstraints; k++) {
      |               ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:2989:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2989 |       for(i=0;i<NbRays;i++)
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:2998:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 2998 |         for(i=0;i<NbRays;i++)
      |                 ~^~~~~~~
source/polylib_mod/polyhedron.c:3003:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3003 |       for(i=0;i<NbConstraints;i++)
      |               ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3015:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3015 |       for (k=0; k<NbConstraints; k++) {
      |                 ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3019:22: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3019 |           for (i=0; i<NbRays; i++) {
      |                     ~^~~~~~~
source/polylib_mod/polyhedron.c:3023:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3023 |             for (j=0; j<Dimension; j++) {
      |                       ~^~~~~~~~~~
source/polylib_mod/polyhedron.c:3039:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3039 |         for(i=0; i<NbRays; i++)
      |                  ~^~~~~~~
source/polylib_mod/polyhedron.c:3046:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3046 |               for(k=0; k<NbConstraints; k++) {
      |                        ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3077:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3077 |         for(k=0; k<NbConstraints; k++)
      |                  ~^~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3104:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3104 |   for(i=0;i<NbRays;i++)
      |           ~^~~~~~~
source/polylib_mod/polyhedron.c:3106:12: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3106 |   for(i=0;i<NbRays;i++)
      |           ~^~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void SimplifyEqualities(Polyhedron*, Polyhedron*, unsigned int*)’:
source/polylib_mod/polyhedron.c:3236:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3236 |   for (i=NbEqn2; i<NbEqn; i++) {
      |                  ~^~~~~~
source/polylib_mod/polyhedron.c:3237:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3237 |     for (j=1; j<Dimension; j++) {
      |               ~^~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* DomainDifference(Polyhedron*, Polyhedron*, unsigned int)’:
source/polylib_mod/polyhedron.c:3628:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3628 |       for (i=0; i<p2->NbConstraints; i++) {
      |                 ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* align_context(Polyhedron*, int, int)’:
source/polylib_mod/polyhedron.c:3679:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3679 |     if (align_dimension < Pol->Dimension) {
      |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3684:25: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3684 |     if (align_dimension == Pol->Dimension) {
      |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3709:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3709 |         for (i = 0; i < NbCons; ++i) {
      |                     ~~^~~~~~~~
source/polylib_mod/polyhedron.c:3719:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3719 |         for (i = 0; i < Pol->NbRays; ++i) {
      |                     ~~^~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:3667:10: warning: unused variable ‘j’ [-Wunused-variable]
 3667 |   int i, j, k;
      |          ^
source/polylib_mod/polyhedron.c: In function ‘int lower_upper_bounds(int, Polyhedron*, Value*, Value*, Value*)’:
source/polylib_mod/polyhedron.c:3823:14: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3823 |   for (i=0; i<P->NbConstraints; i++) {
      |             ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void Rays_Mult(Value**, Matrix*, Value**, unsigned int)’:
source/polylib_mod/polyhedron.c:3936:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3936 |     for (i=0; i<NbRays; i++) {
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:3938:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3938 |       for (j=0; j<Dimension2; j++) {
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:3940:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3940 |         for (k=0; k<Dimension1; k++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void Rays_Mult_Transpose(Value**, Matrix*, Value**, unsigned int)’:
source/polylib_mod/polyhedron.c:3976:16: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3976 |     for (i=0; i<NbRays; i++) {
      |               ~^~~~~~~
source/polylib_mod/polyhedron.c:3978:18: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3978 |       for (j=0; j<Dimension2; j++) {
      |                 ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c:3980:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 3980 |         for (k=0; k<Dimension1; k++) {
      |                   ~^~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* Disjoint_Domain(Polyhedron*, int, unsigned int)’:
source/polylib_mod/polyhedron.c:4462:44: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 4462 |                                 for (i=0; i<P->NbConstraints && pi ; i++)
      |                                           ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:4509:52: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 4509 |                                         for (i=0; i<p2->NbConstraints && pi ; i++)
      |                                                   ~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘void Polyhedron_PrintConstraints(FILE*, const char*, Polyhedron*)’:
source/polylib_mod/polyhedron.c:4628:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 4628 |         for( i=0 ; i<Pol->NbConstraints ; i++ )
      |                    ~^~~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c:4630:29: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 4630 |                 for( j=0 ; j<Pol->Dimension+2 ; j++ )
      |                            ~^~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: In function ‘Polyhedron* p_simplify_constraints(Polyhedron*, Vector*, Value*, unsigned int)’:
source/polylib_mod/polyhedron.c:4656:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare]
 4656 |     for (r = 0; r < R->NbConstraints; ++r) {
      |                 ~~^~~~~~~~~~~~~~~~~~
source/polylib_mod/polyhedron.c: At global scope:
source/polylib_mod/polyhedron.c:162:13: warning: ‘void SMPrint(SatMatrix*)’ defined but not used [-Wunused-function]
  162 | static void SMPrint (SatMatrix *matrix) {
      |             ^~~~~~~
g++ build/iohandler.o build/main.o build/rationals.o build/secondarycohom.o build/tokenizer.o build/polylib_mod/Lattice.o build/polylib_mod/Matop.o build/polylib_mod/NormalForms.o build/polylib_mod/SolveDio.o build/polylib_mod/Zpolyhedron.o build/polylib_mod/alpha.o build/polylib_mod/compress_parms.o build/polylib_mod/ehrhart.o build/polylib_mod/errormsg.o build/polylib_mod/errors.o build/polylib_mod/eval_ehrhart.o build/polylib_mod/ext_ehrhart.o build/polylib_mod/homogenization.o build/polylib_mod/matrix.o build/polylib_mod/matrix_addon.o build/polylib_mod/matrix_permutations.o build/polylib_mod/param.o build/polylib_mod/polyhedron.o build/polylib_mod/polyparam.o build/polylib_mod/ranking.o build/polylib_mod/vector.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -lpthread -o bin/cohomcalg
+ cd manual/latex_source
+ pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-02-22>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n 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/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty)
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.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/graphics/mathcolor.ltx))
(/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/l3backend/l3backend-pdftex.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/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/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{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-
dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fo
nts/enc/dvips/base/8r.enc} <./img_GPLv3_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
LaTeX Font Warning: Font shape `T1/txtt/m/n' undefined
(Font)              using `T1/cmr/m/n' instead on input line 224.
[2{/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}]
No file manual.toc.
[3] [4] [5]
LaTeX Font Warning: Font shape `T1/txtt/b/n' undefined
(Font)              using `T1/txtt/m/n' instead on input line 319.
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 (15.26907pt too wide) in paragraph at lines 375--376
[]\T1/txtt/b/n/12 This com-mand
Overfull \hbox (26.64185pt too wide) in paragraph at lines 383--384
[]\T1/txtt/b/n/12 This com-mand spec-i-fies the Stanley-
[9]
LaTeX Warning: Reference `knownproblems' on page 10 undefined on input line 397
.
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
[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.
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] [18]
Overfull \hbox (36.4307pt too wide) in paragraph at lines 652--652
 []\T1/txtt/b/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/txtt/b/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/txtt/b/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/1
2 )$\T1/txtt/b/n/12 .
Overfull \hbox (45.34462pt too wide) in paragraph at lines 677--679
\T1/txtt/b/n/12 you will get the re-sult {0,86,2,0} which means that $[] \OML/c
mm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/i
t/12 T[]\OT1/cmr/m/n/12 ) = [] \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 ) =
[19]
LaTeX Warning: Reference `eq_monadsequence' on page 20 undefined on input line 
714.
LaTeX Warning: Reference `eq_monadsequence' on page 20 undefined on input line 
714.
[20]
Underfull \hbox (badness 10000) in paragraph at lines 747--748
[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.
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24]
(./manual.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
Package rerunfilecheck Warning: File `manual.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
 )
(see the transcript file for additional information)</usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/
cm/cmmib10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cmext
ra/cmmib8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/
adobe/utopia/putb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-su
per/sfbx0600.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfb
x1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1440.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1728.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2074.pfb></usr/share
/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2488.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/cm-super/sfcc1200.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/cm-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/cm-super/sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/cm-super/sfrm1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/cm-super/sfrm1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-
super/sfti1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
fti1200.pfb>
Output written on manual.pdf (24 pages, 1066864 bytes).
Transcript written on manual.log.
+ bibtex manual
This is BibTeX, Version 0.99d (TeX Live 2023)
The top-level auxiliary file: manual.aux
The style file: utphys.bst
Database file #1: manual.bib
+ pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-02-22>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n 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/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty)
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.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/graphics/mathcolor.ltx))
(/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/l3backend/l3backend-pdftex.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/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(./manual.out) (./manual.out)
(/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{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-
dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fo
nts/enc/dvips/base/8r.enc} <./img_GPLv3_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
LaTeX Font Warning: Font shape `T1/txtt/m/n' undefined
(Font)              using `T1/cmr/m/n' instead on input line 224.
[2{/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}]
(./manual.toc) [3] [4] [5]
LaTeX Font Warning: Font shape `T1/txtt/b/n' undefined
(Font)              using `T1/txtt/m/n' instead on input line 319.
[6] [7] [8]
Overfull \hbox (15.26907pt too wide) in paragraph at lines 375--376
[]\T1/txtt/b/n/12 This com-mand
Overfull \hbox (26.64185pt too wide) in paragraph at lines 383--384
[]\T1/txtt/b/n/12 This com-mand spec-i-fies the Stanley-
[9]
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
[11] [12] [13] [14] [15] [16] [17] [18]
Overfull \hbox (36.4307pt too wide) in paragraph at lines 652--652
 []\T1/txtt/b/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/txtt/b/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/txtt/b/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/1
2 )$\T1/txtt/b/n/12 .
Overfull \hbox (45.34462pt too wide) in paragraph at lines 677--679
\T1/txtt/b/n/12 you will get the re-sult {0,86,2,0} which means that $[] \OML/c
mm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/i
t/12 T[]\OT1/cmr/m/n/12 ) = [] \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 ) =
[19] [20]
Underfull \hbox (badness 10000) in paragraph at lines 747--748
[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.
) (/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24]
(./manual.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
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/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/
cm/cmmib10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cmext
ra/cmmib8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/
adobe/utopia/putb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-su
per/sfbx0600.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfb
x1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1440.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1728.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2074.pfb></usr/share
/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2488.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/cm-super/sfcc1200.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/cm-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/cm-super/sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/cm-super/sfrm1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/cm-super/sfrm1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-
super/sfti1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
fti1200.pfb>
Output written on manual.pdf (24 pages, 1073864 bytes).
Transcript written on manual.log.
+ pdflatex manual
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-02-22>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n 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/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/stringenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty)
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/ifdraft.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.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/graphics/mathcolor.ltx))
(/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/l3backend/l3backend-pdftex.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/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(./manual.out) (./manual.out)
(/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{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-
dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texlive/texmf-dist/fo
nts/enc/dvips/base/8r.enc} <./img_GPLv3_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
LaTeX Font Warning: Font shape `T1/txtt/m/n' undefined
(Font)              using `T1/cmr/m/n' instead on input line 224.
[2{/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}]
(./manual.toc) [3] [4] [5]
LaTeX Font Warning: Font shape `T1/txtt/b/n' undefined
(Font)              using `T1/txtt/m/n' instead on input line 319.
[6] [7] [8]
Overfull \hbox (15.26907pt too wide) in paragraph at lines 375--376
[]\T1/txtt/b/n/12 This com-mand
Overfull \hbox (26.64185pt too wide) in paragraph at lines 383--384
[]\T1/txtt/b/n/12 This com-mand spec-i-fies the Stanley-
[9]
Underfull \hbox (badness 10000) in paragraph at lines 409--410
Underfull \hbox (badness 10000) in paragraph at lines 411--434
[10]
Underfull \hbox (badness 10000) in paragraph at lines 435--436
[11] [12] [13] [14] [15] [16] [17] [18]
Overfull \hbox (36.4307pt too wide) in paragraph at lines 652--652
 []\T1/txtt/b/n/12 (*Remaining Data:Complete Intersection,LineBundle Charges,Di
screte Action*)[] 
Overfull \hbox (10.69084pt too wide) in paragraph at lines 671--673
\T1/txtt/b/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/txtt/b/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/1
2 )$\T1/txtt/b/n/12 .
Overfull \hbox (45.34462pt too wide) in paragraph at lines 677--679
\T1/txtt/b/n/12 you will get the re-sult {0,86,2,0} which means that $[] \OML/c
mm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 S\OT1/cmr/m/n/12 ; \OML/cmm/m/i
t/12 T[]\OT1/cmr/m/n/12 ) = [] \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 ) =
[19] [20]
Underfull \hbox (badness 10000) in paragraph at lines 747--748
[21] [22] [23] (./manual.bbl)
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-pdfdoc.def)
(/usr/share/texlive/texmf-dist/tex/generic/stringenc/se-utf8.def) [24]
(./manual.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 )
(see the transcript file for additional information)</usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/
cm/cmmib10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cmext
ra/cmmib8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/
adobe/utopia/putb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-su
per/sfbx0600.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfb
x1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1440.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1728.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2074.pfb></usr/share
/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx2488.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/cm-super/sfcc1200.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/cm-super/sfrm0700.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/cm-super/sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/cm-super/sfrm1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/cm-super/sfrm1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-
super/sfti1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
fti1200.pfb>
Output written on manual.pdf (24 pages, 1073935 bytes).
Transcript written on manual.log.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.TRwHgd
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64
++ dirname /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/bin
+ cp -p bin/cohomcalg /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/bin
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.32-14.fc40 --unique-debug-suffix -0.32-14.fc40.riscv64 --unique-debug-src-base cohomCalg-0.32-14.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cohomCalg-0.32
find-debuginfo: starting
Extracting debug info from 1 files
DWARF-compressing 1 files
sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/cohomCalg-0.32-14.fc40.riscv64
1717 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.YRyJlc
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
~/build/BUILD/cohomCalg-0.32/bin ~/build/BUILD/cohomCalg-0.32
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cohomCalg-0.32
+ pushd bin
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated CP2.in
+ diff -q out/CP2.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated P31SU7.in
+ diff -q out/P31SU7.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated Quintic.in
+ diff -q out/Quintic.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated WCP11114.in
+ diff -q out/WCP11114.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated dP1.in
+ diff -q out/dP1.out -
+ for fil in CP2 P31SU7 Quintic WCP11114 dP1 dP3
+ ./cohomcalg --integrated dP3.in
+ diff -q out/dP3.out -
+ popd
~/build/BUILD/cohomCalg-0.32
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: cohomCalg-0.32-14.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.7E2VGt
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg
+ cp -pr /builddir/build/BUILD/cohomCalg-0.32/README.md /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.AvVPlD
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ LICENSEDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/licenses/cohomCalg
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/licenses/cohomCalg
+ cp -pr /builddir/build/BUILD/cohomCalg-0.32/LICENSE /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/licenses/cohomCalg
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cohomCalg = 0.32-14.fc40 cohomCalg(riscv-64) = 0.32-14.fc40
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) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(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.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cohomCalg-doc-0.32-14.fc40.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.NDFb5Q
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ DOCDIR=/builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg-doc
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg-doc
+ cp -pr /builddir/build/BUILD/cohomCalg-0.32/manual/latex_source/manual.pdf /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64/usr/share/doc/cohomCalg-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cohomCalg-doc = 0.32-14.fc40
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-14.fc40.riscv64
Provides: cohomCalg-debugsource = 0.32-14.fc40 cohomCalg-debugsource(riscv-64) = 0.32-14.fc40
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-14.fc40.riscv64
Provides: cohomCalg-debuginfo = 0.32-14.fc40 cohomCalg-debuginfo(riscv-64) = 0.32-14.fc40 debuginfo(build-id) = 08e6fafa86bee77a34d3c27899dfcb7b4b11cccd
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-14.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64
Wrote: /builddir/build/RPMS/cohomCalg-0.32-14.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-doc-0.32-14.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debugsource-0.32-14.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/cohomCalg-debuginfo-0.32-14.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.rlV6SD
+ umask 022
+ cd /builddir/build/BUILD
+ cd cohomCalg-0.32
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cohomCalg-0.32-14.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.5XNuvb
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/cohomCalg-0.32-SPECPARTS
+ rm -rf cohomCalg-0.32 cohomCalg-0.32.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0