with text_io; use text_io;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
with Standard_Complex_Poly_Systems_io; use Standard_Complex_Poly_Systems_io;
with Symmetry_Group; use Symmetry_Group;
with Symmetry_Group_io;
with Symbolic_Symmetry_Group_io;
with Drivers_for_Symmetry_Group_io; use Drivers_for_Symmetry_Group_io;
with Equivariant_Polynomial_Systems; use Equivariant_Polynomial_Systems;
procedure ts_equpol is
-- DESCRIPTION :
-- Test on the (G,V,W)-symmetric polynomial systems.
lp : Link_to_Poly_Sys;
n : natural;
g,v,w : List_of_Permutations;
allperms,notsym,inva,equi : boolean;
begin
new_line;
put_line("Test on the (G,V,W)-symmetric polynomial systems.");
new_line;
get(lp);
n := lp'last;
Read_Permutation_Group(n,g,v,allperms);
put_line("The symmetry group : ");
Symbolic_Symmetry_Group_io.put(v);
Act(v,lp.all,w,notsym,inva,equi);
put_line("w:"); Symmetry_Group_io.put(w);
if notsym
then put_line("The system is not (G,V,W)-symmetric.");
end if;
end ts_equpol;