MathAction #384 factors returns nonsense for EXPR INT

Topics

FrontPage
- IssueTracker
  - #384 factors returns nonsense for EXPR INT <-- You are here.

axiom

factors 5

$\label{eq1}\left[{\left[{factor = 5}, \:{exponent = 1}\right]}\right]$

(1)

Type: List(Record(factor: Integer,exponent: Integer))

but

axiom

factors sin x

$\label{eq2}\left[ \right]$

(2)

Type: List(Record(factor: Expression(Integer),exponent: Integer))

Martin

did not read the doc carefully --kratt6, Thu, 11 Oct 2007 13:24:42 -0500 reply

Status: open => closed

read the docs --kratt6, Thu, 11 Oct 2007 13:27:35 -0500 reply

The documentation says: factors gives the list of factors, except for the unit, which can be recovered using unit. Since EXPR INT is a field, everything non-zero is a unit:

axiom

unit((sin x)::FR EXPR INT)

$\label{eq3}\sin \left({x}\right)$

(3)

Type: Expression(Integer)

Martin

Subject: Be Bold !!

	( 14 subscribers )