MathAction #352 'PFECAT' is not implemented yet

Topics

FrontPage
- IssueTracker
  - #352 'PFECAT' is not implemented yet <-- You are here.

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.

... --test1, Sat, 03 Jan 2015 16:25:14 +0000 reply

Status: open => closed

Subject: (replying) Be Bold !!

	( 14 subscribers )