> (17) -> xi_rule( exp( %i * xi(t) ) )

The problem is that the rule does not have the right type. Manual
intervention is necessary.

Ralf

(1) -> xi := operator 'xi

   (1)  xi
                                                          Type:
BasicOperator
(2) -> CI := Complex Integer

   (2)  Complex(Integer)
                                                                   Type:
Type
(3) -> I := Integer

   (3)  Integer
                                                                   Type:
Type
(4) -> RRCI := RewriteRule(I,CI,Expression(CI))

   (4)  RewriteRule(Integer,Complex(Integer),Expression(Complex(Integer)))
                                                                   Type:
Type
(5) -> xiRuleCI:RRCI := rule xi(t) == Up * t - beta * sin( 2 * omg * t )

   (5)  xi(t) == - beta sin(2omg t) + Up t
     Type:
RewriteRule(Integer,Complex(Integer),Expression(Complex(Integer)))
(6) -> xiRuleCI(exp(%i*xi(t)))

          - %i beta sin(2omg t) + %i Up t
   (6)  %e
                                           Type:
Expression(Complex(Integer))

-- 
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to