remark. 实现范围[#112]

当前支持精确多项式、参数系数和有限的Cartesian Poisson子集。一般函数积分、边值问题、其他PDE、数值近似与一般矩阵代数需要其他IR和算法；它们不属于这个pass。