Return to generic_laur_poly_systems.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/generic_laur_poly_systems.adb, Revision 1.1.1.1

1.1       maekawa     1: with unchecked_deallocation;
                      2:
                      3: package body Generic_Laur_Poly_Systems is
                      4:
                      5: -- COPYING :
                      6:
                      7:   procedure Copy ( p : in Laur_Sys; q : in out Laur_Sys ) is
                      8:   begin
                      9:     for i in p'range loop
                     10:       Copy(p(i),q(i));
                     11:     end loop;
                     12:   end Copy;
                     13:
                     14: -- ARITHMETIC OPERATIONS :
                     15:
                     16:   function "+" ( p,q : Laur_Sys ) return Laur_Sys is
                     17:
                     18:     res : Laur_Sys(p'range);
                     19:
                     20:   begin
                     21:     for i in p'range loop
                     22:       res(i) := p(i)+q(i);
                     23:     end loop;
                     24:     return res;
                     25:   end "+";
                     26:
                     27:   function "-" ( p,q : Laur_Sys ) return Laur_Sys is
                     28:
                     29:     res : Laur_Sys(p'range);
                     30:
                     31:   begin
                     32:     for i in p'range loop
                     33:       res(i) := p(i)-q(i);
                     34:     end loop;
                     35:     return res;
                     36:   end "-";
                     37:
                     38:   function "-" ( p : Laur_Sys ) return Laur_Sys is
                     39:
                     40:     res : Laur_Sys(p'range);
                     41:
                     42:   begin
                     43:     for i in p'range loop
                     44:       res(i) := -p(i);
                     45:     end loop;
                     46:     return res;
                     47:   end "-";
                     48:
                     49:   function "*" ( a : number; p : Laur_Sys ) return Laur_Sys is
                     50:
                     51:     res : Laur_Sys(p'range);
                     52:
                     53:   begin
                     54:     for k in p'range loop
                     55:       res(k) := a*p(k);
                     56:     end loop;
                     57:     return res;
                     58:   end "*";
                     59:
                     60:   function "*" ( p : Laur_Sys; a : number ) return Laur_Sys is
                     61:   begin
                     62:     return a*p;
                     63:   end "*";
                     64:
                     65:   procedure Add ( p : in out Laur_Sys; q : in Laur_Sys ) is
                     66:   begin
                     67:     for i in p'range loop
                     68:       Add(p(i),q(i));
                     69:     end loop;
                     70:   end Add;
                     71:
                     72:   procedure Sub ( p : in out Laur_Sys; q : in Laur_Sys ) is
                     73:   begin
                     74:     for i in p'range loop
                     75:       Sub(p(i),q(i));
                     76:     end loop;
                     77:   end Sub;
                     78:
                     79:   procedure Min ( p : in out Laur_Sys ) is
                     80:   begin
                     81:     for i in p'range loop
                     82:       Min(p(i));
                     83:     end loop;
                     84:   end Min;
                     85:
                     86:   procedure Mul ( p : in out Laur_Sys; a : in number ) is
                     87:   begin
                     88:     for k in p'range loop
                     89:       Mul(p(k),a);
                     90:     end loop;
                     91:   end Mul;
                     92:
                     93:   function Diff ( p : Laur_Sys; i : natural ) return Laur_Sys is
                     94:
                     95:     res : Laur_Sys(p'range);
                     96:
                     97:   begin
                     98:     for j in p'range loop
                     99:       res(j) := Diff(p(j),i);
                    100:     end loop;
                    101:     return res;
                    102:   end Diff;
                    103:
                    104:   procedure Diff ( p : in out Laur_Sys; i : in natural ) is
                    105:   begin
                    106:     for j in p'range loop
                    107:       Diff(p(j),i);
                    108:     end loop;
                    109:   end Diff;
                    110:
                    111: -- DESTRUCTORS :
                    112:
                    113:   procedure Clear ( p : in out Laur_Sys ) is
                    114:   begin
                    115:     for i in p'range loop
                    116:       Clear(p(i));
                    117:     end loop;
                    118:   end Clear;
                    119:
                    120:   procedure Clear ( p : in out Link_to_Laur_Sys ) is
                    121:
                    122:     procedure free is new unchecked_deallocation(Laur_Sys,Link_to_Laur_Sys);
                    123:
                    124:   begin
                    125:     if p /= null
                    126:      then Clear(p.all);
                    127:     end if;
                    128:     free(p);
                    129:   end Clear;
                    130:
                    131: end Generic_Laur_Poly_Systems;