basis for a subspace:
A basis for a subspace W is a set of vectors v1_, ...,_vk in W such that:
-
v1_, ...,_ vk are [linearly independent](#linearly independent); and
-
v1_, ...,_ vk span W.
| function scpinto() { | |
| local server args rdir="/" ldir="/tmp/" | |
| local options="reconnect,local,allow_other,defer_permissions" | |
| while (( $# > 0 )); do | |
| case "$1" in | |
| -o) options+="-o $1"; shift ;; | |
| -*) args+="$1 " ;; | |
| *) [ "${server}" ] && args+="$1 " || server="$1" ;; | |
| esac; shift | |
| done |
| function skellet() { | |
| root=/root | |
| skel=/etc/skel | |
| linkages=".bash_profile .bashrc .inputrc .vimrc" | |
| for e in ${linkages}; do | |
| until ln -s "${root}/$e" "${skel}/$e"; do | |
| rm "${skel}/$e" | |
| done | |
| chmod 777 "${root}/$e" | |
| done |
| function otf2psf() { | |
| local res=72 fontsize=16 cpos=256 avgwid=80 | |
| for fontloc in "$@"; do | |
| local fontname="$(basename -- "${fontloc}" .otf)" | |
| otf2bdf -r ${res} -p ${fontsize} ${fontloc} | sed -e "s/AVERAGE_WIDTH.*/AVERAGE_WIDTH ${avgwid}/" > ${fontname}.bdf | |
| bdf2psf --fb ${fontname}.bdf /usr/share/bdf2psf/standard.equivalents /usr/share/bdf2psf/required.set+/usr/share/bdf2psf/useful.set ${cpos} ${fontname}.psf | |
| done | |
| } |
| els = document.getElementsByTagName('pre'); | |
| for (var i = 0; i < els.length; i++) { | |
| els[i].style.whiteSpace = 'pre-wrap' | |
| } |
| sudo dd if=bionicpup64-8.0-uefi.iso of=/dev/rdisk2 bs=$((512*2048*32)) |
| while true; do | |
| printf "\ry " | |
| i=0 | |
| while (( i++ <= 20 )); do | |
| printf '\b' | |
| sleep 0.1 | |
| printf "et" | |
| done | |
| printf "\r " | |
| done |
| function rand() { | |
| grep -m1 -ao '[0-9]' /dev/urandom | sed s/$1/$2/ | head -n1 | |
| } |
| #!/bin/bash | |
| devtoolset='devtoolset-8' | |
| yum install centos-release-scl -y | |
| yum install ${devtoolset} -y | |
| echo "source scl_source enable ${devtoolset}" > ~/.bashrc |