On 04 Mar 2008 10:32:30 +0100, Martin Rubey wrote: > > I find the following behaviour very confusing: > > (1) -> f(x,y)==x+y > Type: Void > (2) -> draw(x +-> f(x,2), 0..1) > Compiling function f with type (DoubleFloat,PositiveInteger) -> > Point DoubleFloat > Conversion failed in the compiled user function f . > > Cannot convert from type DoubleFloat to Point DoubleFloat for value > 2.0 > ... > Why is Axiom trying to compile f as function to Point DFLOAT? > > I guess that this is a similar problem as in #105 (watch out > for > > "Axiom chooses the wrong signature (it should use > integrate$RationalFunctionDefiniteIntegration)" >
It might be related. > > Should I attach this to #105 or open a separate issue? > I think you should open a separate issue report. Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
