/usr/include/eclib/sub.h is in libec-dev 20160101-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | // sub.h: declaration of class subspace
//////////////////////////////////////////////////////////////////////////
//
// Copyright 1990-2012 John Cremona
//
// This file is part of the eclib package.
//
// eclib is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2 of the License, or (at your
// option) any later version.
//
// eclib is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
// for more details.
//
// You should have received a copy of the GNU General Public License
// along with eclib; if not, write to the Free Software Foundation,
// Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
//
//////////////////////////////////////////////////////////////////////////
// SCALAR_OPTION must be set to 1 or 2 by including file
class subspace {
public:
// constructors
subspace(int n=0);
subspace(const mat& b, const vec& p, scalar d);
subspace(const subspace& s);
// destructor
~subspace();
// assignment
void operator=(const subspace& s);
// member functions & operators
inline void clear() { pivots.init(); basis.init();}
inline scalar den() const {return denom;} // the denominator
inline vec pivs() const {return pivots;} // the pivot vector
inline mat bas() const {return basis;} // the basis matrix
// non-member (friend) functions and operators
friend int dim(const subspace& s); // the dimension
friend scalar denom(const subspace& s); // the denominator
friend vec pivots(const subspace& s);// the pivot vector
friend mat basis(const subspace& s) ;// the basis matrix
friend subspace combine(const subspace& s1, const subspace& s2);
friend mat restrict_mat(const mat& m, const subspace& s, int cr);
friend subspace pcombine(const subspace& s1, const subspace& s2, scalar pr);
friend mat prestrict(const mat& m, const subspace& s, scalar pr, int cr);
friend int lift(const subspace& s, scalar pr, subspace& ans, int trace);
// Implementation
private:
scalar denom;
vec pivots;
mat basis;
};
// Declarations of nonmember, nonfriend operators and functions:
mat expressvectors(const mat& m, const subspace& s);
subspace kernel(const mat& m, int method=0);
subspace image(const mat& m, int method=0);
subspace eigenspace(const mat& m, scalar lambda, int method=0);
subspace subeigenspace(const mat& m, scalar l, const subspace& s, int method=0);
//The following work with subspaces "mod p" using "echmodp" from
//matrix.h/cc to do gaussian elimination. The "denom" of each is 1.
subspace oldpkernel(const mat& m, scalar pr);
subspace pkernel(const mat& m, scalar pr);
subspace pimage(const mat& m, scalar pr);
subspace peigenspace(const mat& m, scalar lambda, scalar pr);
subspace psubeigenspace(const mat& m, scalar l, const subspace& s, scalar pr);
inline int dim(const subspace& s) {return s.basis.ncols();} // the dimension
inline scalar denom(const subspace& s) {return s.denom;} // the denominator
inline vec pivots(const subspace& s) {return s.pivots;} // the pivot vector
inline mat basis(const subspace& s) {return s.basis;} // the basis matrix
|