- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
默认情况下,如果我对两个 Blank
使用相同的名称,Mathematica 会抛出一条警告消息。和 BlankSequence
模式:
f[{x_, ___} | x__] := g[x]
Pattern::patv: Name x used for both fixed and variable length patterns. >>Pattern::patv: Name x used for both fixed and variable length patterns. >>
Yet the function works as I desire:
f[{1, 2, 3}]
f[1, 2, 3]
Off[Pattern::patv]
是否安全?并继续我请?
最佳答案
您的构造在技术上似乎没问题,但从概念上讲,这是混合变量绑定(bind)和模式匹配。换句话说,这依赖于模式匹配器的某些未记录的行为(这不一定是邪恶的,只是要注意)。更糟糕的是,这相当模糊。如果您确定几个月后您自己在更大的上下文中阅读本文不会有任何问题,并且您只为自己使用编写代码,那么我认为没有问题。顺便说一句,另一种选择(正如其他人已经建议的那样):f[{x_, ___}] := f[x]; f[x__] := g[x]
.此外,包装 Quiet
约SetDelayed
比 On/Off
更容易.
编辑
这是我根据@Mr.Wizard 的要求添加的对该问题的扩展 View 。免责声明是,这些只是推测,它们可能完全或部分错误。
变量绑定(bind)阶段是评估范围构造(例如 Module
, With
, Block
, Function
.由 RuleDelayed
形成的延迟规则也是作用域构造,从某种意义上说,模式变量对名称与其他作用域构造的冲突有一定的保护,而且变量绑定(bind)也在那里发生。变量绑定(bind)是将变量名与某个值关联的过程(通过规则的表达式解构获得)。对于像 Module
这样的范围结构, With
, Block
, Function
,我们可以很好地控制变量绑定(bind),因为我们可以覆盖这些结构的 Hold* 属性,写成 x=y;Function[Evaluate[x],y^2]
.对于规则,变量绑定(bind)发生在模式匹配器内部,并且不是可控的。通常,您不会过多考虑绑定(bind)是如何发生的,要么是因为没有歧义,要么是因为名称冲突解决语义在文档或其他地方有详细说明(例如,对于名称冲突有一个通用规则在嵌套的词法作用域结构中,内部绑定(bind)受到青睐)。
对于手头的情况,您受制于规则的变量绑定(bind)机制,以及它与模式匹配器交互的方式。关于模式的一个事实(不知道是否记录在案) - 匹配器是,当给定带有 Alternatives
的模式构建时,它会尝试从左到右进行匹配。 .从常识来看,我们应该期望变量绑定(bind)发生在匹配之后,因此您的构造很好。然而,这是在挖掘我们无法控制的内部结构。模式匹配器/绑定(bind)机制可能没有其他逻辑上一致的方式来表现,或者可能是其他方式。
正如我所说,这本身并不一定是坏事——如果我们有一个特性的经验证据,我们通常会依赖一些未记录的行为,而这个特性允许我们轻松地做一些不平凡的事情。我对这个结构的主要反对意见是它的晦涩难懂——它比使用两个单独规则的代码更难阅读(无论如何对我来说)。
关于wolfram-mathematica - 关闭 Pattern::patv 是否安全?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8374056/
我记得 WRI 的某个人在 official newsgroup 中说出于兼容性目的,Mathematica 7 仍然有一个来自 Mathematica 5 的老式 Mathematica 帮助浏览器
除非巫师先生在度假,否则很难击败这种似乎具有无所不在和无所不知的现象。我们如何使用 Mathematica 和 StackOverflow API 超越他? 最佳答案 这是 Sjoerd 解决方案的一
您好,我无法理解以下函数的输出。 ListPointPlot3D[Table[Sin[x^2 + y], {x, 0, 3, 0.15}, {y, 0, 3
我在图形中显示了一组点: alt text http://img69.imageshack.us/img69/874/plc1k1lrqynuyshgrdegvfy.jpg 我想知道是否有任何命令可以
让 S是具有唯一元素的向量,并且 s它的一个子集,也有独特的元素;例如,S={1,2,3,4,5,6}和 s={1,3,4,6} .现在给出另一个向量 c={7,8,9,7} ,如何创建矢量 C=[7
我想知道如果给定多个替换规则,mma 如何确定在发生碰撞时首先应用哪个规则。一个例子是: x^3 + x^2*s + x^3*s^2 + s x /. {x -> 0, x^_?OddQ -> 2}
在mathematica 中(我使用的是 mma 5.0(猜猜很老)),如果我将以下内容作为一行输入: Needs["Graphics`Master`"]; Animate[Plot[Sin[n x]
如果我有一个字母表,假设 sigma = {1,2,3,4,a,b,c,d,e,f,g} 并且想要生成所有长度为 n 的单词,有没有办法做到这一点? 我可以做 Flatten[Outer[Functi
生成参数列表的素数列表的最简单函数是什么?想出这样的函数并不难,比如: foo[n_] := Block[{A = {}, p = 2}, While[p All] 关于wol
在此示例中,将函数定义为“functionB”时,这是一个奇怪的结果。有人可以解释吗?我想绘制functionB[x]和functionB[Sqrt[x]],它们必须不同,但是此代码显示functio
如何在 Mathematica 中对列表进行数值微分而不先将其拟合为数学表达式(即使用 FindFit )? 具体来说,我想在列表中找到最大斜率的点。 我已经考虑使用 Differences并找到最大
我正在寻找 Mathematica 中原子对象的完整列表(其中 AtomQ 产生 True)。 我知道 Symbol String Integer Real Rational Complex Spar
最近发现了一些old post在 MathGroup 上使用未记录的命令行选项 -batchinput和 -batchoutput显示: If test.mma contains the follo
Mathematica 似乎缺少此功能,或者无论如何我都找不到它。 Series function 可以对多个变量进行连续扩展,但它似乎无法进行完整的多元扩展。 有谁知道如何做到这一点? 谢谢 最佳答
我有兴趣运行相同的函数,该函数以并行方式在多核上使用不同的参数值进行一些蒙特卡罗评估。我还想确保整个函数在同一个内核上运行,而函数内的计算不会跨内核分布。例如,假设我有一个函数(故意简化) f[a_,
我怎样才能从 Range[96] 中不重复地获得 48 个随机对的两个不同元素?即 96 个元素只使用一次。 当我尝试将元组/子集与 Select 结合使用时,我觉得必须有一种更直接的方法来实现这一点
我正在评估 Wolfram Mathematica 8 的大学类(class)项目。 我很难定义目标编程模型。 首先是因为我在数学方面真的很匮乏 :) 其次,因为我在 official documen
我开发了一些代码来从 LogNormalDistribution 和 StableDistribution 的乘积生成随机变量: LNStableRV[{\[Alpha]_, \[Beta]_, \[
我有一个想要优化的字符串验证函数。该字符串的长度为 2n,由 0 和 1 组成,例如 str="100001"。我想测试一下: 1) 字符串中奇数索引位置的 1 的数量(必须不少于 1)是否等于偶数索
请考虑: Function[subID, pointSO[subID] = RandomInteger[{1, 4}, {5, 2}]] /@ {"subA", "subB"}; M
我是一名优秀的程序员,十分优秀!