#272 functions +-> and blocks of instructions ← ↑ → #274 Can't get a parameter in an anonymous function

#273 Factor Expression Integer does nothing
last edited 17 years ago by kratt6

Edit detail for #273 Factor Expression Integer does nothing revision 2 of 2

1 2

Editor: kratt6
Time: 2007年12月28日 14:56:30 GMT-8

Note:

added:
From kratt6 Fri Dec 28 14:56:30 -0800 2007
From: kratt6
Date: 2007年12月28日 14:56:30 -0800
Subject: 
Message-ID: <20071228145630-0800@axiom-wiki.newsynthesis.org>
Category: Axiom Mathematics => Axiom Library

fricas (1) -> factor ((y-1) * x + y - 1)

is right

\label{eq1}{\left(x + 1 \right)}\ {\left(y - 1 \right)} (1)

Type: Factored(Polynomial(Integer))

fricas

factor ((y-1) * sin x + y - 1) -- does nothing

\label{eq2}{{\left(y - 1 \right)}\ {\sin \left({x}\right)}}+ y - 1 (2)

Type: Factored(Expression(Integer))

(new) --Martin Rubey, 2006年3月04日 12:56:00 -0600 reply

This is "obvious" since EXPR is a field...

Martin

status change --greg, 2006年4月02日 13:09:15 -0500 reply

I think we can close this issue. Are you agree ?

well documented and more or less mathematically sound --kratt6, 2006年4月03日 05:01:02 -0500 reply

Status: open => closed

For others who may find this --daniel, 2007年1月08日 20:21:34 -0600 reply

While this is "mathematically sound", it can be very frustrating to new users of Axiom. Is this behavior explained in a FAQ somewhere? Maybe something should be added to section 8.2 of the 30-year book?

To get what the OP wanted, recast the problem as a Polynomial:
f:=(y-1)*sin(x)+y-1 -- original function
g:=subst(f, sin(x)=sx)::Polynomial Integer -- remove the nonlinear operators, then recast
h:=factor(g) -- yields (sx + 1)(y - 1)

Unfortunately, any conversion of h from a "Factored Polynomial Integer" to a "Factored Expression Integer" will destroy the factorization.

... --kratt6, 2007年12月28日 14:56:30 -0800 reply

Category: Axiom Mathematics => Axiom Library