On Tuesday, 20 July 2021 at 10:26:54 UTC-7 dim...@gmail.com wrote:
> On Tue, Jul 20, 2021 at 11:23 AM 'Martin R' via sage-devel
> wrote:
> >
> > So, do you have an alternative idea on how to translate these results
> from FriCAS to sage? I guess the most interesting application is in
> symbo
Could you elaborate on this? I guess you have better examples, but here is
one for illustration:
(1) -> integrate(1/(1+x+x^3),x)
(1)
+---+
| 2 +--+
(\|- 93 %%E0 + 12 - \|31 %%E0)
*
log
On Tue, Jul 20, 2021 at 11:23 AM 'Martin R' via sage-devel
wrote:
>
> So, do you have an alternative idea on how to translate these results from
> FriCAS to sage? I guess the most interesting application is in symbolic
> integration, where rootOf objects appear frequently.
As far as integratio
So, do you have an alternative idea on how to translate these results from
FriCAS to sage? I guess the most interesting application is in symbolic
integration, where rootOf objects appear frequently.
Nils Bruin schrieb am Dienstag, 20. Juli 2021 um 02:42:46 UTC+2:
> On Monday, 19 July 2021 at
On Monday, 19 July 2021 at 09:33:39 UTC-7 axio...@yahoo.de wrote:
> Dear Nils,
>
> please excuse my late reaction!
>
> I think FriCAS solves this problem as follows: the meaning of its rootOf
> object is "any root of the given (minimal) polynomial". Thus, such an
> object may only appear, when
Dear Nils,
please excuse my late reaction!
I think FriCAS solves this problem as follows: the meaning of its rootOf
object is "any root of the given (minimal) polynomial". Thus, such an
object may only appear, when the choice of root does not matter, for
example, as an integral.
fricas.zeros
I think the problem is rather fundamental. The expression Rootof(y^2-x,y)
has two possible values; nominally sqrt(x) and -sqrt(x), but you can only
tell them apart once you've fixed one of them. So if you are just faced with
Rootof(y^2-x,y) + Rootof(y^2-x,y)
you don't actually know whether that
unfortunately, this doesn't really help: the main reason is that the roots
may not have an explicit expression in terms of radicals. See
https://trac.sagemath.org/ticket/32143
But even when explicit expressions exist, there seems to be a problem:
sage: var("y a")
(y, a)
sage: p = y^4 + y + a
s
You may work on the univariate polynamial ring in your variable of interest
over a suitable ring. A simple example :
sage: var("x, y, z")
(x, y, z)
sage: foo=x^3-x*sin(y+z)+1
sage: foo.polynomial(ring=PolynomialRing(SR,"x")).parent()
Univariate Polynomial Ring in x over Symbolic Ring
sage: foo.