KをSageMathのフィールドにします。

Question

"Kをフィールドにする"という命題の始まりに似た何かを構築するにはどうすればいいですか？定義されていないが、任意のフィールドプロパティ。

私はこのsymbolic ringのドキュメントページを見ましたが、.is_field（）== Trueのシンボリックリングを構築できるかどうかはわかりません。

誰かが助けることができますか？また、Gをグループとしたり、より複雑なシンボリックな代数的オブジェクト（PをPIDとするなど）に行く方法についても、同じことを行うことに興味があります。

ありがとうございました。

Answer 1

SageMathでは、一般的なフィールドはsage.rings.ring.Field（source/docs）で表されます。同様に、PIDはsage.rings.ring.PrincipalIdealDomainで表され、グループはsage.groups.group.Groupで表されます。