wolfram-mathematica - Mathematica 7 是否支持惰性求值？

Question

假设我有一个矩阵列表保存在变量 G 中。并应用以下操作:

top[g_] = Minors[g]
Diagonal[top /@ G] 

Minors返回一个矩阵，其中每个元素都是删除 (i,j) 行/列的行列式，并且 Diagonal返回矩阵的对角元素列表。

我的问题是对这些命令的评估 - 显然我不希望评估所有条目。 Mathematica 是否懒惰，首先解析 Diagonal 仅从 Minors 中提取所需的元素，或者是构造了次要矩阵，然后取出其对角线元素？

这是惰性求值的一般性问题，但是作为 Mathematica 的新手，我将不胜感激有关如何改进特定问题的语法的任何提示。

Answer 1

你可以通过自己建立对角未成年人名单然后申请Det来解决这个问题。 , 对于矩阵 M :

Map[Det,Drop[Transpose[Drop[M,{#}]],{#}]& /@ Range[1,Dimensions[M][[1]]]]

这有点麻烦，但它比使用 Mathematica 的内置 Minors 快约 50 倍。并只挑选对角线元素(在 100x100 随机矩阵上测试)。