Francois Maltey <[EMAIL PROTECTED]> writes:

> Dear Martin,
> 
> > You probably should provide the three syntaxs.
> 
> OK.
> 
> > Could you define (exactly!) what expand is supposed to do. 
> > I guess that it's similar to ... maxima...
> 
> I don't forget mupad, results are (almost) the same.
> I'm looking for a syntax which is easy for easy computation 
> but which allows various interessing abilities.
> 
> But might you help me for extracting real part and imag part for 
> Expression ... Complex ... ? in manip.spad.
> Perhaps do you want I send you my working manip.spad.

Yes, please. But I'm a little out of time currently. In the worst case, I can
only help after the workshop, but I'll do my best.

> I'm going to test an expand which 
>      1/ separates real part and imag part, if it's a Complex domain
> then 2/ always applies sum formula,
>  and 3/ applies Integer * formula_without_denominator
> for sin, cos, tan, cot, sinh, cosh, tanh, coth, exp...
> 
> A list of String describes the parameters and precises the expand use : 
> 
> noComplex bypass the first step, noSum the second, noTimes the third.
> allDenom  expands also sin (2*x/3) in 2 sin (x/3) cos (x/3)
> evenConst expands sin (sqrt 2 + sqrt 3) in sin... cos... + cos... sin...
> recursif  does the silly expand (sin (sin (a+b)))
> ?????     expands sin (x/3+y/2) * cos (x/2-y/7) in sin... cos... x/6 and y/14 
> !
>           (but I'm not sure I can do it !)

Since I'm very bad at trigonometrics, I find the description above a little
terse. Precise definitions would be very helpful.

Martin



_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to