金纳克

GiNaC是一个C++库。它被设计成允许在同一屋檐下创建集成系统，将符号操作与更成熟的计算机科学领域（如计算密集型的数字应用、图形界面等）结合在一起。它是根据GNU通用公共许可证（GPL）的条款和条件分发的。GiNaC是一个迭代和递归的首字母缩写，GiNaC不是CAS，CAS代表计算机代数系统。它已经被专门开发成为xloops的替代引擎，目前该引擎由Maple CAS提供动力。然而，它并不局限于高能物理应用。它的设计是革命性的，与其他ca相反，它不尝试提供广泛的代数功能和简单的编程语言，而是接受给定的语言（C++），并通过一组代数功能对其进行扩展。困惑？请随意阅读这篇文章，它详细描述了吉纳克背后的哲学。它还讨论了一些设计原则和效率问题，尽管一些实现细节在编写之后已经发生了变化。