>>>>> "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. -JimC -- James Cloos <cl...@jhcloos.com> OpenPGP: 1024D/ED7DAEA6