Documentation contents

atlas Library · Script File

sparse.at

multiplication of a square integer matrix times
a square sparse matrix on the right
Source
atlas-scripts/sparse.at (31 lines)
Definitions
6
Loads
Loaded by
W_reps.at

Definitions in source order

sparse_column, sparse_mat type

L7
set_type [ sparse_column = [(int,int)], sparse_mat=[sparse_column] ]
S is given by a list of columns, each a list of row number-coefficient pairs

sparse

L9sparse(mat M) = sparse_mat

unsparse

L12unsparse(sparse_mat S, int height) = mat

*

L16* (mat M, sparse_mat S) = mat
multiply matrix * sparse_mat on the right

also in this file at line 31; also defined in basic.at, extParamPol.at, complex.at, modules.at, hodge_tensor.at, tits_centralizer.at, stable.at, synthetic.at, Weylgroup.at, group_operations.at, ratmat.at, tits.at, twisted_root_datum.at, cyclotomic.at, polynomial.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at, hodge_functions.at, lazy_lists.at

^

L23^(sparse_mat S,int height)
transpose of a sparse_mat, requires specifying height

also defined in basic.at, ratmat.at, tits.at, cyclotomic.at, polynomial.at, lazy_lists.at

*

L31*(sparse_mat S,mat M) = mat
sparse_mat * mat: (S*M)=^(^M* ^S);  for computing ^S use height=#M

also in this file at line 16; also defined in basic.at, extParamPol.at, complex.at, modules.at, hodge_tensor.at, tits_centralizer.at, stable.at, synthetic.at, Weylgroup.at, group_operations.at, ratmat.at, tits.at, twisted_root_datum.at, cyclotomic.at, polynomial.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at, hodge_functions.at, lazy_lists.at

Generated from atlas-scripts at commit 648506c (2026-10-13).