On Wednesday, April 24, 2019 at 6:30:10 PM UTC-4, Samuel Lelievre wrote:
>
>
> Thu 2019-04-11 07:07:46 UTC+2, Ralf Stephan:
>>
>> Probably best to revert #23835 then, if you insist on the blocker
>> assessment.
>> https://trac.sagemath.org/ticket/23835
>>
>
> Is there no hope for a fix in Pynac?
Thu 2019-04-11 07:07:46 UTC+2, Ralf Stephan:
>
> Probably best to revert #23835 then, if you insist on the blocker
> assessment.
> https://trac.sagemath.org/ticket/23835
>
Is there no hope for a fix in Pynac?
--
You received this message because you are subscribed to the Google Groups
"sage-d
Probably best to revert #23835 then, if you insist on the blocker
assessment.
https://trac.sagemath.org/ticket/23835
Regards,
On Wednesday, April 10, 2019 at 9:30:42 PM UTC+2, Bill Page wrote:
>
> sage: sage.version.version
> '8.6'
> sage: ex=exp(2*x)+exp(-2*x); ex
> e^(2*x) + e^(-2*x)
> sag
Le mercredi 10 avril 2019 23:37:53 UTC+2, Bill Page a écrit :
>
> On Wed, Apr 10, 2019 at 5:28 PM rjf >
> wrote:
> >
> >
> > I suppose this is a Sage bug; Maxima doesn't have a problem with
> > its factor program.
> >
>
> Indeed.
>
>
This bug has been reported as
https://trac.sagemath.org/
On Wed, Apr 10, 2019 at 5:28 PM rjf 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)
I suppose this is a Sage bug; Maxima doesn't have a problem with
its factor program.
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