Fri 31 Oct 2025 : removed a superfluous print from demics_simplex.adb.

Mon 13 Oct 2025 : adjusted output level in demics_simplex.adb
  in the allocateAndIni procedure.

Tue 7 Oct 2025 : commented out info_cpuTime in demics_mvc because
  Execution_Time is not supported on Apple M1 chips.
  In demics_main, replaced info_cpuTime with a timing widget.
  Simplified demics.gpr, removing unneeded coding folders,
  but on windows still in need of "C" because of timers.

Sun 5 Oct 2025 : moved C++ code to the Source folder.

Fri 3 Oct 2025 : modified demics_simplex.adb to take into account the
  monitor value of DEMiCs_Output_Cells.  Extended demics_tranlated
  and improved the tests in test_demics_translated.adb.
  Made result of Flatten in demics_translated start at index 0,
  added verbose levels, more debugging output to demics_simplex.adb.

Thu 2 Oct 2025 : added interface code to demics_translated, fixed bug on
  semi-mixed problems, extended demics_translated_setup, added tests to 
  test_demics_translated.  Extended call_demics in demics_translated,
  with extra testing in test_demics_translated.adb.
  Removed the "use DEMiCs_Algorithm" from ts_demicsrun.adb.
  Extended demics_translated with operations from demics_algorithm.

Wed 1 Oct 2025 : modified test_demics_translated.adb for compiler warning.
  Fixed demics_main.adb for the additional parameter of the allocateAndIni
  of the mvc object to provide the lifting vector.
  Removed corecount* files from excluded_source_files in demics.gpr.

Tue 30 Sep 2025 : extended demics_mvc, demics_simplex, demics_translated,
  and demics_translated_setup to allow for user defined lifting,
  with added tests in test_demics_translated.
  For stable mixed volumes, extended demics_translated_setup,
  demics_output_cells.ads, and demics_translated.adb.
  Added test on stable mixed volumes in test_demics_translated,
  fixed bugs, adjusting demics_translated_setup and demics_translated.adb.

Mon 29 Sep 2025 : extended test_demics_translated with a test on the
  reformulated cyclic n-roots systems.  New demics_translated_setup package,
  with code separated from demics_translated.adb.

Sun 28 Sep 2025 : extended demics_translated to work for Laurent systems.

Fri 26 Sep 2025 : extended demics_translated with the cells computation,
  tested in test_demics_translated.adb.

Thu 25 Sep 2025 : new package demics_output_cells, used in demics_simplex.adb,
  updated demics_translated and test_demics_translated.
  Updated demics_simplex to store lifting in demics_output_cells.

Wed 24 Sep 2025 : updated demics_mvc.adb to suppress output.
  New packages demics_translated and test_demics_translated, called
  by ts_demicstrl.adb, extended demics.gpr.
  To demics_mvc added definition of info_final and info_cpuTime,
  updated demics_main.adb.

Tue 23 Sep 2025 : defined mGetPtr correctly in demics_ftest, modified
  demics_simplex.adb, demics_main.adb, and demics_mvc.adb.
  Fixed joint in demics_ftest.adb.  Cleaned up demics_ftest,
  demics_simplex.adb, demics_mvc.adb, demics_main.adb.

Mon 22 Sep 2025 : modified demics_ftest.adb and demics.mvc.adb,
  extended demics_algorithm with user defined lifting.

Sun 21 Sep 2025 : modified demics_ftest.adb and demics_mvc, works for one
  unmixed cell.

Sat 20 Sep 2025 : added checks on the joint functions in demics_ftest,
  updated demics_mvc.adb.  Tried patching demics_ftest.adb and demics_mvc.adb.

Fri 19 Sep 2025 : modified demics_ftest.adb, demics_mvc.adb, demics_main.adb,
  and demics_simplex.adb for debugging purposes.

Thu 18 Sep 2025 : bug fix in getMemory of demics_mvc.adb.

Wed 17 Sep 2025 : fixed warnings in demics_mvc.  Improved demics_ftest
  and demics_mvc for debugging.

Tue 16 Sep 2025 : added debug print statements to demics_ftest.adb
  and demics_mvc.adb.

Mon 15 Sep 2025 : almost completed demics_mvc.

Sun 14 Sep 2025 : extended demics_mvc.

Sat 13 Sep 2025 : fixed a bug in demics_ftest.adb, and patched info_rIdx()
  in demics_simplex.adb.  Extended demics_mvc, and then some more.

Fri 12 Sep 2025 : fixed specifications of chooseSup, findNode, findNextNode
  in demics_mvc, to work with pointers to arrays instead of plain pointers.

Thu 11 Sep 2025 : completed demics_simplex.  Extended demics_mvc.

Wed 10 Sep 2025 : extended demics_simplex.

Tue 9 Sep 2025 : fixed bug in demics_reltab.adb.  Added to demics_simplex.

Mon 8 Sep 2025 : extended demics_simplex.  Bugs fixed in demics_reltab.adb,
  demics_input_data.adb, and demics_mvc.adb.

Sun 7 Sep 2025 : extended demics_simplex with the definitions of procedures
  called in the computation of the relation table.

Sat 6 Sep 2025 : extended demics_simplex, updated demics_reltab.adb,
  demics_mvc.adb and demics_main.adb.  Extended demics_simplex.adb more.

Fri 5 Sep 2025 : extended demics_mvc, updated demics_main.

Thu 4 Sep 2025 : completed demics_reltab.

Wed 3 Sep 2025 : completed demics_ftest, modified demics_mvc.adb for
  superfluous parameters that were not referenced.
  Extended allocateAndIni in demics_simplex, completed translation of
  the class_supportSet in demics_simplex.  Added code to demics_reltab.
  Extended demics_mvc with documentation and definitions of procedures.

Tue 2 Sep 2025 : documented and defined many procedures in demics_ftest.

Mon 1 Sep 2025 : demics_itest contains first complete translation of iTest.
  Completed allocateAndIni in demics_reltab and all info_* procedures.

Sun 31 Aug 2025 : demics_main.adb calls allocateAndIni of demics_mvc,
  calling the creators of demics_itest and demics_ftest.
  Finished allocateAndIni in demics_mvc.adb, updated demics_itest,
  demics_reltab, and demics_simplex.

Sat 30 Aug 2025 : modified demics_input_data.adb and demics_input_main.adb
  to have indices start from zero instead of starting from one.
  Updated demics_simplex with definitions of pointer types.
  Added definitions of pointer types to demics_reltab.

Fri 29 Aug 2025 : from test_demics_input, factored out procedure to read
  the input, into the new package demics_input_main.  Added definitions
  of pointer types to demics_itest, demics_ftest, and demics_mvc.
  New demics_main.adb, updated demics_mvc.adb and demics.gpr.

Wed 27 Aug 2025 : added types to demics_itest.ads and demics_ftest.ads,
  new demics_mvc as a stub for mvc.

Tue 26 Aug 2025 : added demics_reltab stub for the relation table.

Mon 25 Aug 2025 : added demics_simplex stub for simplex algorithm,
  added pointer and array types to demics_ftest.ads.

Fri 22 Aug 2025 : added demics_global_constants.ads and stub for demics_itest.
  Added stub for demics_ftest.

Thu 21 Aug 2025 : completed demics_input_data and test_demics_input.adb.

Wed 20 Aug 2025 : fixed demics.gpr so it works again, on Linux and Windows.
  Fixed bug in demics_algorithm.adb, for counting the artificial origin
  when asking for stable mixed volumes.  New packages demics_input_data 
  and test_demics_input, called by ts_demics_input.  Updated demics.gpr.

Fri 31 Dec 2021 : because of std::data, replace all "data" by "theData"
  in fTest.h, fTest.cpp, smplex.h, simplex.cpp, mvc.h, mvc.cpp.
  Update demics.gpr for the removal of weighted_projective_transfos.

Sun 27 Jun 2021 : updated demics.gpr to no longer exclude the C MixedVol.
  Updated demics.gpr for the removal of the obsolete face_structures.
  Updated demics.gpr for the removal of evaluate_schubert_conditions.
  Updated demics.gpr for the removal of multprec_lattice_facets and its io.
  Updated demics.gpr for the removal of pieri_count.

Sat 26 Jun 2021 : updated demics.gpr to no longer exclude double_double.c.

Thu 17 Jun 2021 : added "with use_c2phc;" to ts_demicsrun.adb, to force the
  compilation in a standalone build.  First version of demics.gpr to define
  the instructions for ts_demicsrun and some other test procedures ...

Thu 10 Jun 2021 : commented out the timer in main.cpp because 
  compiler errors prevented the compilation of demics.

Thu 20 Jun 2019 : added return in simplex.cpp for compiler warning.

Fri 29 Mar 2019 : commented out the #include <sys/times.h> in global.h
  as this was a problem for the mingw compiler.

Fri 22 Mar 2019 : replaced srandom() by srand() and random() by rand() in
  reltab.cpp, simplex.cpp, and mvc.cpp.  Fixed bug in demics_algorithm.adb.

Thu 27 Sep 2018 : used the function lrint() in simplex.cpp to round to
  the nearest integer before converting to a long int.

Wed 26 Sep 2018 : in simplex.cpp, added the volume and accumulated volume
  to the string strcell, which provides better info for progress monitoring.
  Did an explicit type cast to int of the volumes to avoid default format.

Fri 1 Jun 2018 : mixed volume functions in use_outdata.adb must clear the
  contents of DEMiCs_Output_Data at entry.

Thu 31 May 2018 : added a stub job to outdata to make room for a procedure to
  compute stable mixed volumes by demics.  In use_outdata.adb, added the call
  to the blackbox procedure to compute the stable mixed volume by demics.

Tue 29 May 2018 : extended demics_algorithm with procedures which also return
  the permutation when the supports are extracted from the system.

Mon 28 May 2018 : to demics_algorithm, added procedures to add an artificial
  origin and to add the stable lifting bound to compute mixed volumes.
  Changed ts_calldemics.adb, assuming demics is in the execution path.
  Extra flag 'stable' in demics_output_data.ads.  For stable mixed volumes,
  updates in demics_algorithm, tested by ts_demicsrun.adb.
  Added output to ts_demicsrun.adb so stable mixed volume is shown.

Sat 26 May 2018 : fixed bug in demics_command_line.adb, adjusting the
  position in the string to skip the ':' after the cell number in the
  output line of DEMiCs.

Thu 24 May 2018 : in demics_output_data.adb, documented the getting of the
  next cell indices and fixed the getting of the next allocated mixed cell.
  To demics_output_convertors, added a procedure to make a mixed cell
  without memory allocation for multitasking.
  In demics_output_data.adb, flipped the allocation with the adding of
  the cell indices to ensure the allocation is done when a consumer task
  gets the next cell indices.

Wed 23 May 2018 : extended demics_output_data with memory allocation for
  the new mixed cells, allocated each time new cell indices are added.
  Fixed get of next cell indices in demics_output_data.adb.

Tue 22 May 2018 : added a new procedure to demics_command_line to compute
  the indices for each cell in a multitasked procedure.
  Added a "done" boolean variable to demics_output_data.ads.
  Extended demics_algorithm with a Call_DEMiCs which allows the user to
  provide the random lifting values.

Sun 20 May 2018 : added storing of lifting values in demics_algorithm.adb
  directly after generating the lifting values; in demics_output_data.adb,
  added a clear at the start of initialize_lifting procedure.
  Fixed bug in demicsrun.cpp with the printing of the lifting values,
  fixed bug in computing the total number of points for semi-mixed inputs,
  updating demics_algorithm.

Sat 19 May 2018 : updated use_outdata.adb for unused variables.
  Extended demics_output_data with operations to retrieve the next cell
  and the number of cell indices stored.  Added monitor option to
  demics_output_data to see the cell indices as they are added, 
  turned on in ts_demicsrun.adb.

Fri 18 May 2018 : to demicsrun, added a function demicsfly and to
  demics_algorithm, added fly_demics, to pass the lifting values to DEMiCs.
  Added "initialize_with_lifting" methods to mvc.h, mvc.cpp, simplex.h,
  and simplex.cpp with modifications to demicsrun.cpp and demics_algorithm.

Thu 17 May 2018 : extended demics_algorithm with a function to generate
  random lifting values.

Tue 15 May 2018 : added job to use_outdata to compute mixed volume by DEMiCs.

Mon 14 May 2018 : updated ts_demicsrun to prepare for driver package.
  New package DEMiCs_Algorithm with code taken from ts_demicsrun.adb.
  To demics_algorithm, added extract of supports for Laurent systems.

Sun 13 May 2018 : added mixed_volume variable to demics_output_data.ads,
  added functions to use_outdata, outputData, tested by ts_outputData.cpp,
  updated demicsrun.h and demicsrun.cpp, tested by ts_demicsrun.adb.
  Fixed a bug and upgraded simplex.cpp.  To ts_demicsrun.adb, added the
  application of the lifting and the making of the mixed-cell configuration.

Sat 12 May 2018 : in simplex.cpp, commented out the call to the append
  of the cell indices, which caused a crash.  Revised ts_outdata.adb
  and added a test on storing strings in DEMiCs_Output_Data.
  Extended demics_output_data, tested by ts_outdata, and with C++ interface
  (via use_outdata) in outputData.* tested by ts_outputData.cpp.
  The simplex.cpp appends the cell indices to DEMiCs_Output_Data,
  which are then retrieved by ts_demicsrun.adb.

Fri 11 May 2018 : to simplex.cpp added writing of the cell indices to a
  string.  Added operations to DEMiCs_Output_Data to store the cell indices,
  after defining lists_of_strings.  Updated simplex.cpp with the storing
  of the strings representing the cell indices, added jobs to use_outdata,
  and added also the interface operations to outputData.

Thu 10 May 2018 : new outputData.h and outputData.cpp,
  tested by ts_outputData.cpp to store lifting values.
  Updated use_outdata.adb.  Added conditional compilation statements
  to simplex.cpp, with updates in ts_demicsrun.adb to retrieve the
  lifting from the computed output of DEMiCs.

Wed 9 May 2018 : new use_outdata.ads and use_outdata.adb to export the
  operations of demics_output_data to C and C++.

Tue 8 May 2018 : new demicsrun.h, demicsrun.cpp, tested by ts_demicsrun.adb,
  to call demics directly from an Ada procedure.
  Removed superfluous semi-colons of the documentation of main.cpp.
  Added to the documentation of inputData.h and updated demicsrun.h
  and demicsrun.cpp so the mixed volume is computed.
  New packages demics_output_data to store the results of DEMiCs,
  tested by ts_outdata.adb.

Mon 7 May 2018 : documented the parameters of a function in main.cpp.
  Did some reformatting in inputData.h and removed extraneous parentheses
  in equality comparison on line 98 in inputData.cpp.
  Added program ts_inputData.cpp to test inputData, with added documentation
  in inputData.h and some modifications in inputData.cpp.

Sun 6 May 2018 : added the reformatted source code of DEMiCs.

Thu 3 May 2018 : fixed making of mixed cells in demics_output_convertors
  for semi- and un-mixed inputs.  Fixed testing of inner normal in
  demics_output_convertors for semi- and un-mixed inputs.
  Fixed bug in parsing of labels computed by demics for semi-mixed inputs,
  updated demics_command_line.adb.

Wed 2 May 2018 : updated demics_command_line and ts_calldemics.adb
  to deal with semi-mixed and unmixed inputs.  Updated ts_calldemics.adb
  and demics_output_convertors for semi- and un-mixed inputs.

Tue 24 Apr 2018 : new package demics_output_convertors with code factored
  out of ts_calldemics.  Added computation of the normal to each cell in
  demics_output_convertors.adb.  To demics_output_convertors,
  added a check on the computed labels, computed via the inner normal.

Mon 23 Apr 2018 : improved ts_calldemics, adding absolute path name as
  default argument to the caller procedure, started parsing lifting values.
  Fixed parsing of lifting.  New package demics_command_line, 
  with code taken out and tested by ts_calldemics.
  To ts_calldemics, added function to make the mixed cell configuration.
