fieldname1 http://www.openmath.org/cd/fieldname1.ocd 2006-06-01 2004-06-01 1 1 experimental A CD of functions for basic constructions in field theory. Written by Arjeh M. Cohen 2004-02-25 C This is a symbol representing the field of complex numbers. The field of complex numbers is (C, +,0,-,*,1,/), where +,-,*,/ are the standard arithmetic operations. 0 1 R This is a symbol representing the field of real numbers. The field of real numbers is (R, +,0,-,*,1,/), where +,-,*,/ are the standard arithmetic operations. 0 1 Q This is a symbol representing the field of rational numbers. The field of rational numbers is (Q, +,0,-,*,1,/), where +,-,*,/ are the standard arithmetic operations. 0 1 The carrier set of this field is the set of rational numbers. 0 1 1