在 SageMath 中，设 K 为一个字段
Let K be a field, in SageMath
我如何构建类似于 "Let K be a field" 命题开头的东西——某种未定义但确实具有任意字段属性的字段。
我看过这个 symbolic ring 文档页面，但我不确定是否可以构造一个具有 .is_field() == True 的符号环。
有人可以帮忙吗？我也有兴趣对让 G 成为一个群做同样的事情，或者如何处理更复杂的符号代数对象，比如让 P 成为 PID。
谢谢。
在 SageMath 中，通用字段由 sage.rings.ring.Field 表示（source/docs). Similarly, PIDs are represented in sage.rings.ring.PrincipalIdealDomain, and groups in sage.groups.group.Group。
我如何构建类似于 "Let K be a field" 命题开头的东西——某种未定义但确实具有任意字段属性的字段。
我看过这个 symbolic ring 文档页面，但我不确定是否可以构造一个具有 .is_field() == True 的符号环。
有人可以帮忙吗？我也有兴趣对让 G 成为一个群做同样的事情，或者如何处理更复杂的符号代数对象，比如让 P 成为 PID。
谢谢。
在 SageMath 中，通用字段由 sage.rings.ring.Field 表示（source/docs). Similarly, PIDs are represented in sage.rings.ring.PrincipalIdealDomain, and groups in sage.groups.group.Group。