conversion of fricas sums and products

[mantepse]

This ticket allows conversion between sage and FriCAS sums and products. Eg:

            sage: f = fricas.guess([sum(1/k, k,1,n) for n in range(10)])[0]; f  # optional - fricas
             n - 1
              --+       1
              >      -------
              --+    s   + 1
            s   = 0   10
             10

            sage: f.sage()                                                      # optional - fricas
            harmonic_number(n)

This will only work after FriCAS version 1.3.5, which is not out yet.

Depends on #25602
Depends on #25962

CC: @rwst @fchapoton

Component: interfaces: optional

Keywords: FriCAS

Author: Martin Rubey

Branch/Commit: 92b8e0b

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/25899

[mantepse]

Branch: u/mantepse/conversion_of_fricas_sums_and_products

[mantepse]

Dependencies: #25962

[mantepse]

Changed keywords from none to FriCAS

[mantepse]

Description changed:

--- 
+++ 
@@ -1 +1,16 @@
+This ticket allows conversion between sage and FriCAS sums and products.  Eg:
 
+```
+            sage: f = fricas.guess([sum(1/k, k,1,n) for n in range(10)])[0]; f  # optional - fricas
+             n - 1
+              --+       1
+              >      -------
+              --+    s   + 1
+            s   = 0   10
+             10
+
+            sage: f.sage()                                                      # optional - fricas
+            harmonic_number(n)
+```
+
+This will only work after FriCAS version 1.3.5, which is not out yet.

[mantepse]

New commits:

84c392e	first version of translation of rootOf
a983d7a	translate rootOf also when extra variables are present
becb368	fix doctests
c28e489	Merge branch 'u/mantepse/implement_translation_of_fricas_rootof' of git://trac.sagemath.org/sage into t/25899/conversion_of_fricas_sums_and_products
2fdddde	add conversion of FriCAS sums and products, fix latex

[mantepse]

Author: Martin Rubey

[mantepse]

Commit: 2fdddde

[mantepse]

Changed dependencies from #25962 to #25602, #25962

[sagetrac-git]

Changed commit from 2fdddde to c292231

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

f973985	Merge branch 'u/mantepse/implement_translation_of_fricas_rootof' of https://github.com/sagemath/sagetrac-mirror into sage83
4539a94	fix pyflake errors
afc9fb4	Merge commit '4539a940848397eb8113f0e889db231e0dac91dc' of git://trac.sagemath.org/sage into t/25899/conversion_of_fricas_sums_and_products
c292231	for the Expression domain, switch to parsing the InputForm directly

[sagetrac-git]

Changed commit from c292231 to 51f48b4