File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry / ts_equpol.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD Changes since 1.1: +0 -0
lines
Import the second public release of PHCpack.
OKed by Jan Verschelde.
|
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;