Return to symbolic_symmetry_group_io.adb CVS log

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

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

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Communications_with_User;           use Communications_with_User;
        !             3: with Symbol_Table,Symbol_Table_io;       use Symbol_Table;
        !             4:
        !             5: package body Symbolic_Symmetry_Group_io is
        !             6:
        !             7:   procedure iget ( p : in out Permutation ) is
        !             8:
        !             9:   -- DESCRIPTION ;
        !            10:   --   Auxiliary procedure to realize an interactive get.
        !            11:
        !            12:     ok : boolean := false;
        !            13:     pp : Permutation(p'range) := (p'range => 0);
        !            14:     ans : character;
        !            15:
        !            16:   begin
        !            17:     while not ok loop
        !            18:       get(Standard_Input,pp);
        !            19:       ok := Is_Permutation(pp);
        !            20:       if not ok
        !            21:        then put("is no permutation.  Do you want to retry ? (y/n) ");
        !            22:             Ask_Yes_or_No(ans);
        !            23:             ok := (ans /= 'y');
        !            24:       end if;
        !            25:     end loop;
        !            26:     p := pp;
        !            27:   end iget;
        !            28:
        !            29:   procedure get ( p : in out Permutation ) is
        !            30:   begin
        !            31:     iget(p);
        !            32:   end get;
        !            33:
        !            34:   procedure get ( file : in file_type; p : in out Permutation ) is
        !            35:
        !            36:     sb : Symbol;
        !            37:     ch : character;
        !            38:
        !            39:   begin
        !            40:     for i in p'range loop
        !            41:       sb := (sb'range => ' ');
        !            42:       get(ch);
        !            43:       while ch = ' ' loop get(ch); end loop;
        !            44:       if ch = '-'
        !            45:        then get(ch);
        !            46:             Symbol_Table_io.get(file,ch,sb);
        !            47:             p(i) := -Symbol_Table.get(sb);
        !            48:        else Symbol_Table_io.get(file,ch,sb);
        !            49:             p(i) := Symbol_Table.get(sb);
        !            50:       end if;
        !            51:     end loop;
        !            52:   end get;
        !            53:
        !            54:   procedure get ( l : in out List_of_Permutations; n,nb : in natural ) is
        !            55:
        !            56:     p : Permutation(1..n) := (1..n => 0);
        !            57:     l2 : List_of_Permutations;
        !            58:
        !            59:   begin
        !            60:     for i in 1..nb loop
        !            61:       iget(p);
        !            62:       Append(l,l2,p);
        !            63:     end loop;
        !            64:   end get;
        !            65:
        !            66:   procedure get ( file : in file_type;
        !            67:                  l : in out List_of_Permutations; n,nb : in natural ) is
        !            68:
        !            69:     p : Permutation(1..n) := (1..n => 0);
        !            70:     l2 : List_of_Permutations;
        !            71:
        !            72:   begin
        !            73:     for i in 1..nb loop
        !            74:       get(file,p);
        !            75:       if Is_Permutation(p)
        !            76:        then Append(l,l2,p);
        !            77:       end if;
        !            78:     end loop;
        !            79:   end get;
        !            80:
        !            81:   procedure put ( p : in Permutation ) is
        !            82:   begin
        !            83:     put(Standard_Output,p);
        !            84:   end put;
        !            85:
        !            86:   procedure put ( file : in file_type; p : in Permutation ) is
        !            87:
        !            88:     sb : Symbol;
        !            89:
        !            90:   begin
        !            91:     for i in p'range loop
        !            92:       put(file,' ');
        !            93:       if p(i) < 0
        !            94:        then put(file,'-');
        !            95:             sb := Symbol_Table.get(-p(i));
        !            96:        else sb := Symbol_Table.get(p(i));
        !            97:       end if;
        !            98:       Symbol_Table_io.put(file,sb);
        !            99:     end loop;
        !           100:   end put;
        !           101:
        !           102:   procedure put ( l : in List_of_Permutations ) is
        !           103:   begin
        !           104:     put(Standard_Output,l);
        !           105:   end put;
        !           106:
        !           107:   procedure put ( file : in file_type; l : in List_of_Permutations ) is
        !           108:
        !           109:     temp : List_of_Permutations := l;
        !           110:
        !           111:   begin
        !           112:     while not Is_Null(temp) loop
        !           113:       put(file,Permutation(Head_Of(temp).all));
        !           114:       new_line(file);
        !           115:       temp := Tail_Of(temp);
        !           116:     end loop;
        !           117:   end put;
        !           118:
        !           119: end Symbolic_Symmetry_Group_io;