atlas Library · Script File
sparse.at
multiplication of a square integer matrix times a square sparse matrix on the right
Definitions in source order
sparse_column, sparse_mat type
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
sparse(mat M) = sparse_matunsparse
unsparse(sparse_mat S, int height) = mat*
* (mat M, sparse_mat S) = matmultiply 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
^
^(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
*
*(sparse_mat S,mat M) = matsparse_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).