Changes http://wiki.axiom-developer.org/354ComplexRIsNotNecessarilyAFieldWhenRIsAField/diff -- Meanwhile I noticed that for a finite field 'F' of characteristic greater than two, $x^2+1$ seems to be irreducible if and only if the size of the field is congruent three modulo four. A colleague of mine said that good algorithms should exist for most interesting fields, and can probably be found in von zur Ganthen.
However, in SPAD we currently cannot use that knowledge: conditions for exports must be of the form 'D has C' or 'D1 is D2'. It doesn't seem to be possible to call a function. Hopefully this can be changed soon. Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
