X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fmatrix.h;h=4dc2ee0584e1cad9c78fcf3752700093da75e305;hp=b7f3f1ce6571eb33b81a218ff5ad2fc3dde58a3d;hb=a8617f6e1705e980b7a5f6500f6a2c42563d3f6c;hpb=591b85b0697370f2f5f25a29a1e94ff831a02c12 diff --git a/ginac/matrix.h b/ginac/matrix.h index b7f3f1ce..4dc2ee05 100644 --- a/ginac/matrix.h +++ b/ginac/matrix.h @@ -3,7 +3,7 @@ * Interface to symbolic matrices */ /* - * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2003 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 @@ -24,6 +24,7 @@ #define __GINAC_MATRIX_H__ #include +#include #include "basic.h" #include "ex.h" @@ -40,25 +41,23 @@ public: matrix(unsigned r, unsigned c, const exvector & m2); matrix(unsigned r, unsigned c, const lst & l); - // functions overriding virtual functions from bases classes + // functions overriding virtual functions from base classes public: void print(const print_context & c, unsigned level = 0) const; unsigned nops() const; ex op(int i) const; ex & let_op(int i); - ex expand(unsigned options=0) const; ex eval(int level=0) const; - ex evalf(int level=0) const; ex evalm(void) const {return *this;} ex subs(const lst & ls, const lst & lr, bool no_pattern = false) const; ex eval_indexed(const basic & i) const; ex add_indexed(const ex & self, const ex & other) const; ex scalar_mul_indexed(const ex & self, const numeric & other) const; bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const; + protected: + bool match_same_type(const basic & other) const; unsigned return_type(void) const { return return_types::noncommutative; }; - // new virtual functions which can be overridden by derived classes - // (none) // non-virtual functions in this class public: @@ -134,13 +133,6 @@ inline matrix inverse(const matrix & m) // utility functions -/** Return the matrix object handled by an ex. Deprecated: use ex_to(). - * This is unsafe: you need to check the type first. */ -inline const matrix &ex_to_matrix(const ex &e) -{ - return static_cast(*e.bp); -} - /** Specialization of is_exactly_a(obj) for matrix objects. */ template<> inline bool is_exactly_a(const basic & obj) { @@ -153,6 +145,23 @@ extern ex lst_to_matrix(const lst & l); /** Convert list of diagonal elements to matrix. */ extern ex diag_matrix(const lst & l); +/** Create an r times c unit matrix. */ +extern ex unit_matrix(unsigned r, unsigned c); + +/** Create a x times x unit matrix. */ +inline ex unit_matrix(unsigned x) +{ return unit_matrix(x, x); } + +/** 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. + * 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); + +/** 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) +{ return symbolic_matrix(r, c, base_name, base_name); } + } // namespace GiNaC #endif // ndef __GINAC_MATRIX_H__