一次查询得到所有规则元数据[#119]

共查询到78条规则。每一行依次含有名称、类别、适用模式以及可选说明：

((curl-curl-identity vector-calculus (forward backward check) "Replace the curl of a curl by the gradient of the divergence minus the vector Laplacian. The field must be C2; declaring it divergence-free is a separate premise and a separate rewrite.") (divergence-free vector-calculus (forward backward check) #f) (div-curl-zero vector-calculus (forward backward check) #f) (curl-grad-zero vector-calculus (forward backward check) #f))

这个format仅把前四个关系结果转成可读Scheme数据供本页展示；它不参与规则执行。完整规则名称会由下面的查询渲染。