Return to ts_equpol.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/ts_equpol.adb, Revision 1.1.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 Symmetry_Group;                     use Symmetry_Group;
                      5: with Symmetry_Group_io;
                      6: with Symbolic_Symmetry_Group_io;
                      7: with Drivers_for_Symmetry_Group_io;      use Drivers_for_Symmetry_Group_io;
                      8: with Equivariant_Polynomial_Systems;     use Equivariant_Polynomial_Systems;
                      9:
                     10: procedure ts_equpol is
                     11:
                     12: -- DESCRIPTION :
                     13: --   Test on the (G,V,W)-symmetric polynomial systems.
                     14:
                     15:   lp : Link_to_Poly_Sys;
                     16:   n : natural;
                     17:   g,v,w : List_of_Permutations;
                     18:   allperms,notsym,inva,equi : boolean;
                     19:
                     20: begin
                     21:   new_line;
                     22:   put_line("Test on the (G,V,W)-symmetric polynomial systems.");
                     23:   new_line;
                     24:   get(lp);
                     25:   n := lp'last;
                     26:   Read_Permutation_Group(n,g,v,allperms);
                     27:   put_line("The symmetry group : ");
                     28:   Symbolic_Symmetry_Group_io.put(v);
                     29:   Act(v,lp.all,w,notsym,inva,equi);
                     30:   put_line("w:"); Symmetry_Group_io.put(w);
                     31:   if notsym
                     32:    then put_line("The system is not (G,V,W)-symmetric.");
                     33:   end if;
                     34: end ts_equpol;