|
|
|
last edited 18 years ago |
| 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
(1) -> factors 5
| (1) |
but
factors sin x
| (2) |
Martin
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:
unit((sin x)::FR EXPR INT)
| (3) |
Martin