Changes http://wiki.axiom-developer.org/352PFECATIsNotImplementedYet/diff -- As stated in the documentation, 'PFECAT' is not implemented yet. Unfortunately, this has as consequence that things like \begin{axiom} 2::FR COMPLEX INT \end{axiom} do not work, although \begin{axiom} factor(2::COMPLEX INT) \end{axiom} does. I don't think that a lot is missing. For example, 'INT' has already most operations needed for 'PFECAT', and 'COMPLEX' is missing only very little, in particular 'squareFree'.
It's time to analyse the algebra, I believe. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
