help links subscribe changes refresh edit

	IssueTracker
#351 interpreter crash factoring 1+2%i in COMPLEX PF 5 ←	↑	→ #353 case sensitive file names

#352 'PFECAT' is not implemented yet

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

	1 2
Editor: Time: 2007/11/17 22:31:50 GMT-8
Note: Precision

changed:
-
As stated in the documentation, 'PolynomialFactorizationExplicit (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.

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.