void fill(SXMatrix& mat, const SX& val){ if(val->isZero()) mat.makeEmpty(mat.size1(),mat.size2()); else mat.makeDense(mat.size1(),mat.size2(),val); }