Star ordered ring structures on ℚ
and ℚ≥0
#
This file shows that ℚ
and ℚ≥0
are StarOrderedRing
s. In particular, this means that every
nonnegative rational number is a sum of squares.
ℚ
and ℚ≥0
#This file shows that ℚ
and ℚ≥0
are StarOrderedRing
s. In particular, this means that every
nonnegative rational number is a sum of squares.