Martin Rubey wrote:
>
> Ralf Hemmecke <[email protected]> writes:
>
> > Hi Martin
> >
> >> D2(f: POLY INT): POLY INT == z2*D(f, z2) + 1/2*z1^4*D(f, z2, 2) +
> >> z1^3*D(D(f, z2), z1) + 1/2*z1^2*D(f, z1, 2) + z1^3*D(f,
> >> z2)+z1^2*D(f,z1)+z2*f
> >
> > Do you expect that to work?
>
> either that or (perhaps better) complain about a missing coercion.
>
Interpreter compiles the code, so apparently it thinks it is fine...
One can reproduce error applying:
op3(f : POLY INT) : POLY INT == 1/2*z1^2*D(f, z1, 2)
op3c(f : POLY FRAC INT) : POLY FRAC INT == 1/2*z1^2*D(f, z1, 2)
to p2 16. Strange thing is that difference is so small and we
need such a large example.
BTW: I can reproduce error with few different Lisps, so it does
look like Lisp level error.
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
