构造向量场[#100]
x、y、z是独立坐标,a是常数参数。三个Semantic分量按空间顺序组成向量v。这里Formula reader只负责sin(z)这个方便的短写;其结果仍是Semantic值。
term: (components (^ (var x) (num "2")) (+ (var y) (var a)) (sin (var z)))nspace requirement: ((space (var x) (var y) (var z)))
math命令用当前布局把向量渲染为列;term保留components的三个标量表达式;requirement记住它所依赖的Cartesian空间。声明没有自动进入所有计算,所以仍要显式传入事实。