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

Submitted by : (unknown) at: 2007-11-17T22:31:50-08:00 (9 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




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: