Return to standard_to_multprec_convertors.adb CVS log

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

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

1.1       maekawa     1: with Standard_Natural_Vectors;
                      2: with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
                      3: with Standard_Complex_Polynomials;
                      4: with Standard_Complex_Poly_Systems;
                      5: with Multprec_Complex_Numbers;           use Multprec_Complex_Numbers;
                      6: with Multprec_Complex_Number_Tools;      use Multprec_Complex_Number_Tools;
                      7: with Multprec_Complex_Polynomials;
                      8: with Multprec_Complex_Poly_Systems;
                      9:
                     10: package body Standard_to_Multprec_Convertors is
                     11:
                     12: -- AUXILIARIES :
                     13:
                     14:   function Convert ( d : Standard_Complex_Polynomials.Degrees )
                     15:                    return Multprec_Complex_Polynomials.Degrees is
                     16:
                     17:     res : Multprec_Complex_Polynomials.Degrees;
                     18:
                     19:   begin
                     20:     res := new Standard_Natural_Vectors.Vector(d'range);
                     21:     for i in res'range loop
                     22:       res(i) := d(i);
                     23:     end loop;
                     24:     return res;
                     25:   end Convert;
                     26:
                     27:   function Convert ( t : Standard_Complex_Polynomials.Term )
                     28:                    return Multprec_Complex_Polynomials.Term is
                     29:
                     30:     res : Multprec_Complex_Polynomials.Term;
                     31:
                     32:   begin
                     33:     res.cf := Create(t.cf);
                     34:     res.dg := Convert(t.dg);
                     35:     return res;
                     36:   end Convert;
                     37:
                     38: -- TARGET FUNCTIONS :
                     39:
                     40:   function Convert ( p : Standard_Complex_Polynomials.Poly )
                     41:                    return Multprec_Complex_Polynomials.Poly is
                     42:
                     43:     res : Multprec_Complex_Polynomials.Poly
                     44:         := Multprec_Complex_Polynomials.Null_Poly;
                     45:
                     46:     procedure Convert_Term ( t : in Standard_Complex_Polynomials.Term;
                     47:                              continue : out boolean ) is
                     48:
                     49:       ct : Multprec_Complex_Polynomials.Term := Convert(t);
                     50:
                     51:     begin
                     52:       Multprec_Complex_Polynomials.Add(res,ct);
                     53:       Multprec_Complex_Polynomials.Clear(ct);
                     54:       continue := true;
                     55:     end Convert_Term;
                     56:     procedure Convert_Terms is
                     57:       new Standard_Complex_Polynomials.Visiting_Iterator(Convert_Term);
                     58:
                     59:   begin
                     60:     Convert_Terms(p);
                     61:     return res;
                     62:   end Convert;
                     63:
                     64:   function Convert ( p : Standard_Complex_Poly_Systems.Poly_Sys )
                     65:                    return Multprec_Complex_Poly_Systems.Poly_Sys is
                     66:
                     67:     res : Multprec_Complex_Poly_Systems.Poly_Sys(p'range);
                     68:
                     69:   begin
                     70:     for i in p'range loop
                     71:       res(i) := Convert(p(i));
                     72:     end loop;
                     73:     return res;
                     74:   end Convert;
                     75:
                     76: end Standard_to_Multprec_Convertors;