注:向量(vector)、映射(zip)、直线(line)、序列(sequence)、交点(intersect)、元素(element)、长度(length)。
映射( <表达式>, <变量1>, <列表1>, <变量2>, <列表2>)
序列( <表达式>, <变量>, <起始值>, <终止值> )
由此,即可得:
▪ 如何理解:l3 = 映射(直线(P, Q), P, l1', Q, l2)?
理解请见下图:
▪ 如何理解:l4 = 序列(交点(元素(l3, k), f), k, 1, 长度(l3))?
理解请见下图: