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     ! 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.