Return to initial_mixed_cell.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/initial_mixed_cell.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      2: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      3: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
                      4:
                      5: procedure Initial_Mixed_Cell
                      6:                 ( n : in natural; mix : in Vector; pts : in Array_of_Lists;
                      7:                   mic : out Mixed_Cell; rest : in out Array_of_Lists );
                      8:
                      9: -- DESCRIPTION :
                     10: --   Computes an initial mixed cell for the supports in pts.
                     11: --   The lifting for this initial cell equals zero.
                     12:
                     13: -- RECOMMENDED :
                     14: --   The list pts consists solely out of vertex points.
                     15:
                     16: -- ON ENTRY :
                     17: --   n            the length of the points in pts;
                     18: --   mix          type of mixture;
                     19: --   pts          the supports, pts'range = mixture'range.
                     20:
                     21: -- ON RETURN :
                     22: --   mic          an initial mixed cell, with lifting zero,
                     23: --                if Mixed_Volume(s) = 0, then Mixed_Volume(pts) = 0;
                     24: --   rest         the rest of the supports: pts - s.