X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fmatrix.h;h=8544c9db9698a0b7cb05bc3699be3ef873dc8b05;hp=54e8ca194a2159e3cf6e263199406c548ea8153c;hb=adb1dbd383ae6e5a999b5f8cba72a5c2bfd50c11;hpb=695f6ae955ec530cded8f21efd5569df39447f76 diff --git a/ginac/matrix.h b/ginac/matrix.h index 54e8ca19..8544c9db 100644 --- a/ginac/matrix.h +++ b/ginac/matrix.h @@ -3,7 +3,7 @@ * Interface to symbolic matrices */ /* - * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2008 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -17,7 +17,7 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ #ifndef __GINAC_MATRIX_H__ @@ -121,6 +121,8 @@ public: ex scalar_mul_indexed(const ex & self, const numeric & other) const; bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const; ex conjugate() const; + ex real_part() const; + ex imag_part() const; protected: bool match_same_type(const basic & other) const; @@ -149,6 +151,7 @@ public: matrix solve(const matrix & vars, const matrix & rhs, unsigned algo = solve_algo::automatic) const; unsigned rank() const; + bool is_zero_matrix() const; protected: ex determinant_minor() const; int gauss_elimination(const bool det = false); @@ -209,12 +212,6 @@ inline unsigned rank(const matrix & m) // utility functions -/** Specialization of is_exactly_a(obj) for matrix objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_matrix; -} - /** Convert list of lists to matrix. */ extern ex lst_to_matrix(const lst & l); @@ -233,6 +230,13 @@ inline ex unit_matrix(unsigned x) * The base name for LaTeX output is specified separately. */ extern ex symbolic_matrix(unsigned r, unsigned c, const std::string & base_name, const std::string & tex_base_name); +/** Return the reduced matrix that is formed by deleting the rth row and cth + * column of matrix m. The determinant of the result is the Minor r, c. */ +extern ex reduced_matrix(const matrix& m, unsigned r, unsigned c); + +/** Return the nr times nc submatrix starting at position r, c of matrix m. */ +extern ex sub_matrix(const matrix&m, unsigned r, unsigned nr, unsigned c, unsigned nc); + /** Create an r times c matrix of newly generated symbols consisting of the * given base name plus the numeric row/column position of each element. */ inline ex symbolic_matrix(unsigned r, unsigned c, const std::string & base_name)