Computation on field extension pankajsejwal ยท Fri May 13, 2016 10:14 am If I need to prove that Q(Sqrt(2)) == Q+Q(Sqrt(2)).How can I do this using Singular?