Return to permute_operations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/permute_operations.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      2: with Standard_Natural_Vectors;
                      3: with Standard_Integer_Vectors;
                      4: with Standard_Floating_Vectors;
                      5: with Standard_Complex_Vectors;
                      6: with Standard_Complex_Polynomials;
                      7: with Standard_Complex_Laur_Polys;
                      8: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      9: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
                     10: with Permutations;                       use Permutations;
                     11:
                     12: package Permute_Operations is
                     13:
                     14: -- DESCRIPTION :
                     15: --   This package provides permute operations on vectors,
                     16: --   on polynomials and on systems of polynomials.
                     17:
                     18:   function "*" ( p : Permutation; v : Standard_Natural_Vectors.Vector )
                     19:               return Standard_Natural_Vectors.Vector;
                     20:
                     21:   function "*" ( p : Permutation; v : Standard_Integer_Vectors.Vector )
                     22:               return Standard_Integer_Vectors.Vector;
                     23:
                     24:   function "*" ( p : Permutation; v : Standard_Floating_Vectors.Vector )
                     25:               return Standard_Floating_Vectors.Vector;
                     26:
                     27:   function "*" ( p : Permutation; v : Standard_Complex_Vectors.Vector )
                     28:               return Standard_Complex_Vectors.Vector;
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   returns the result of the permutation of p on the vector v.
                     32:   -- REQUIRED :
                     33:   --   p'range = v'range
                     34:
                     35:   function Permutable ( v1,v2 : Standard_Natural_Vectors.Vector )
                     36:                       return boolean;
                     37:   function Permutable ( v1,v2 : Standard_Integer_Vectors.Vector )
                     38:                       return boolean;
                     39:   function Permutable ( v1,v2 : Standard_Floating_Vectors.Vector )
                     40:                       return boolean;
                     41:   function Permutable ( v1,v2 : Standard_Complex_Vectors.Vector )
                     42:                       return boolean;
                     43:   function Permutable ( v1,v2 : Standard_Floating_Vectors.Vector;
                     44:                         tol : double_float ) return boolean;
                     45:   function Permutable ( v1,v2 : Standard_Complex_Vectors.Vector;
                     46:                         tol : double_float ) return boolean;
                     47:
                     48:   -- DESCRIPTION :
                     49:   --   Returns true if there exists a permutation between the two vectors.
                     50:   --   If provided, tol is the tolerance for comparing two numeric values.
                     51:
                     52:   function Sign_Permutable ( v1,v2 : Standard_Natural_Vectors.Vector )
                     53:                            return boolean;
                     54:   function Sign_Permutable ( v1,v2 : Standard_Integer_Vectors.Vector )
                     55:                            return boolean;
                     56:   function Sign_Permutable ( v1,v2 : Standard_Floating_Vectors.Vector )
                     57:                            return boolean;
                     58:   function Sign_Permutable ( v1,v2 : Standard_Complex_Vectors.Vector )
                     59:                            return boolean;
                     60:   function Sign_Permutable ( v1,v2 : Standard_Floating_Vectors.Vector;
                     61:                              tol : double_float ) return boolean;
                     62:   function Sign_Permutable ( v1,v2 : Standard_Complex_Vectors.Vector;
                     63:                              tol : double_float ) return boolean;
                     64:
                     65:   -- DESCRIPTION :
                     66:   --   Also permutations where the sign of one of the components can
                     67:   --   be changed, are checked.
                     68:
                     69:   function "*" ( p : Permutation; t : Standard_Complex_Polynomials.Term )
                     70:               return Standard_Complex_Polynomials.Term;
                     71:
                     72:   function "*" ( p : Permutation; s : Standard_Complex_Polynomials.Poly )
                     73:               return Standard_Complex_Polynomials.Poly;
                     74:
                     75:   function "*" ( p : Permutation; t : Standard_Complex_Laur_Polys.Term )
                     76:               return Standard_Complex_Laur_Polys.Term;
                     77:
                     78:   function "*" ( p : Permutation; s : Standard_Complex_Laur_Polys.Poly )
                     79:                return Standard_Complex_Laur_Polys.Poly;
                     80:
                     81:   -- DESCRIPTION :
                     82:   --   permutes the unknowns in the term t or the polynonomial s,
                     83:   --   according to the permuation p.
                     84:
                     85:   function "*" ( s : Poly_Sys; p : Permutation ) return Poly_Sys;
                     86:   function "*" ( s : Laur_Sys; p : Permutation ) return Laur_Sys;
                     87:
                     88:   function "*" ( p : Permutation; s : Poly_Sys ) return Poly_Sys;
                     89:   function "*" ( p : Permutation; s : Laur_Sys ) return Laur_Sys;
                     90:
                     91:   -- DESCRIPTION :
                     92:   --   s*p permutes the unknowns in the individual polynomials.
                     93:   --   p*s permutes the equations in the system.
                     94:   --   Watch out for sharing by this second type of operation!
                     95:
                     96: end Permute_Operations;