\( \DeclareMathOperator{\abs}{abs} \newcommand{\ensuremath}[1]{\mbox{$#1$}} \)
| (%i2) |
f1
:
[
sin
(
x3
)
,
cos
(
x3
)
,
0
]
;
f2 : [ 0 , 0 , 1 ] ; |
\[\operatorname{(f1) }\left[ \sin{\left( \ensuremath{\mathrm{x3}}\right) }\operatorname{,}\cos{\left( \ensuremath{\mathrm{x3}}\right) }\operatorname{,}0\right] \]
\[\operatorname{(f2) }\left[ 0\operatorname{,}0\operatorname{,}1\right] \]
| (%i3) | FT : matrix ( f1 , f2 ) ; |
\[\operatorname{(FT) }\begin{pmatrix}\sin{\left( \ensuremath{\mathrm{x3}}\right) } & \cos{\left( \ensuremath{\mathrm{x3}}\right) } & 0\\ 0 & 0 & 1\end{pmatrix}\]
| (%i4) | Ann : nullspace ( FT ) ; |
\[\]\[\mbox{Proviso:} \operatorname{notequal}\left( \sin{\left( \ensuremath{\mathrm{x3}}\right) }\operatorname{,}0\right) \ensuremath{\mathrm{ and }}\operatorname{notequal}\left( \sin{\left( \ensuremath{\mathrm{x3}}\right) }\operatorname{,}0\right) \]
\[\operatorname{(Ann) }\operatorname{span}\left( \begin{pmatrix}-\cos{\left( \ensuremath{\mathrm{x3}}\right) }\\ \sin{\left( \ensuremath{\mathrm{x3}}\right) }\\ 0\end{pmatrix}\right) \]
Created with wxMaxima.