Return to ts_powlis.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/ts_powlis.adb, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             3: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
        !             4: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !             5: with Arrays_of_Integer_Vector_Lists_io;  use Arrays_of_Integer_Vector_Lists_io;
        !             6: with Power_Lists;                        use Power_Lists;
        !             7:
        !             8: procedure ts_powlis is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   This procedure allows interactive testing of power lists.
        !            12:
        !            13:   lp : Link_to_Poly_Sys;
        !            14:
        !            15: begin
        !            16:   new_line;
        !            17:   put_line("Interactive testing of power lists.");
        !            18:   new_line;
        !            19:   get(lp);
        !            20:   declare
        !            21:     supports : Array_of_Lists(lp'range) := Create(lp.all);
        !            22:   begin
        !            23:     put_line("The supports of the system : "); put(supports);
        !            24:   end;
        !            25: end ts_powlis;