Mon 13 Apr 2026 : extended real_powered_homotopy with functions to return
  the supports of Laurent polynomials and Laurent polynomial systems.

Thu 9 Apr 2026 : adjusted real_powered_series_io.adb so series with the
  constant term missing are written correctly.

Tue 17 Feb 2026 : Moved is_linear test from main_real_powered_series to 
  the new package real_powered_homotopy, to test_real_powered_homotopy
  added regularity test .

Mon 16 Feb 2026 : modified real_powered_homotopy_io.adb to handle constant
  terms well.  Bug fixed in real_powered_homotopy_io.adb for zero vrblvl.
  New package main_real_powered_series, called by ts_rpownew.
  Updated laurent.gpr.

Fri 13 Feb 2026 : extended random_laurent_homotopy with a procedure to
  generate coefficients of any fixed size, added input/output procedures
  for systems in real_powered_homotopy_io, tested by an extra procedure
  in test_real_powered_homotopy.

Thu 12 Feb 2026 : extended real_powered_homotopy_io.adb with reading of the
  monomial factors, tested by test_real_powered_homotopy.adb.

Wed 11 Feb 2026 : to real_powered_series_io, added two wrapper procedures.
  Fixed range error in real_powered_series_io.adb.  
  Extended real_powered_homotopy_io.get so all series coefficients are read,
  tested by test_real_powered_homotopy.adb.

Mon 9 Feb 2026 : extended real_powered_homotopy_io with input operations,
  added tests to test_real_powered_homotopy.adb.  Extended 
  test_real_powered_homotopy.adb; fixed bug in real_powered_homotopy_io.adb.

Sun 8 Feb 2026 : defined output of laurent homotopy polynomials with real
  powered series in the new real_powered_homotopy_io, with tests in the new
  test_real_powered_homotopy; modified test_real_powered_series, and
  updated laurent.gpr for the new test procedure ts_rpowhom.

Sat 7 Feb 2026 : new real_powered_series_io and test_real_powered_series,
  for i/o of real powered series, called by ts_realpows, updated laurent.gpr.
  Extended real_powered_series_io with procedures to parse input,
  tested by test_real_powered_series.adb.

Sun 1 Feb 2026 : updated random_laurent_homotopy and test_newton_puiseux
  to allow to test for integer values for the powers of the parameter t.

Tue 27 Jan 2026 : updates in test_{leading, ordered}_evaluations.adb for
  name changes of procedures in random_laurent_homotopy.

Mon 26 Jan 2026 : added evaluation test to test_newton_puiseux.adb.

Sun 25 Jan 2026 : extended random_laurent_homotopy and test_newton_puiseux
  with random Laurent homotopies starting at canonical binomials.

Mon 5 Jan 2026 : improved verbose level usage in double_newton_puiseux.adb
  and tested the non-interactive version in test_newton_puiseux.adb.

Sun 4 Jan 2026 : added a procedure to double_newton_puiseux to run
  Newton's method on a diagonal system, in a non-interactive manner.

Sat 3 Jan 2026 : new package double_newton_puiseux, with code taken from
  test_newton_puiseux.

Fri 2 Jan 2026 : to double_ordered_evaluations, added third order evaluations,
  tested in test_ordered_evaluations.adb and applied in test_newton_puiseux.
  Added general derivative third order to double_ordered_evaluations,
  tested in test_ordered_evaluations.adb.  Added 4-th and 5-th derivatives
  to double_ordered_evaluations.adb, tested in test_ordered_evaluations.adb,
  and applied in test_newton_puiseux.adb.

Thu 1 Jan 2026 : fixed index error by correcting size computation in 
  double_ordered_evaluations.adb, modified test_ordered_evaluations.adb.
  Factorials and loop counters fixed in double_ordered_evaluations.adb,
  improved test_ordered_evaluations.adb.  Added size computation for
  4-th and 5-th derivatives in double_ordered_evaluations.adb, tested
  in test_ordered_evaluations.adb, applied in test_newton_puiseux.adb.
  In double_real_powered_series.adb, modified making of random power series.

Wed 31 Dec 2025 : in double_ordered_evaluations, started development of
  general second order evaluations, tested in test_ordered_evaluations.adb.

Tue 30 Dec 2025 : added 2nd order to double_ordered_evaluations, tested
  in test_ordered_evaluations and applied in test_newton_puiseux.adb.
  Added number enumeration to double_leading_evaluations,
  tested by test_leading_evaluations, and called in ts_hunval.adb.

Mon 29 Dec 2025 : extended double_ordered_evaluations with higher derivatives,
  tested by test_ordered_evaluations.adb, applied in test_newton_puiseux.adb.
  Started second order in double_ordered_evaluations and test_newton_puiseux.

Sun 28 Dec 2025 : applied indexed derivatives in double_ordered_evaluations,
  tested in test_ordered_evaluations.adb.

Sat 27 Dec 2025 : extended random_laurent_homotopy with code taken from
  test_newton_puiseux, extended test_ordered_evaluations.adb.
  Improved double_ordered_evaluations and defined test setup in
  test_ordered_evaluations.adb.

Fri 26 Dec 2025 : in test_newton_puiseux, isolated the computation of
  the leading terms in a separate procedure and moved functions to
  double_real_powered_series.  Update double_ordered_evaluations to
  compute second terms in test_newton_puiseux.

Thu 25 Dec 2025 : added to double_leading_evaluation the enumeration of
  all indices, tested in test_leading_evaluations.

Wed 24 Dec 2025 : to double_leading_evaluatios, added indexed derivative 
  function, tested by test_leading_evaluations; extended ts_hunval.adb.
  Updated test_ordered_evaluations.adb for double_real_powered_series.

Mon 22 Dec 2025 : new package double_real_powered_series, with code taken
  from random_laurent_homotopy, double_{leading,ordered}_evaluations,
  and test_newton_puiseux.adb.

Sat 20 Dec 2025 : name changes in double_ordered_evaluations to better reflect
  what the procedures are doing, updated test_newton_puiseux.adb.
  Bug fixed in making random power series in random_laurent_homotopy.adb.
  Extended double_ordered_evaluations and test_newton_puiseux to compute
  the third order term in a power series solution.

Thu 18 Dec 2025 : fixed size in third_order_evaluation procedure in
  double_ordered_evaluations.adb.

Tue 16 Dec 2025 : changed generation of random power series so that power
  of second term is less than twice that of the first term.
  To test_newton_puiseux, added computation of second order terms.
  Added 3rd order evaluations to double_{leading,ordered}_evaluations,
  used in test_newton_puiseux.

Mon 15 Dec 2025 : bug fixed in laurent_homotopy_derivatives.
  Extended double_leading_evaluations with second derivatives,
  applied in double_ordered_evaluations and test_newton_puiseux.adb.

Sun 14 Dec 2025 : new package laurent_homotopy_derivatives, for use in
  test_newton_puiseux.

Fri 12 Dec 2025 : updated test_ordered_evaluations.adb for compiler warnings.
  To test_newton_puiseux.adb, added computation of smallest positive powers.

Thu 11 Dec 2025 : new package double_ordered_evaluations to compute first
  order evaluations of polynomials at series, test_ordered_evaluation tests
  this new package.  Updated double_leading_evaluations, extended ts_hunval.
  Extended test_newton_puiseux.adb with first order evaluations.

Wed 10 Dec 2025 : test_newton_puiseux computes next term following constant.
  Bug fixed in derivative computation in double_leading_evaluations.adb.

Tue 9 Dec 2025 : extended test_newton_puiseux.  From test_newton_puiseux.adb
  removed the call to the tropical Cramer rule.

Sun 7 Dec 2025 : modified random_laurent_homotopy.adb for random powers
  of the series solution; added new package test_newton_puiseux with
  code extracted from ts_hunnew.adb.

Sat 6 Dec 2025 : fixed bug in test_leading_evaluations.adb, in the
  evaluate_homotopy procedure.  New random_laurent_homotopy, with code
  extracted from test_leading_evaluations, new test procedure ts_hunnew,
  updated laurent.gpr.

Fri 5 Dec 2025 : extended test_leading_evaluations with a random homotopy.
  Fix for one variable/one equation homotopies.

Wed 3 Dec 2025 : added evaluations of system to double_leading_evaluations,
  tested by test_leading_evaluations.  In double_leading_evaluations, added
  powers of t for the coefficients, tested by test_leading_evaluations.adb.

Tue 2 Dec 2025 : extended test_leading_evaluations with a test on system.

Sun 9 Nov 2025 : extended double_leading_evaluations, tested in
  test_leading_evaluations.adb.

Wed 5 Nov 2025 : fixed bug in double_leading_evaluations.adb and added
  test in test_leading_evaluations.adb.

Thu 30 Oct 2025 : new double_leading_evaluations, with added tests in
  test_leading_evaluations.

Wed 29 Oct 2025 : new test_leading_evaluations and ts_hunval to develop
  the evaluation at leading terms of a series with real powers.
  Updated laurent.gpr.  Added test on derivative computations.

Sun 26 Oct 2025 : added checks on computed powers and coefficients.

Sat 25 Oct 2025 : extended test_leading_terms to work with series in the
  solution of a linear system.

Thu 23 Oct 2025 : new package double_puiseux_operations, with code from
  test_leading_powers.  New package test_leading_terms to compute also
  the coefficients of the leading terms.  Updated ts_hunsys.adb.
  Extended test_leading_terms, updated test_leading_powers.adb.

Wed 22 Oct 2025 : new package test_leading_powers to develop the case when
  one single Cramer vector decides all leading powers, called by ts_hunsys.
  Extended test_leading_powers with test on general random input.
  Iterated Cramer vector computations in test_leading_powers recovers
  all leading powers.

Tue 21 Oct 2025 : updated double_weighted_assignment.adb and ts_hunsys.adb
  with more tests.

Mon 20 Oct 2025 : new ts_hunsys to test the retrieval of the leading degrees
  via the weighted assignment problem.  Updated laurent.gpr.

Sun 19 Oct 2025 : improved index testing in test_weighted_assignment.adb
  and moved index computation procedures to double_weighted_assignment.

Sat 18 Oct 2025 : to test_weighted_assignment.adb, added an explicit check
  that the minimum is attained at least twice.  Added second_index function
  to double_weighted_assignment to compute the second index where the
  minimum is attained.

Fri 17 Oct 2025 : in double_weighted_assignment.adb, fixed re-initialization
  of mincost in the Cramer vector computation, added test to verify that the
  minimum is attained twice in test_weighted_assignment.adb.

Thu 16 Oct 2025 : new ts_humwas, test_weighted_assignment, and
  double_weighted_assignment, updated laurent.gpr.
  Added Cramer vector to double_weighted_assignment, with extra test
  in added to test_weighted_assignement.

Thu 24 Jun 2021 : fixed test_double_lseries_polynomials.adb for the move
  Write procedure, moved out of the test_double_lseries_matrices.

Sun 20 Jun 2021 : moved allocate procedure from test_double_lseries_matrices
  into double_linear_laurent_solvers.  Added interactive Newton procedure
  to test_double_lseries_newton.  Moved write procedures from test_double_
  lseries_matrices into double_linear_laurent_solvers, updated the test_
  double_lseries_newton.adb, added procedure to double_lseries_newton_steps.
  Added output procedures to double_{laurent_series,linear_laurent_solvers},
  updated test_double_lseries_newton.adb, double_lseries_newton_steps, and
  main_laurent_series_newton, so phc -u now writes to file.

Sat 19 Jun 2021 : filled in the stub of main_laurent_series_newton, so
  phc -u now has the same ad hoc functionality as ts_lsernew.

Fri 18 Jun 2021 : new main_laurent_series_newton with a stub procedure.

Thu 10 Jun 2021 : added the exec_dir attribute to laurent.gpr.

Tue 8 Jun 2021 : added a basic laurent.gpr to make the test programs.

Mon 7 Jun 2021 : new package test_double_lseries_newton, with code from
  ts_lsernew.

Sun 6 Jun 2021 : to the evaluators in double_lseries_polynomials, added
  the verbose flag to make them silent in double_lseries_newton_steps.adb,
  tested by ts_lsernew.adb.

Sun 11 Apr 2021 : added test on determinant of a random 2-by-2 matrix
  to test_double_lseries_matrices.

Sun 4 Apr 2021 : new double_lseries_newton_steps with code from ts_lsernew.

Sat 3 Apr 2021 : updated ts_lsernew to prompt for the leading degree.

Tue 30 Mar 2021 : fixed bug in double_laurent_series.adb, in the normalize
  procedure, applied normalization in ts_lsernew, on the series read.
  Added verbose flag to an eval procedure in double_laurent_series,
  fixed bug in the evaluation of a monomial.  Third bug fix in ts_lsernew,
  fixed initialization of the leading exponent in the right hand side in
  the linear system for the update.

Sun 28 Mar 2021 : bug fix in evaluation of table vector array, for null
  polynomial in a Jacobian matrix, in double_lseries_polynomials.adb.
  Added procedure to ts_lsernew to run Newton's method starting at
  a power series.
  
Sat 27 Mar 2021 : to ts_lsernew, added new test procedure to start Newton
  at some initial terms of a power series.

Fri 26 Mar 2021 : new test_standard_lseries_polynomials with the tests
  taken from ts_lserpol.  Replace 'standard' by 'double' in the names
  of all packages in this folder.  This changed all ts_ files as well.
  The Newton step in ts_lsernew works in the regular case.

Thu 25 Mar 2021 : to standard_lseries_polynomials, added Table, Table_Vector,
  and Table_Vector_Array data types with wrapper functions.
  To standard_lseries_polynomials, added the construction of the table
  representations for the Jacobian matrix, tested by ts_lserpol.
  Fixed index error in standard_lseries_polynomials.adb.
  Tested evaluation of Jacobian in ts_lserpol.

Wed 24 Mar 2021 : added a proposed degree calculation to ts_lserpol.
  Improved in standard_lseries_polynomials the making of a series polynomial 
  and sharped the formula for the proposed degree in ts_lserpol.
  Extended standard_lseries_polynomials with code for Laurent systems,
  modified ts_lserpol.

Tue 23 Mar 2021 : new package test_standard_lseries_matrices, with code
  extracted from ts_laurmat.  To test_standard_lseries_matrices, added
  a specific test to demonstrate the LU factorization on a matrix series
  with a singular leading coefficient matrix.  New test procedure ts_lserpol
  to develop the polynomial evaluation and differentiation at Laurent series.
  New package standard_lseries_polynomials with code from ts_lserpol.

Mon 22 Mar 2021 : added a plain LU factorization to ts_laurmat.
  Added a first LU factorization with pivoting to ts_laurmat.
  Fixed the test in ts_laurmat on LU factorization with pivoting,
  added the LU with pivoting to the standard_linear_laurent_solvers.

Sun 21 Mar 2021 : fixed initialization of the matrix-vector product
  in ts_laurmat.  Added Is_Zero function to standard_laurent_series,
  extended ts_laurmat with a forward substitution solver.
  Modified ts_laurmat to control the seed of the random number generators.
  Added exponent_gap function to standard_laurent_series.
  To ts_laurmat, added a backward substitution solver.
  New package random_laurent_series with code taken from ts_laurmat.
  Move code from ts_laurmat into the package standard_linear_laurent_solvers.

Sat 20 Mar 2021 : moved all code for Laurent series from ../Series.
  New ts_laurmat to develop the matrix-vector product of Laurent series.
