熟悉代数几何、代数数论和交换代数的人都知道，需要输入很长的命令才能获得特殊符号。例如，指定基域和扩展域的范数和迹。我想知道是否有专门为代数（尤其是代数几何、代数数论和交换代数）制作的软件包。
任何帮助都将不胜感激。提前致谢！
是否有针对代数几何、代数数论和交换代数的专用软件包？
熟悉代数几何、代数数论和交换代数的人都知道，需要输入很长的命令才能获得特殊符号。例如，指定基域和扩展域的范数和迹。我想知道是否有专门为代数（尤其是代数几何、代数数论和交换代数）制作的软件包。
任何帮助都将不胜感激。提前致谢！