/usr/include/singular/singular/kernel/fglm/fglmvec.h is in libsingular4-dev-common 1:4.1.0-p3+ds-2build1.
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 | // emacs edit mode for this file is -*- C++ -*-
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT - The FGLM-Algorithm
* header file for fglmvec.cc. See fglmvec.cc for details.
*/
#ifndef FGLMVEC_H
#define FGLMVEC_H
#include <coeffs/numbers.h>
class fglmVectorRep;
class fglmVector
{
protected:
fglmVectorRep * rep;
void makeUnique();
fglmVector( fglmVectorRep * rep );
public:
fglmVector();
fglmVector( int size );
fglmVector( int size, int basis );
fglmVector( const fglmVector & v );
~fglmVector();
#ifndef HAVE_EXPLICIT_CONSTR
void mac_constr( const fglmVector & v);
void mac_constr_i( int size);
void clearelems();
#endif
int size() const;
int numNonZeroElems() const;
void nihilate( const number fac1, const number fac2, const fglmVector v );
fglmVector & operator = ( const fglmVector & v );
int operator == ( const fglmVector & );
int operator != ( const fglmVector & );
int isZero();
int elemIsZero( int i );
fglmVector & operator += ( const fglmVector & );
fglmVector & operator -= ( const fglmVector & );
fglmVector & operator *= ( const number & );
fglmVector & operator /= ( const number & );
friend fglmVector operator - ( const fglmVector & v );
friend fglmVector operator + ( const fglmVector & lhs, const fglmVector & rhs );
friend fglmVector operator - ( const fglmVector & lhs, const fglmVector & rhs );
friend fglmVector operator * ( const fglmVector & v, const number n );
friend fglmVector operator * ( const number n, const fglmVector & v );
number getconstelem( int i ) const;
number & getelem( int i );
void setelem( int i, number & n );
number gcd() const;
number clearDenom();
};
#endif
|