Hi Martin,

> (52) -> f := guess([reduce(*, [reduce(+, [1/k for k in 1..m], 0) for m in 
> 1..n], 1) for n in 0..10]).1
> 
>                  p   - 1
>          n - 1    11
>          ++-++     --+       1
>    (52)   | |      >      ------- + 1
>           | |      --+    s   + 2
>          p  = 0  s  = 0    10
>           11      10
>                                                     Type: 
> Expression(Integer)
> (53) -> f::INFORM
> 
>    (53)
>    (%defprod  (+ (%defsum (/ 1 (+ %LW 2)) %LW (*01000s 10) 0 (+ %LX - 1)) 1)
>     %LX  (*01000p 11)  0  (+ n - 1))
>                                                               Type: 
> InputForm

I think that going via InputForm is not the right way to do such a
conversion from FriCAS Expression(INT) into a Sage expression.

Wouldn't it be wiser to add functions to Expression in order to
decompose an element. There are already some such functions.

http://fricas.github.io/api/FunctionSpace.html#l-function-space-is-expt

You probably also have to look at how sum and prod is represented in FriCAS.

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to