On 2/06/2014 5:40 a.m., Bruno Le Floch wrote:

>> I had the experience recently of checking a complicated trigonometric

>> expression derived, after an embarrassingly long labour, from another

>> complicated trigonometric expression. Had I made a mistake in the

>> working? I evaluated the expressions using l3fp. One, for a number of

>> different parameter values gave 0, the other for the same parameter

>> values gave -0. I concluded, ruefully, that the derivation was correct.

> Note that \fp_compare:nTF { 0 = -0 } { true } { false } gives true, so

> you could just let l3fp compare the numbers.  I have to say I'm

> surprised by that use of l3fp: I'd definitely use a general purpose

> programming language for that (e.g., python).  Happy l3fp helps.

>

> Bruno

I use LyX. LyX has its instant preview facility, in particular for 

maths. I'm revising a package (not publicly available yet, but I will at 

some stage put a link to it on the LyX wiki)  that turns well-formed 

formed latex expressions like \tfrac{4}{3}\pi r^{3}, which are easy to 

write in LyX's math editor, into "feedstock" for l3fp. Giving the 

variables particular values, the result snaps into view "before one's 

eyes". It's like having an upside-down pile of used envelopes beside one 

(only much faster) for numerically exploring formulas that are part of 

the text (and therefore already written).



The main problem has centred around "juxtaposition = multiplication" and 

the fact that juxtaposition has precedence over function calls so that 

(for instance) exp(foo)(bah)(baa)(bar) in l3fp raises e to the power of 

the product of foo and bah and baa and bar. This is most unlikely to be 

what is intended in a mathematical argument and so my package inserts an 

asterisk: \exp{foo}(bah) in latex becomes exp(foo)*(bah) for the l3fp 

feedstock.



Andrew