help links subscribe changes refresh edit

	IssueTracker
#381 silver axiom file missing during install ←	↑	→ #385 useful function not exported

#384 factors returns nonsense for EXPR INT

Edit detail for #384 factors returns nonsense for EXPR INT revision 1 of 1

	1
Editor: Time: 2007/11/17 22:35:39 GMT-8
Note: read the docs

changed:
-
\begin{axiom}
factors 5
\end{axiom}

but

\begin{axiom}
factors sin x
\end{axiom}

Martin



From kratt6 Thu Oct 11 13:24:42 -0500 2007
From: kratt6
Date: Thu, 11 Oct 2007 13:24:42 -0500
Subject: did not read the doc carefully
Message-ID: <20071011132442-0500@wiki.axiom-developer.org>

Status: open => closed 


From kratt6 Thu Oct 11 13:27:35 -0500 2007
From: kratt6
Date: Thu, 11 Oct 2007 13:27:35 -0500
Subject: read the docs
Message-ID: <20071011132735-0500@wiki.axiom-developer.org>

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:

\begin{axiom}
unit((sin x)::FR EXPR INT)
\end{axiom}

Martin

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