> And I'm waiting about functions : what are the type/domain of functions > > f (x) == 2*x > g(x:Integer) : Integer==3*x > > h := x +-> 4*x --- an anonymous function > k: Integer -> Integer := x +->5*x -- not yet possible...
I believe I fixed this some time ago, and I also thin the fix propagated to FriCAS. At any rate, I cannot reproduce a failure. Do you have more complicated examples where it fails? -- Gaby ------------------------------------------------------------------------- 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
