example. 一个受限的Poisson求解器[#111]

Grove还能为三维欧氏Cartesian空间的多项式右侧f构造Δu=f的特解。空间和源项都是输入值：

方程Δu = y²的一个特解是 $\frac{1}{2}\times x^2\times y^2-\frac{1}{12}\times x^4$。

求解器采用明确规范：选定坐标上的值及一阶导数在坐标为零处锚定为零。它没有求边界条件，也不声称返回全体解。

Laplacian residual is zero: #t

这一步使用独立的Semantic等式核验接口检查解。构造器内部也会拒绝无法转为有限多项式IR的输入；例如sin(x)不会被错误地当成多项式。