What a pace!
It works, wonderful!! It's a start++.

... the idea was of course: the command sequence to push onto the stack
is like that in the interactive session :) There is indeed a lower level
in Reduce, the "standard quotient" called *SQ - what you get when
omitting the PROC_make_printable. See chapter 4 in the attachment.

Reduce has a lot of switches to control formatting and output. I've to
lookup as I have forgotten most of them (PROC_set_switch).

I noticed too that only scalars are returned properly, that's why I used
"rhs first" (righthand-side of the first solution) in the "solve"
example. Maybe I have to try out without make_printable if the result is
a list of equations/solutions.

I tried integration

100*x^(9/100)*x^3/309 ??????
simplify (int (sin x) x);
-cos x
e^(2*x)/2 :)

I'm sure we find workarounds for all this issues. Moreover there are
still other options to try, like PROC_lisp_eval, PROC_get_raw_value.
Eventually we can contact Arthur Normann , he has been always very helpful.

BTW I found this in proc.h:
<<In due course I may support floating point values
 * and big numbers, but release 1 of those code concentrates on the
basics.>>

<< if there is any functionality that you need PLEASE ask
 * me to put in a cleaner abstraction to support it.>>

It's very exciting.
Kurt

P.S. (

 ARBINT                    OPERATOR

   The operator ARBINT is used to express arbitrary integer parts of an
expression, e.g. in the result of [see SOLVE.] when [*note
ALLBRANCH::.]  is on.

EXAMPLES:

     ____________________________________________________________

     solve(log(sin(x+3)),x);

       {X=2*ARBINT(1)*PI - ASIN(1) - 3,
        X=2*ARBINT(1)*PI + ASIN(1) + PI - 3}

     ____________________________________________________________

reduce_primer.pdf 455K Download