>>>>> "M" == Minimiscience  <minimiscie...@gmail.com> writes:

M> Assuming that the last line should be "A ≥ B if a₁ > b₁ ...",

Indeed, yes.  Is there a worse off-by-one typo than '<' vs '>'?

M> this is called lexicographic ordering,

Oh.  Yes.  Of course.  Obviosuly.  I should have noticed that and do not
know why I missed it.  [SIGH].  I guess I must think of lex ordering
mostly when thinking of /real/ polynomials....  How narrow-minded. ☺

M> Specifically, because -1 is a square in ℂ, ℂ being an ordered field
M> would require that -1 > 0, which leads to a contradiction.

James Cloos <cl...@jhcloos.com>         OpenPGP: 1024D/ED7DAEA6

Reply via email to