doc/Changes

   1 The new polylib library combines both the Strasbourg version and IRISA version
   2 and includes option to support 32 bit or 64 bit or GNU muti-precision integers.
   3 It also includes the recent (April 2001) changes suggested by Doran Wilde and
   4 the changes made by Vincent Loechner in polylib4.20. A new feature: computati-
   5 ons on Z-polyhedron has been added into the new polylib version.
   6 The new version has following changes compared to the polylib version at
   7 Strassbourg:-
   8
   9 *******************************************************************************
  10
  11 Directory: ./include/polylib
  12
  13 (1) Arithmetique.h
  14
  15         * Included "GMP" value-type.
  16           eg:   #else  /* If defined(GNUMP) */
  17                 #define LINEAR_VALUE_GMP "gmp"
  18                 typedef mpz_t Value;
  19
  20         * Added macros corresponding to "GMP" value-type :-
  21           eg:- ! Basic Macros :- value_init(val), etc..
  22                ! Boolean operators on 'Value' :- value_eq(v1,v2), etc...
  23                ! Trian operators on 'Value' :- value_sign(val),etc..
  24                ! Binary operations on 'Value' :- value_addto(ref,val)
  25                ! Conditional operations on 'Value' :- value_pos_p(val), etc...
  26
  27         * A few macros are not defined for "GMP" value-types compared to other
  28           defined value-types, as there is no way to do so in "GMP".
  29           eg:- (i) VALUE_CONST, VALUE_NAN, VALUE_MAX, VALUE_MIN, etc...
  30                (ii) ! Cast to value macros :- int_to_value(i), etc....
  31                (iii)! Binary operators on 'Value' :- value_plus(v1,v2), etc..
  32                (iV) ! Unary operators on 'Value'  :- value_not(val), etc...
  33
  34         * A few macros not defined for "GMP" value-types compared to other
  35           defined value-types, as they seemed redundant in "GMP".
  36           eg:- (i) value_direct_product(ref,val) /* No overflow check reqd. */
  37                (ii) ! Various macros for protected multiplication :-
  38                       value_protected_multiply(v,w)
  39
  40         * A new set of macro defintions included in every value-type to handle
  41           initialization and clear operations in "GMP".
  42           eg:- value_init(val), value_assign(v1,v2),value_clear(val), etc ..
  43
  44         * A few macro definitions changed.
  45           eg:- value_addto(ref,val) -> value_addto(ref,val1,val2)
  46                value_increment(ref) -> value_increment(ref,val). etc...
  47
  48         * A few function prototype definitions removed as they were redundant.
  49           eg:- extern Value abs_ofl_ctrl(...): abs.c
  50                extern Value divide_fast(....): divide.c
  51                extern Value pgcd_slow(......): pgcd.c
  52
  53         * Comments added and modified wherever seemed appropriate.
  54
  55 (2)  arithmetic_errors.h
  56
  57         * added a test on the cygwin flag for CATCH and THROW macros
  58
  59 (3) eval_ehrhart.h
  60
  61         * Changes in function prototype definitions to match with the changes
  62           made in the file 'eval_ehrhart.c'.
  63
  64 (4) matrix.h
  65
  66         * Changes in function prototype definitions to match with the changes
  67           made in the file 'matrix.c'.
  68
  69 (5) polyhedron.h
  70
  71         * Added Statement :
  72           extern Polyhedron *Stras_DomainSimplify(Polyhedron *Pol1, Polyhedron
  73           *Pol2, unsigned NbMaxRays);
  74
  75         * Changes in function prototype definitions to match with the changes
  76           made in the file 'polyhedron.c'.
  77
  78 (6) polylib.h
  79
  80         * Added statement: && !defined(GNUMP)
  81
  82         * Removed few statements.
  83           eg:- #include <polylib/types_mp.h>
  84                #include <polylib/matrix_mp.h>
  85                #include <polylib/ehrhart_mp.h>
  86
  87 (7) polyparam.h
  88
  89         * Changes in function prototype definitions to match with the changes
  90           made in the file 'polyparam.c'.
  91
  92 (8) types.h
  93
  94         * Added macro: #ifdef DGNUMP
  95                        #include <gmp.h>
  96                        #endif
  97
  98                        $define MAXNOOFRAYS 200
  99
 100         * Added statement: #else /* Default : GNUMP */
 101                            #define P_VALUE_FMT "%4s"
 102                            #endif
 103
 104         * Added Data-structures to represent Z-Polyhedron
 105           eg: Lattice, LatticeUnion, ZPolyhedron
 106
 107         * Deleted a few redundant macros:
 108           eg:  (1) Vector_Copy
 109                (2) Vector_Init
 110                (3) Vector_Exchange
 111
 112         * Deleted file "types_mp.h", as it is not required now.
 113
 114         * Comments added and modified wherever seemed appropriate.
 115
 116 (9) vector.h
 117
 118         * Changes in function prototype definitions to match with the changes
 119           made in the file 'vector.c'.
 120
 121 (10) Addition of new header files
 122         eg: Solvedio.h, Lattice.h, Matop.h, NormalForms.h and Zpolyhedron.h
 123
 124 (11) Makefile
 125
 126         * Changes in Makefile to match with the changes made in the library.
 127
 128 *******************************************************************************
 129
 130 Directory: ./ArithLib
 131
 132 (1) arithmetic_errors.h (copied from ./include/polylib/arithmetic_errors.h)
 133
 134 (2) arithmetique.h (copied from ./include/polylib/arithmetique.h)
 135
 136 (3) Deleted redundant files "arithmetique-local.h", "abs.c", "divide.c",
 137     "doc.h", "exp.c", "io.c", "linear.h" "modulo.c", "pgcd.c", "pgcm.c".
 138
 139 *******************************************************************************
 140
 141 Directory: ./source
 142
 143 (1) count.c
 144
 145         * Changes in local variable names in function declarations
 146              eg:
 147                 (1) main : Value k -> int k
 148                            str (added)
 149
 150 (2) ehrhart.c
 151
 152         * Programming code changed from K&R C to ANSI C.
 153
 154         * Changes in parameter names or return type in function declarations
 155              eg:
 156                 (1) Scan_Vertices : returned type changed to (Value*) from
 157                                     Value
 158
 159         * Changes in local variable names in function declarations
 160              eg:
 161                 (1) cherche_min : j (added)
 162                 (2) Polyhedron_Preprocess : tmp, size_copy (added)
 163                 (3) Polyhedron_Preprocess2 : tmp1, tmp2 (added)
 164                 (4) old_Polyhedron_Preprocess : temp (deleted)
 165                                                 abs_a, abs_b, size_copy (added)
 166                 (5) count_points : result (added)
 167                 (5) P_Enum : temp (deleted)
 168                              tmp, lcm_copy (added)
 169                 (6) Enumerate_NoParametres : j, tmp (added)
 170                 (7) Polyhedron_Enumerate : i (added)
 171                 (8) main : i,str (added)
 172
 173         * Comments added wherever seemed appropriate.
 174
 175         * Changes in almost all the functions in order to make it generic and
 176           allow handling of all the 'Value' types including GMP.
 177
 178         * Deleted file "ehrhart_mp.c" as it is not required now.
 179
 180 (3) eval_ehrhart.c
 181
 182         * Changes in parameter names or return type in function declarations
 183              eg:
 184                 (1) compute_poly : return type changed to (Value *) from Value
 185
 186         * Changes in local variable names in function declarations
 187              eg:
 188                 (1) in_domain : tmp (added)
 189                 (2) compute_poly : tmp (added)
 190
 191         * Changes in almost all the functions in order to make it generic and
 192           allow handling of all the 'Value' types including GMP.
 193
 194 (4) example.c :
 195
 196         * Added file "example.c" in ./source directory.
 197
 198         * A few macro definitions removed:
 199          eg:  #include "types.h"
 200               #include "ztypes.h"
 201               #include "vector.h", etc....
 202
 203         * A few macro definitions added:
 204           eg: #include "polylib/polylib.h"
 205
 206 (5) Lattice.c
 207
 208         * Added file "Lattice.c" in ./source directory.
 209
 210         * Removed macro header definitions
 211           eg: #include "types.h"
 212               #include "ztypes.h" etc..
 213
 214         * Added macro header definitions
 215           eg: #include <polylib/polylib.h>
 216
 217         * Changes in parameter names or return type in function declarations
 218              eg:
 219
 220         * Changes in local variable names in function declarations
 221              eg:
 222
 223                 (1) AffineSmith : sum, quo, rem (added)
 224                 (2) LatticeDifference : int k -> Value k
 225                 (3) AddLattice : tmp (added)
 226                 (4) FindHermiteBasisofDomain : fact(added)
 227                                                int lcm -> Value lcm
 228                 (5) LatticePreimage : tmp (added)
 229                                       int divisor -> Value divisor
 230                 (6) Simplify : aux,k,fac, num, tmp, foobar (added)
 231                                 int cnt -> Value cnt
 232                 (7) AffinePartSimplify : aux (added)
 233
 234         * Comments added wherever seemed appropriate.
 235
 236         * Changes in almost all the functions in order to make it generic and
 237           allow handling of all the 'Value' types including GMP.
 238
 239 (6) Matop.c
 240
 241         * Added file "Matop.c" in ./source directory.
 242
 243         * Removed macro header definitions
 244           eg: #include "types.h"
 245               #include "ztypes.h" etc..
 246
 247         * Added macro header definitions
 248           eg: #include <polylib/polylib.h>
 249
 250         * Changes in parameter names or return type in function declarations
 251              eg:
 252                 (1) Lcm : return type changed to (Value *) from (int)
 253                           int i -> Value i
 254                           int j -> Value j
 255
 256         * Changes in local variable names in function declarations
 257              eg:
 258                 (1) Lcm : tmp, aux (added)
 259                 (2) ExchangeRows : int *temp -> Value *temp
 260                 (3) ExchangeColumns : int *temp -> Value *temp;
 261                 (4) isIntegral : int divisor -> Value divisor
 262                                  tmp (added)
 263                 (5) isinHnf : int rem -> Value rem
 264                 (6) PutRowLast : int *vector -> Value *vector
 265                 (7) PutRowFirst : int *vector -> Value *vector
 266                 (8) PutColumnFirst : int *vector -> Value *vector
 267                 (9) PutColumnLast : int *vector -> Value *vector
 268
 269         * Comments added wherever seemed appropriate.
 270
 271         * Changes in almost all the functions in order to make it generic and
 272           allow handling of all the 'Value' types including GMP.
 273
 274
 275 (7) matrix.c
 276
 277         * Programming code changed from K&R C to ANSI C.
 278
 279         * A few functions added:
 280                 eg: int Matrix_Inverse(Matrix *Mat, Matrix *MatInv)
 281
 282         * Changes in parameter names or return type in function declarations
 283              eg:
 284                 (1) MatInverse : M -> Mat
 285                                  MInv -> MatInv
 286                 (2) Matrix_Vector_Product : mat -> Mat
 287                 (3) Vector_Matrix_Product : mat -> Mat
 288                 (4) Matrix_Product : mat1 -> Mat1
 289                                      mat2 -> Mat2
 290                                      mat3 -> Mat3
 291
 292         * Changes in local variable names in function declarations
 293              eg:
 294                 (1) Matrix_Alloc : j (added)
 295                 (2) Matrix_Free : (i,j,p) (added)
 296                 (3) Matrix_Read_Input : str (added)
 297                 (4) hermite : aux (added)
 298                               tmp  -> temp1
 299                               tmp2 -> temp2
 300                 (5) MatInverse : g  -> gcd
 301                                  p  -> i
 302                                  li -> j, tmp (deleted)
 303                 (6) rat_prodmat : denom  -> last column_index
 304                                   dcom   -> lcm
 305                                   old_dc -> old_lcm
 306                                   g -> gcd
 307                                   d -> last_column_entry
 308                                   s -> s1, s2(added), tmp (deleted)
 309                 (7) Matrix_Vector_Product : s (added)
 310                 (8) Vector_Matrix_Product : s (added)
 311                 (9) Matrix_Product : s (added)
 312
 313         * Error correction in code
 314           eg:
 315              (1) rat_prodmat :
 316                     if (value_zero_p(dcom)) -> if (value_one_p(dcom))
 317
 318         * Deleted file "matrix_mp.c", as it is not required now.
 319
 320         * Comments added wherever seemed appropriate.
 321
 322         * Changes in almost all the functions in order to make it generic and
 323           allow handling of all the 'Value' types including GMP.
 324
 325 (8) NormalForms.c
 326
 327         * Added file "NormalForms.c" in ./source directory.
 328
 329         * Programming code changed from K&R C to ANSI C.
 330
 331         * Removed macro header definitions
 332           eg: #include "types.h"
 333               #include "ztypes.h" etc..
 334
 335         * Added macro header definitions
 336           eg: #include <polylib/polylib.h>
 337
 338         * Removed function: static int abs(int x)
 339
 340         * Changes in parameter names or return type in function declarations
 341              eg:
 342                 (1)  moins_l : int *a -> Value *a
 343                 (2)  moins_c : int *a -> Value *a
 344                 (3)  echange_l : int *a -> Value *a
 345                 (4)  echange_c : int *a -> Value *a
 346                 (5)  ligne : int *a -> Value *a
 347                              int x -> Value x
 348                 (6)  colonne  : int *a -> Value *a
 349                                 int x -> Value x
 350                 (7)  petit_l  : int *a -> Value *a
 351                 (8)  petit_c  : int *a -> Value *a
 352                 (9)  identite : int *a -> Value *a
 353                 (10) transpose: int *a -> Value *a
 354                 (11) encore : int *a -> Value *a
 355                               int val -> Value val
 356                 (12) smith : int *a -> Value *a
 357                              int *b -> Value *b
 358                              int *c -> Value *c
 359                              int *b_inverse -> Value *b_inverse
 360                              int *c_inverse -> Value *c_inverse
 361                 (13) hermite : int *a, -> Value *a
 362                                int *b -> Value *b
 363                                int *d -> Value *d
 364                 (14) ConvertpolMattoDarMat : return type changed to (Value *)
 365                      from (int *)
 366                 (15) ConvertDarMattoPolMat : int *A -> Value *A
 367
 368
 369         * Changes in local variable names in function declarations
 370              eg:
 371                 (1) moins_l : int *c -> Value *c
 372                 (2) moins_c : int *c -> Value *c
 373                 (3) echange_l : int s -> Value s
 374                                 int *c1, *c2 -> Value *c1, *c2
 375                 (4) echange_c : int s -> Value s
 376                                 int *c1, *c2 -> Value *c1, *c2
 377                 (5) ligne : int *c1, *c2 :-> Value *c1, *c2
 378                             tmp (added)
 379                 (6) colonne : int *c1, *c2 -> Value *c1, *c2
 380                               tmp (added)
 381                 (7) petit_l : int *c -> Value *c
 382                               int minus, comp -> Value minus, comp
 383                 (8) petit_c : int *c -> Value *c
 384                               int minus, comp -> Value minus, comp
 385                 (9) identite : int *b -> Value *b
 386                 (10) transpose : int *b, *c -> Value *b, *c
 387                                 int val -> Value val
 388                 (11) encore : int *c -> Value *c
 389                               int comp -> Vale comp
 390                               tmp (added)
 391                 (12) smith : int *f -> Value *f
 392                              int x, pivot -> Value x, pivot
 393                              tmp, x_inv (added)
 394                 (13) hermite : int *c1 -> Value *c1
 395                                int x, pivot -> Value x, pivot
 396                                tmp, x_inv (added)
 397                 (14) ConvertPolMattoDarMat : int *result -> Value *result
 398                 (15) Smith : int *a, *u, *v, *u_inv, *v_inv ->
 399                             Value *a, *u, *v, *u_inv, *v_inv
 400                             i (added)
 401                 (16) Hermite : int *darte_matA -> Value *darte_matA
 402                                int *darte_identite -> Value *darte_identite
 403                                int *darte_id_inv -> Value *darte_id_inv
 404                                i (added)
 405
 406         * Comments added wherever seemed appropriate.
 407
 408         * Changes in almost all the functions in order to make it generic and
 409           allow handling of all the 'Value' types including GMP.
 410
 411 (9) polyhedron.c
 412
 413         * Programming code changed from K&R C to ANSI C.
 414
 415         * A few function declarations removed.
 416              eg: VVPd,IVPd,MPd (functions)
 417
 418         * A few function names changed.
 419              eg: SMPd -> SMPrint
 420                  SatVector_Or -> SatVector_OR
 421                  PPd -> PolyPrint
 422
 423         * A few functions added
 424              eg:
 425                 (1) Stras_DomainSimplify(Pol1, Pol2, NbMaxRays)
 426                 (2) SimplifyEqualities(Pol1, Pol2, Filter)
 427
 428         * Changes in Macro definition
 429              eg: bexchange(a,b,t,l) -> bexchange(a,b,l)
 430
 431         * Changes in parameter names in function declarations
 432              eg:
 433                 (1)  Combine : temp (deleted)
 434                 (2)  RaySort : Temp1 (deleted), Temp2 (deleted)
 435                 (3)  Gauss : temp (deleted)
 436                 (4)  Rays2Polyhedron : NbMaxRays -> NbMaxConstrs
 437                 (5)  BuildSat : NbCon -> NbConstraints
 438                 (6)  AddConstraints : Con2 -> Con
 439                                       NbCon2 -> NbConstraints
 440                                       Pol1 -> Pol
 441                 (7)  AddPolyToDomain : p3 -> Pol
 442                                        p3beg -> PolDomain
 443                 (8)  SubConstraint :   Con2 -> Con
 444                                        Pol1 -> Pol
 445                 (9)  AddRays : Ray2   ->AddedRays
 446                                NbRay2 -> NbAddedRays
 447                                Pol1   -> Pol
 448                                NbMaxRays -> NbMaxConstrs
 449                 (10) DomainAddRays : Pol1 -> Pol
 450                                      Mat2 -> Ray
 451                                      NbMaxRays -> NbMaxConstrs
 452                 (11) DomainConvex : Pol1 -> Pol
 453                                     NbMaxRays -> NbMaxConstrs
 454                 (12) align_context : D -> Pol
 455                                      n -> align_dimension
 456                                      MAXRAYS -> NbMaxRays
 457                 (13) Polyhedron_Scan : MAXRAYS -> NbMaxRays
 458                 (14) Polyhedron_Preimage : Pol1 -> Pol
 459                 (15) DomainPreimage : Pol1 -> Pol
 460                 (16) Polyhedron_Image : Pol1 -> Pol
 461                                         NbMaxrays -> NbMaxConstrs
 462                 (17) DomainImage : Pol1 -> Pol
 463                                    NbMaxRays -> NbMaxConstrs
 464                 (18) DomainCost : Pol1 -> Pol
 465                 (19) DomainAddConstraints : Pol1 -> Pol
 466                                             Mat2 -> Mat
 467
 468         * Changes in local variable names in function declarations
 469              eg:
 470                  (1)  Combine : a -> gcd
 471                                 abs_a1,abs_a2,neg_a1 (added)
 472                  (2)  TransformSat : nc2  -> sat_nbcolumns
 473                                      Sat2 -> result
 474                  (3)  Chernikova : nc -> sat_nbcolumns
 475                                    Temp1 (deleted)
 476                                    Temp2 -> Temp
 477                  (4)  Gauss      : col_of_rank -> column_index
 478                                    tmp (added)
 479                                    RowSize (deleted)
 480                  (5)  Remove_Redundants : nc  -> sat_nbcolumns
 481                                           Dim -> Dim_RaySpace
 482                                           tmp1,tmp2,tmp3 (added)
 483
 484                  (6)  Polyhedron_Alloc : j (added)
 485                  (7)  Polyhedron_Free  : size,p,NbRows,NbColumns (added)
 486                  (8)  Domain_Free : size,p,NbRows,NbColumns (added)
 487                  (9)  Constraints2Polyhedron : nc -> nbcolumns
 488                  (10) Rays2Polyhedron: Sat  -> SatTranspose
 489                                        Sat2 -> Sat
 490                                        nc   -> nbcolumns
 491                  (11) BuildSat : nc -> nbcolumns
 492                                  tmp (added)
 493                  (12) AddConstraints : Pol -> NewPol
 494                                        NbCon1, NbEle1 (deleted)
 495                  (13) PolyhedronIncludes : tmp (added)
 496                  (14) AddPolyToDomain : p3end -> p_domain_end
 497                  (15) SubConstraint   : Pol -> NewPol
 498                                         NbCon1 -> NbCon
 499                                         NbCon (deleted)
 500                  (16) AddRays : Pol  -> NewPol
 501                                 Sat  -> SatTranspose
 502                                 Sat2 -> Sat
 503                                 NbRay1 -> NbRay
 504                                 NbRay (deleted)
 505                  (17) FindSimple : tmp (added)
 506                  (18) SimplifyConstraints : notvid ->notempty
 507                  (19) SimplifyEqualities : temp (deleted)
 508                  (20) DomainSimplify : nc -> nbentries
 509                                        NbCon2 -> NbCon
 510                                        vid -> empty
 511                                        RowSize (deleted)
 512                  (21) DomainConvex : Pol -> NewPol
 513                                      PolNew -> q
 514                  (22) align_context : p1 -> q
 515                                       M -> Mat
 516                  (23) Polyhedron_Scan : dim2 (deleted)
 517                                         numP (deleted)
 518                                         M -> Mat
 519                  (24) lower_upper_bounds : tmp (added)
 520                  (25) Polyhedron_Preimage : Pol2 -> NewPol
 521                                             tmp (added)
 522                  (26) DomainPreimage : p1 -> q
 523                  (27) Polyhedron_Image : Pol2 -> NewPol
 524                                          tmp (added)
 525                  (28) DomainImage : p1 -> q
 526                  (29) DomainCost : tmp1,tmp2,tmp3 (added)
 527
 528         * Error correction in code
 529               eg:
 530                   (1) Gauss:
 531                 column_index = (int *)malloc(Dimension*sizeof(Value)) ->
 532                 column_index = (int *)malloc(Dimension*sizeof(int))
 533
 534                   (2) DomainAddRays:
 535               if (PolyhedronIncludes(p2,p1)) -> if (PolyhedronIncludes(p2,p3))
 536
 537                   (3) DomainAddConstraints:
 538               if (PolyhedronIncludes(p2,p1)) -> if (PolyhedronIncludes(p2,p3))
 539
 540         * Comments added wherever seemed appropriate.
 541
 542         * Changes in almost all the functions in order to make it generic and
 543           allow handling of all the 'Value' types including GMP.
 544
 545 (10) polyparam.c :->
 546
 547         * Programming code changed from K&R C to ANSI C.
 548
 549         * A few macro definitions removed.
 550           eg: Vector_Init (deleted)
 551
 552         * A few function declarations removed.
 553           eg: TestRank_mp
 554
 555         * Changes in parametres names in function declarations
 556           eg:
 557              (1) TestRank : M -> Mat
 558                             gcd,tmp (added)
 559              (2) SMaAlloc : m -> matrix
 560              (3) Poly2Sat : P -> Pol
 561              (4) GenParamPolyhedron : poly -> Pol
 562              (5) Param_Domain_Free : PP -> PD
 563
 564         * Changes in local variable names in function declarations
 565           eg:
 566              (1)  TestRank : gcd (added)
 567              (2)  Poly2Sat : Tmp -> Temp
 568                              tmp (added)
 569              (3)  Elim_Columns : tmp1, tmp2 (added)
 570              (4)  Polyhedron2Param_Vertices : res -> result
 571              (5)  Param_Vertices_Free : n -> next_pv
 572              (6)  Print_Vertex : t (deleted), tmp (added)
 573                                  g -> gcd
 574              (7)  Param_Vertices_Print : a -> poly
 575              (8)  Polyhedron2Param_Domain : res -> result
 576              (9)  Polyhedron2Param_SimplifiedDomain : res ->result
 577              (10) Param_Domain_Free : n -> next_pd
 578
 579         * Error correction in code:
 580               eg:
 581                  (1) PDomainIntersection :
 582                         Uncommented statement - Polyhedron_Free(p3);
 583
 584         * Comments added wherever seemed appropriate.
 585
 586         * Changes in almost all the functions in order to make it generic and
 587           allow handling of all the 'Value' types including GMP.
 588
 589 (11) polytest.c
 590
 591         * Programming code changed from K&R C to ANSI C.
 592
 593         * Changes in Macro definition
 594              eg: bexchange(a,b,t,l) (deleted)
 595
 596         * Changes in parameter names or return type in function declarations
 597              eg:
 598                 (1) exist_points : P -> Pol
 599                 (2) PolyhedronLTQ : P1 -> Pol1
 600                                     P2 -> Pol2
 601                                     MAXRAYS -> NbMaxConstrs
 602                 (3) GaussSimplify : M  -> Mat1
 603                                     M2 -> Mat2
 604
 605         * Changes in local variable names or types in function declarations
 606              eg:
 607                 (1) exist_points : tmp (added)
 608                 (2) Polyhedron_Not_Empty : i (added)
 609                 (3) PolyhedronLTQ : M -> Mat
 610                 (4) GaussSimplify : col_of_rank :-> column_index
 611                                     tmp  (added)
 612                                     temp,RowSize (deleted)
 613
 614         * Error correction in code:
 615               eg:
 616                  (1) GaussSimplify :
 617                         if(value_gt(gcd,int_to_value(2))) -> if(value_ge(...))
 618
 619         * Comments added wherever seemed appropriate.
 620
 621         * Changes in almost all the functions in order to make it generic and
 622           allow handling of all the 'Value' types including GMP.
 623
 624 (12) SolveDio.c
 625
 626         * Added file "SolveDio.c" in ./source directory.
 627
 628         * Removed macro header definitions
 629           eg: #include "types.h"
 630               #include "ztypes.h" etc..
 631
 632         * Added macro header definitions
 633           eg: #include <polylib/polylib.h>
 634
 635         * Changes in local variable names or types in function declarations
 636              eg:
 637                 (1) SolveDiophantine : int *C -> Value *C
 638                                        int *T -> Value *T
 639                                        int sum -> Value sum
 640                                        k1, k2, tmp (added)
 641
 642         * Comments added wherever seemed appropriate.
 643
 644         * Changes in almost all the functions in order to make it generic and
 645           allow handling of all the 'Value' types including GMP.
 646
 647 (13) vector.c
 648
 649         * Programming code changed from K&R C to ANSI C.
 650
 651         * Functions added
 652           eg:   void Vector_Copy(Value *,Value *,unsigned)
 653                 void Vector_Exchange(Value *,Value *,unsigned)
 654
 655         * Changes in parameter names or return type in function declarations
 656              eg:
 657                 (1)  Factorial : return type changed to (Value *) from (Value)
 658                 (2)  Binomial  : return type changed to (Value *) from (Value)
 659                 (3)  CNP : return type changed to (Value *) from (Value)
 660                 (4)  GCD : return type changed to (Value *) from (Value)
 661                 (5)  Vector_Free : vec -> vector
 662                 (6)  Vector_Print : vec -> vector
 663                 (7)  Vector_Set : Value n -> int n
 664                 (8)  Inner_Product : return type changed to (Value *) from
 665                                      (Value)
 666                 (9)  Vector_Max : return type changed to (Value *) from (Value)
 667                 (10) Vector_Min : return type changed to (Value *) from (Value)
 668                 (11) Vector_Min_Not_Zero : return type changed to (Value *)
 669                                             from (Value)
 670                 (12) Vector_Gcd : return type changed to (Value *) from (Value)
 671                                   q (deleted)
 672                 (13) Vector_Map : Value (*f)() -> Value *(*f)()
 673                 (14) Vector_Normalize : q (deleted)
 674                 (15) Vector_Normalize_Positive : tmp (deleted)
 675                 (16) Vector_Reduce : return type changed to (Value *) from
 676                                      (Value)
 677                                      Value (*f)() -> Value *(*f)()
 678                 (17) Vector_Sort : Vecv -> vector
 679
 680         * Changes in local variable names or types in function declarations
 681              eg:
 682                 (1)  Factorial : Value fact -> Value *fact
 683                                  tmp (added)
 684                 (2)  Binomial :  Value prod -> Value *result
 685                                  f (deleted), tmp (added)
 686                 (3)  CNP : Value c -> Value *result
 687                            tmp (added)
 688                 (4)  GCD : Value aux -> Value *result
 689                            acopy,bcopy (added)
 690                 (5)  Vector_Alloc : vec -> vector
 691                                     i (added)
 692                 (6)  Vector_Free : i (added)
 693                 (7)  Vector_Read : vec -> vector
 694                                    str (added)
 695                 (8)  Inner_Product : Value ip -> Value *ip
 696                                      tmp (added)
 697                 (9)  Vector_Max : Value max -> Value *max
 698                 (10) Vector_Min : Value min -> Value *min
 699                 (11) Vector_Min_Not_Zero : Value min -> Value *min
 700                                            j (added)
 701                 (12) Vector_Gcd : Value min -> Value *min
 702                                   q (added)
 703                 (13) Vector_Normalize : Value gcd -> Value *gcd
 704                                         tmp (added)
 705                 (14) Vector_Normalize_positive : Value g -> Value *gcd
 706                 (15) Vector_Reduce : Value r -> Value *r
 707
 708         * Comments added wherever seemed appropriate.
 709
 710         * Changes in almost all the functions in order to make it generic and
 711           allow handling of all the 'Value' types including GMP.
 712
 713 (14) verif_ehrhart.c
 714
 715         * Changes in local variable names or types in function declarations
 716              eg:
 717                 (1) check_poly : Value k -> int k
 718                                  tmp (added)
 719                 (2) main : tmp (added)
 720
 721         * Changes in almost all the functions in order to make it generic and
 722           allow handling of all the 'Value' types including GMP.
 723
 724 (15) Zpolyhedron.c ->
 725
 726         * Added file "Zpolyhderon.c" in ./source directory.
 727
 728         * A few macro definitions removed:
 729           eg: #include "types.h"
 730               #include "ztypes.h"
 731               #include "vector.h", etc....
 732
 733         * A few macro definitions added:
 734           eg: #include "polylib/polylib.h"
 735
 736         * Changes in local variable names or types in function declarations
 737              eg:
 738                 (1) CanonicalForm : tmp (added)
 739
 740         * Comments added wherever seemed appropriate.
 741
 742         * Changes in almost all the functions in order to make it generic and
 743           allow handling of all the 'Value' types including GMP.
 744
 745 (16) Zpolytest.c
 746
 747         * Added file "Zpolytest.c" in ./source directory.
 748
 749         * A few macro definitions removed:
 750          eg:  #include "types.h"
 751               #include "ztypes.h"
 752               #include "vector.h", etc....
 753
 754         * A few macro definitions added:
 755           eg: #include "polylib/polylib.h"
 756
 757 *******************************************************************************
 758
 759
 760