如果我正确理解,我们可以将归纳数据类型建模为初始F-代数,将共归纳数据类型建模为最终F-余代数(对于适当的内切函数F) []。我知道,根据Lambek引理,初始代数(和最终余代数)是同构T ≅ F T的不动点解,但我不明白为什么初始代数是最小不动点,而最终余代数是最大不动点。(显然,同构T ≅ F T有一个解决方案吗?)
在Sage中,我有一些具有有理系数的多项式,我想对这些系数应用同余,例如,应该将(1 + 7/2 x, 3)发送到1 + 1/2 x mod 3。我用Python编写了该函数的代码,但我无法将其“翻译”为Sage脚本。以下是Python代码: if k == 0:
print("Error in modPoly(c, k).