On Wed, Apr 10, 2019 at 5:28 PM rjf <[email protected]> wrote: > > > I suppose this is a Sage bug; Maxima doesn't have a problem with > its factor program. >
Indeed. sage: ex=exp(2*x)+exp(-2*x); ex e^(2*x) + e^(-2*x) sage: maxima(ex).factor().sage() (e^(4*x) + 1)*e^(-2*x) sage: bool(maxima(ex).factor().sage()==ex) True > As you know, polynomial "factoring" is a process that mathematically > is defined in a unique factorization domain, which is broken in the > example at least 2 ways, by have a denominator, and by having > exponentials. for example, e^x-1 factors many ways, one being > (e^(x/2)-1)*(e^(x/2)+1). > Withstanding, I expect factor(x) == x to always be true. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
