[fricas-devel] Symbolic (unevaluated) Expressions

2017-02-24 Thread Constantine Frangos
Dear Bill, Please accept my congratulations for all your hard work in developing the SEXPR domain. This seems to lead to a complete system for manipulating and simplifying symbolic expressions in fricas, including trigonometric functions, etc. I wanted to make some comments about the

Re: [fricas-devel] Symbolic (unevaluated) Expressions

2017-02-24 Thread Constantine Frangos
Dear Bill, Please accept my congratulations for all your hard work in developing the SEXPR domain. This seems to lead to a complete system for manipulating and simplifying symbolic expressions within fricas, including trigonometric functions, etc. I wanted to inquire about the following.

Re: [fricas-devel] Re: Dancing Samba with Ramanujan Partition Congruences

2017-02-24 Thread Ralf Hemmecke
On 02/23/2017 07:17 PM, 'Martin R' via FriCAS - computer algebra system wrote: > no arXiv??? > http://axiom-wiki.newsynthesis.org/DancingSambaRamanujan I'm sure you have by now found the link to my RISC report from last year. Ralf -- You received this message because you are subscribed to the

Re: [fricas-devel] [discussion] UP and SUP convert to InputForm

2017-02-24 Thread Bill Page
On 24 February 2017 at 01:47, Waldek Hebisch wrote: > Bill Page wrote: >> This is the result when the interpreter fails >> >> (3) -> interpret(4::InputForm)$InputFormFunctions1(PF 5) >> >>An expression involving @ PrimeField(5) actually evaluated to one of >>

[fricas-devel] a strange bug and "Handle imaginary unit in algebraic integrals"

2017-02-24 Thread oldk1331
y:=operator 'y ode360 := D(y(x),x)*cos(a*y(x))-b*(1-c*cos(a*y(x)))*sqrt(cos(a*y(x))^2-(1-c*cos(a*y(x solve(ode360,y,x) This used to give the "Imaginary part is nonzero. Cannot retract." error. After recent commit "Handle imaginary unit in algebraic integrals", the "solve" seems to loop. But

[fricas-devel] [PATCH] add ConvertibleTo String to FloatingPointSystem

2017-02-24 Thread oldk1331
https://github.com/oldk1332/fricas/commit/f549bbba730acce63ed7dff4d81522978b46cb26.patch add ConvertibleTo String to FloatingPointSystem also and add a wrapper "toString" for it. = Currently the Float has Convertible String while DoubleFloat doesn't have it, I think that is inconsistent.