login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #352 'PFECAT' is not implemented yet revision 2 of 2

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 


Submitted by : (unknown) at: 2007-11-17T22:31:50-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

As stated in the documentation, PolynomialFactorizationExplicit (PFECAT) is not implemented yet. Unfortunately, this has as consequence that things like

axiom
2::FR COMPLEX INT

\label{eq1}-{i \ {{\left(1 + i \right)}^2}}(1)
Type: Factored(Complex(Integer))

do not work, although

axiom
factor(2::COMPLEX INT)

\label{eq2}-{i \ {{\left(1 + i \right)}^2}}(2)
Type: Factored(Complex(Integer))

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.

Status: open => closed