sparsemat bugfixes

This commit is contained in:
jiri committed 2026-10-27 21:24:20 +01:00
1 parent 25d0d40bee
commit 204bfc4871
2 files changed
+71 -28

No files matched your search

+42 -22
View File
@@ -58,7 +58,12 @@ symmetric=symnon[0];
nonzero=symnon[1]; nonzero=symnon[1];
} }
else else
copyonwrite(); {
unsort();
if(!count) count=new int(1);
else if(*count > 1) {(*count)--; count=new int(1); list=NULL;} //detach from previous
else while(list) {matel<T> *ltmp=list; list=list->next; delete ltmp;} //discard old contents, they are replaced
}
matel<T> *l=NULL; matel<T> *l=NULL;
do do
@@ -650,7 +655,7 @@ memset(v,0,nn2*sizeof(T));
matel<T> *l=rhs.getlist(); matel<T> *l=rhs.getlist();
while(l) while(l)
{ {
(*this)(l->row,l->col)=l->elem; (*this)(l->row,l->col)+=l->elem; //duplicates in the list are summed
l=l->next; l=l->next;
} }
} }
@@ -744,7 +749,8 @@ void SparseMat<T>::transposeme()
{ {
if(!count) laerror("transposeme on undefined lhs"); if(!count) laerror("transposeme on undefined lhs");
if(symmetric||!list) return; if(symmetric||!list) return;
copyonwrite();//also unsort copyonwrite();
unsort(); //indices change, sorted arrays are obsolete (copyonwrite unsorts only a shared matrix)
register matel<T> *l=list; register matel<T> *l=list;
while(l) while(l)
{ {
@@ -864,7 +870,10 @@ else
template<class T> template<class T>
void NRVec<T>::gemv(const T beta, const SparseMat<T> &a, const char trans, const T alpha, const NRVec<T> &x, const bool treat_as_symmetric) void NRVec<T>::gemv(const T beta, const SparseMat<T> &a, const char trans, const T alpha, const NRVec<T> &x, const bool treat_as_symmetric)
{ {
if((trans=='n'?a.ncols():a.nrows())!= (SPMatindex)x.size()) laerror("incompatible sizes in gemv"); if((tolower(trans)=='n'?a.ncols():a.nrows())!= (SPMatindex)x.size()) laerror("incompatible sizes in gemv");
#ifdef DEBUG
if((tolower(trans)=='n'?a.nrows():a.ncols())!= (SPMatindex)nn) laerror("incompatible result vector in gemv");
#endif
copyonwrite(); copyonwrite();
if(beta!=(T)0) {if(beta!=(T)1) (*this) *= beta;} if(beta!=(T)0) {if(beta!=(T)1) (*this) *= beta;}
else memset(v,0,nn*sizeof(T)); else memset(v,0,nn*sizeof(T));
@@ -1061,8 +1070,7 @@ if(list && rhs.list) //both nonzero
register SPMatindex rb=0,cb=0; register SPMatindex rb=0,cb=0;
ra=rowsorted[i]->row; ra=rowsorted[i]->row;
ca=rowsorted[i]->col; ca=rowsorted[i]->col;
while(j<nb && (rb=rhs.rowsorted[j]->row) <ra) j++; /*skip in rhs*/ while(j<nb && ((rb=rhs.rowsorted[j]->row)<ra || (rb==ra && (cb=rhs.rowsorted[j]->col)<ca))) j++; /*skip in rhs, lexicographically by (row,col)*/
while(j<nb && (cb=rhs.rowsorted[j]->col) <ca) j++; /*skip in rhs*/
if(j==nb) break; //we can exit the i-loop, no suitable element in b any more if(j==nb) break; //we can exit the i-loop, no suitable element in b any more
if(ra==rb&&ca==cb) if(ra==rb&&ca==cb)
@@ -1089,6 +1097,7 @@ void SparseMat<T>::permuterows(const NRVec<SPMatindex> &p)
if((SPMatindex)p.size()!=nn) laerror("inconsistent dimension in permuterows"); if((SPMatindex)p.size()!=nn) laerror("inconsistent dimension in permuterows");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
@@ -1107,6 +1116,7 @@ void SparseMat<T>::permutecolumns(const NRVec<SPMatindex> &p)
if((SPMatindex)p.size()!=mm) laerror("inconsistent dimension in permuterows"); if((SPMatindex)p.size()!=mm) laerror("inconsistent dimension in permuterows");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
@@ -1124,6 +1134,7 @@ void SparseMat<T>::permuteindices(const NRVec<SPMatindex> &p)
if((SPMatindex)p.size()!=nn||(SPMatindex)p.size()!=mm) laerror("inconsistent dimension in permuterows"); if((SPMatindex)p.size()!=nn||(SPMatindex)p.size()!=mm) laerror("inconsistent dimension in permuterows");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
@@ -1136,23 +1147,25 @@ while(l)
} }
//these assume both matrix and permutation indexed from 1 //matrix indices from 0, NRPerm indexed from 1
template<class T> template<class T>
void SparseMat<T>::permuteme_rows(const NRPerm<int> &p, const bool inverse) void SparseMat<T>::permuteme_rows(const NRPerm<int> &p, const bool inverse)
{ {
if((SPMatindex)p.size()!=nn) laerror("inconsistent dimension in permuteme_rows"); if((SPMatindex)p.size()!=nn) laerror("inconsistent dimension in permuteme_rows");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
NRPerm<int> pp; NRPerm<int> pinv;
if(inverse) pp=p.inverse(); else pp=p; if(inverse) pinv=p.inverse();
const NRPerm<int> &pp= inverse?pinv:p; //const access, no copy
while(l) while(l)
{ {
l->row = (SPMatindex) pp[(int)l->row]; l->row = (SPMatindex) pp[(int)l->row+1]-1; //matrix indices from 0, permutation from 1
if(symmetric) l->col= (SPMatindex) pp[(int)l->col]; if(symmetric) l->col= (SPMatindex) pp[(int)l->col+1]-1;
l=l->next; l=l->next;
} }
} }
@@ -1160,19 +1173,21 @@ while(l)
template<class T> template<class T>
void SparseMat<T>::permuteme_cols(const NRPerm<int> &p, const bool inverse) void SparseMat<T>::permuteme_cols(const NRPerm<int> &p, const bool inverse)
{ {
if((SPMatindex)p.size()!=nn) laerror("inconsistent dimension in permuteme_cols"); if((SPMatindex)p.size()!=mm) laerror("inconsistent dimension in permuteme_cols");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
NRPerm<int> pp; NRPerm<int> pinv;
if(inverse) pp=p.inverse(); else pp=p; if(inverse) pinv=p.inverse();
const NRPerm<int> &pp= inverse?pinv:p; //const access, no copy
while(l) while(l)
{ {
l->col = (SPMatindex) pp[(int)l->col]; l->col = (SPMatindex) pp[(int)l->col+1]-1; //matrix indices from 0, permutation from 1
if(symmetric) l->row= (SPMatindex) pp[(int)l->row]; if(symmetric) l->row= (SPMatindex) pp[(int)l->row+1]-1;
l=l->next; l=l->next;
} }
} }
@@ -1183,17 +1198,19 @@ void SparseMat<T>::permuteme_both(const NRPerm<int> &p, const NRPerm<int> &q, co
if((SPMatindex)p.size()!=nn || (SPMatindex)q.size()!=mm) laerror("inconsistent dimension in permuteme_both"); if((SPMatindex)p.size()!=nn || (SPMatindex)q.size()!=mm) laerror("inconsistent dimension in permuteme_both");
copyonwrite(); copyonwrite();
unsort(); //indices change, sorted arrays are obsolete
matel<T> *l=list; matel<T> *l=list;
NRPerm<int> pp, qq; NRPerm<int> pinv, qinv;
if(inverse) pp=p.inverse(); else pp=p; if(inverse) {pinv=p.inverse(); qinv=q.inverse();}
if(inverse) qq=q.inverse(); else qq=q; const NRPerm<int> &pp= inverse?pinv:p; //const access, no copy
const NRPerm<int> &qq= inverse?qinv:q;
while(l) while(l)
{ {
l->row= (SPMatindex) pp[(int)l->row]; l->row= (SPMatindex) pp[(int)l->row+1]-1; //matrix indices from 0, permutation from 1
l->col= (SPMatindex) qq[(int)l->col]; l->col= (SPMatindex) qq[(int)l->col+1]-1;
l=l->next; l=l->next;
} }
} }
@@ -1249,6 +1266,9 @@ SPMatindex k(transa=='n'?a.mm:a.nn);
SPMatindex kk(transb=='n'?b.nn:b.mm); SPMatindex kk(transb=='n'?b.nn:b.mm);
SPMatindex ll(transb=='n'?b.mm:b.nn); SPMatindex ll(transb=='n'?b.mm:b.nn);
if(a.symmetric||b.symmetric) laerror("symmetric sparse matrices not supported in gemm"); if(a.symmetric||b.symmetric) laerror("symmetric sparse matrices not supported in gemm");
#ifdef DEBUG
if(&a==this || &b==this) laerror("gemm: a or b must not be the result matrix itself");
#endif
if(beta==(T)0) resize(l,ll); //empty matrix if(beta==(T)0) resize(l,ll); //empty matrix
else *this *= beta; //takes care about beta=1 else *this *= beta; //takes care about beta=1
@@ -1322,7 +1342,7 @@ SPMatindex m0=mm;
T tmp; T tmp;
incsize(rhs.nrows(), rhs.ncols()); incsize(rhs.nrows(), rhs.ncols());
for(SPMatindex i=0; i<(SPMatindex)rhs.nrows(); ++i) for(SPMatindex i=0; i<(SPMatindex)rhs.nrows(); ++i)
for(SPMatindex j=0; j<(SPMatindex)rhs.ncols(); ++j) for(SPMatindex j=0; j<=i; ++j) //symmetric storage: one triangle only
if(std::abs(tmp=rhs(i,j))>SPARSEEPSILON) add(n0+i,m0+j,tmp); if(std::abs(tmp=rhs(i,j))>SPARSEEPSILON) add(n0+i,m0+j,tmp);
return *this; return *this;
} }
+29 -6
View File
@@ -128,9 +128,9 @@ public:
void permuteindices(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0 void permuteindices(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0
void permuterows(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0 void permuterows(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0
void permutecolumns(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0 void permutecolumns(const NRVec<SPMatindex> &p); //for backward compatibility, indices from 0
void permuteme_rows(const NRPerm<int> &p, const bool inverse=false); //indexed from 1 void permuteme_rows(const NRPerm<int> &p, const bool inverse=false); //matrix indices from 0, permutation from 1
void permuteme_cols(const NRPerm<int> &p, const bool inverse=false); //indexed from 1 void permuteme_cols(const NRPerm<int> &p, const bool inverse=false); //matrix indices from 0, permutation from 1
void permuteme_both(const NRPerm<int> &p, const NRPerm<int> &q, const bool inverse=false); //indexed from 1 void permuteme_both(const NRPerm<int> &p, const NRPerm<int> &q, const bool inverse=false); //matrix indices from 0, permutation from 1
const SparseMat permuted_rows(const NRPerm<int> &p, const bool inverse=false) const {SparseMat a(*this); a.permuteme_rows(p,inverse); return a;}; const SparseMat permuted_rows(const NRPerm<int> &p, const bool inverse=false) const {SparseMat a(*this); a.permuteme_rows(p,inverse); return a;};
const SparseMat permuted_cols(const NRPerm<int> &p, const bool inverse=false) const {SparseMat a(*this); a.permuteme_cols(p,inverse); return a;}; const SparseMat permuted_cols(const NRPerm<int> &p, const bool inverse=false) const {SparseMat a(*this); a.permuteme_cols(p,inverse); return a;};
const SparseMat permuted_both(const NRPerm<int> &p, const NRPerm<int> &q, const bool inverse=false) const {SparseMat a(*this); a.permuteme_both(p,q,inverse); return a;}; const SparseMat permuted_both(const NRPerm<int> &p, const NRPerm<int> &q, const bool inverse=false) const {SparseMat a(*this); a.permuteme_both(p,q,inverse); return a;};
@@ -140,12 +140,12 @@ public:
inline bool issymmetric() const {return symmetric;} inline bool issymmetric() const {return symmetric;}
unsigned int length() const; unsigned int length() const;
void copyonwrite(bool detachonly=false, bool deep=true); void copyonwrite(bool detachonly=false, bool deep=true);
void clear() {copyonwrite(LA_traits<T>::is_plaindata()); if(count) {delete count; count=NULL;}} void clear() {bool sym=symmetric; resize(nn,mm); symmetric=sym;} //zero matrix of the same dimensions and symmetry
void simplify(const double sparseepsilon=SPARSEEPSILON); void simplify(const double sparseepsilon=SPARSEEPSILON);
const T trace() const; const T trace() const;
const typename LA_traits<T>::normtype norm(const T scalar=(T)0) const; //is const only mathematically, not in internal implementation - we have to simplify first const typename LA_traits<T>::normtype norm(const T scalar=(T)0) const; //is const only mathematically, not in internal implementation - we have to simplify first
unsigned int sort(int type) const; unsigned int sort(int type) const;
inline void add(const SPMatindex n, const SPMatindex m, const T elem) {matel<T> *ltmp= new matel<T>; ltmp->next=list; list=ltmp; list->row=n; list->col=m; list->elem=elem;} inline void add(const SPMatindex n, const SPMatindex m, const T elem) {if(nonzero) unsort(); matel<T> *ltmp= new matel<T>; ltmp->next=list; list=ltmp; list->row=n; list->col=m; list->elem=elem;}
void addsafe(const SPMatindex n, const SPMatindex m, const T elem); void addsafe(const SPMatindex n, const SPMatindex m, const T elem);
void swap(SparseMat &rhs) //more efficient swap than via tmp and constructors and operator= void swap(SparseMat &rhs) //more efficient swap than via tmp and constructors and operator=
{ {
@@ -305,6 +305,7 @@ template<typename T>
NRMat<T> & NRMat<T>::operator+=(const SparseMat<T> &rhs) NRMat<T> & NRMat<T>::operator+=(const SparseMat<T> &rhs)
{ {
if((unsigned int)nn!=rhs.nrows()||(unsigned int)mm!=rhs.ncols()) laerror("incompatible matrices in +="); if((unsigned int)nn!=rhs.nrows()||(unsigned int)mm!=rhs.ncols()) laerror("incompatible matrices in +=");
copyonwrite();
matel<T> *l=rhs.getlist(); matel<T> *l=rhs.getlist();
bool sym=rhs.issymmetric(); bool sym=rhs.issymmetric();
while(l) while(l)
@@ -321,6 +322,28 @@ while(l)
return *this; return *this;
} }
//subtract sparse from dense
template<typename T>
NRMat<T> & NRMat<T>::operator-=(const SparseMat<T> &rhs)
{
if((unsigned int)nn!=rhs.nrows()||(unsigned int)mm!=rhs.ncols()) laerror("incompatible matrices in -=");
copyonwrite();
matel<T> *l=rhs.getlist();
bool sym=rhs.issymmetric();
while(l)
{
#ifdef MATPTR
v[l->row][l->col] -=l->elem;
if(sym && l->row!=l->col) v[l->col][l->row] -=l->elem;
#else
v[l->row*mm+l->col] -=l->elem;
if(sym && l->row!=l->col) v[l->col*mm+l->row] -=l->elem;
#endif
l=l->next;
}
return *this;
}
//a rudimentary class for sparse matrix with a dense diagonal - implemented just enough to call davidson etc. on it //a rudimentary class for sparse matrix with a dense diagonal - implemented just enough to call davidson etc. on it
template <typename T> template <typename T>
@@ -350,7 +373,7 @@ public:
if(diagonal.size()>0) //we ASSUME the diagonal is ONLY in the vector if(diagonal.size()>0) //we ASSUME the diagonal is ONLY in the vector
{ {
if(diagonal.size()!=x.size()) laerror("mismatch in diagonal size"); if(diagonal.size()!=x.size()) laerror("mismatch in diagonal size");
if(divide) {x.copyonwrite(); for (int i=1; i<x.size(); ++i) x[i]/=diagonal[i]; return NULL;} if(divide) {x.copyonwrite(); for (int i=0; i<x.size(); ++i) x[i]/=diagonal[i]; return NULL;}
else {x|=diagonal; return &x[0];} else {x|=diagonal; return &x[0];}
} }
return offdiagonal.diagonalof(x,divide,cache); return offdiagonal.diagonalof(x,divide,cache);