|
|
|
last edited 10 years ago by test1 |
| 1 2 | ||
|
Editor: test1
Time: 2015/01/03 16:25:14 GMT+0 |
||
| Note: | ||
added:
From test1 Sat Jan 3 16:25:14 +0000 2015
From: test1
Date: Sat, 03 Jan 2015 16:25:14 +0000
Subject:
Message-ID: <20150103162514+0000@axiom-wiki.newsynthesis.org>
Status: open => closed
As stated in the documentation, PolynomialFactorizationExplicit (PFECAT) is not implemented yet. Unfortunately, this has as consequence that things like
(1) -> 2::FR COMPLEX INT
| (1) |
do not work, although
factor(2::COMPLEX INT)
| (2) |
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.