Martin,
It appears that the following does what you expect:
(1) -> y := operator 'y
(1) y
Type: BasicOperator
(2) -> deq := differentiate(y x, x) + y x
,
(2) y (x) + y(x)
Type: Expression(Integer)
(3) -> res := first(solve(deq, y, x).basis)
- x
(3) %e
Type: Expression(Integer)
(4) -> function(res,f::Symbol,variables(res))
(4) f
Type: Symbol
(5) -> f(1)
Compiling function f with type PositiveInteger -> Expression(Integer
)
1
(5) --
%e
Type: Expression(Integer)
(6) -> eval(deq, y, f)
(6) 0
Type: Expression(Integer)
--------
Calling 'variables(res)' allows you to access the actual symbol used
in the value of 'res'.
Regards,
Bill Page.
On Sun, Oct 5, 2008 at 9:41 AM, Martin Rubey wrote:
>
>
> If somebody could help debugging this, it would be great...
>
> (it would already be very helpful to know exactly which implementation of eval
> is called in the end...)
>
> Martin
>
> (1) -> y := operator 'y
>
> (1) y
> Type: BasicOperator
> (2) -> deq := differentiate(y x, x) + y x
>
> ,
> (2) y (x) + y(x)
>
> Type: Expression(Integer)
> (3) -> res := first(solve(deq, y, x).basis)
>
> - x
> (3) %e
> Type: Expression(Integer)
> (4) -> eval(deq, y, x+->res)
>
> - x
> (4) %e
> Type: Expression(Integer)
>
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
