TagSetDelayed
可用
Defines a delayed upvalue assignment associated with a tag symbol. The
f /: lhs := rhs
TagSetDelayed[g, f[g[x_]], 1 + 2]; f[g[5]]
→ 3mytag /: mytag[a_] + mytag[b_] := mytag[a + b]; mytag /: i_Integer mytag[a_] := mytag[a i]; mytag[3] - mytag[3]
→ mytag[0]mytag /: i_Integer mytag[a_] := mytag[a i]; -mytag[3]
→ mytag[-3]q /: q[a_] q[b_] := q[a b]; q /: q[a_]^n_Integer := q[a^n]; q[6] / q[3]
→ q[2]m /: m[a_, n_] + m[b_, n_] := m[Mod[a + b, n], n]; m /: c_Integer m[a_, n_] := m[Mod[c a, n], n]; m[3, 7] - m[6, 7]
→ m[4, 7] 全部 6300 个函数 ·
从 MCP 客户端使用