Return to drivers_for_orbits_of_solutions.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/drivers_for_orbits_of_solutions.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Standard_Complex_Solutions_io;      use Standard_Complex_Solutions_io;
        !             3: with Symmetry_Group_io;
        !             4: with Orbits_of_Solutions;                use Orbits_of_Solutions;
        !             5:
        !             6: package body Drivers_for_Orbits_of_Solutions is
        !             7:
        !             8:   procedure Driver_for_Orbits_of_Solutions
        !             9:                   ( file : in file_type; sols : in out Solution_List;
        !            10:                     v : in List_of_Permutations; allperms,signsym : in boolean;
        !            11:                     tol : in double_float ) is
        !            12:
        !            13:   begin
        !            14:     if not Is_Null(sols)
        !            15:      then
        !            16:        declare
        !            17:          n : constant natural := Head_Of(sols).n;
        !            18:          orb : Permutation(1..n);
        !            19:        begin
        !            20:          Driver_for_Orbits_of_Solutions(file,sols,v,allperms,signsym,tol,orb);
        !            21:        end;
        !            22:     end if;
        !            23:   end Driver_for_Orbits_of_Solutions;
        !            24:
        !            25:   procedure Driver_for_Orbits_of_Solutions
        !            26:                   ( file : in file_type; sols : in out Solution_List;
        !            27:                     v : in List_of_Permutations; allperms,signsym : in boolean;
        !            28:                     tol : in double_float; orbi : out Permutation ) is
        !            29:
        !            30:   begin
        !            31:     if not Is_Null(sols)
        !            32:      then declare
        !            33:             n : constant natural := Head_Of(sols).n;
        !            34:             orb : Permutation(1..n);
        !            35:             len : natural;
        !            36:           begin
        !            37:             if allperms
        !            38:              then sols := Generating(sols,signsym,tol);
        !            39:              else Analyze(v,signsym,tol,sols);
        !            40:             end if;
        !            41:             len := Length_Of(sols);
        !            42:             new_line(file);
        !            43:             put(file,"The number of generating solutions : ");
        !            44:             put(file,len,1); new_line(file);
        !            45:             orb := Orbits(sols,tol);
        !            46:             put(file,"The orbits : "); Symmetry_Group_io.put(file,orb);
        !            47:             new_line(file);
        !            48:             new_line(file);
        !            49:             put_line(file,"THE GENERATING SOLUTIONS : ");
        !            50:             put(file,len,Head_Of(sols).n,sols); new_line(file);
        !            51:             orbi := orb;
        !            52:           end;
        !            53:     end if;
        !            54:   end Driver_for_Orbits_of_Solutions;
        !            55:
        !            56: end Drivers_for_Orbits_of_Solutions;