linalg1p http://www.math.kobe-u.ac.jp/OCD/linalg1p.tfb 2003-07-30 experimental 2002-07-30 1 0 arith1 linalg1 linalg4 linalg5 relation1 set1 This CD defines symbols for linear algebra used for hypergeon1 (hypergeometric series of n variables). plus_part The argument is a vector. It replaces negative elements in the vector to zero. minus_part The argument is a vector. It replaces positive elements in the vector to zero and negative elements to their absolute values. $u = u_{+} - u_{-}$ u ~relation1.eq~ (linalg1p.plus_part(u) ~arith1.sub~ linalg1p.minus_part(u)); ones It returns a vector of a specifed size of which elements are one. 1-ary function. for all $i$, ${\vec 1}[i] = 1$ kernel It returns the kernel of the map defined by a matrix in a specified domain. $\{ x \in D | A x = 0 \}$ linalg1p.kernel(d,a) ~relation1.eq~ set1.suchthat(d, OMLBIND( OMBVAR(x), (a ~arith1.times~ x) ~relation1.eq~ linalg5.zero(linalg4.size(x),1))); arith1.times is relavant for the matrix multiplication?