Changes http://wiki.axiom-developer.org/354ComplexRIsNotNecessarilyAFieldWhenRIsAField/diff -- Meanwhile I noted that for finite fields 'F' of characteristic greater than 2, $x^2-1$ is irreducible if and only if 'size()$F rem 4 = 1'. A colleague of mine said that for most 'F' suitable algorithms to decide the irreducibility should exist and can probably found in von zur Ganthen.
Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
