-- -*- M2-comint -*- hash: 14036462355876789586

i1 : integers QQ

o1 = {1}

o1 : List

i2 : integers toField(QQ[i]/(i^2+1))

o2 = {1, i}

o2 : List

i3 : integers toField(QQ[a]/(a^2+3))

         1    1
o3 = {1, -a + -}
         2    2

o3 : List

i4 : discriminant toField(QQ[a]/(a^2+3))

o4 = -3

i5 : discriminant toField(QQ[a]/(a^4-a+2))

o5 = 2021

i6 : 
