Waldek Hebisch <[EMAIL PROTECTED]> writes: > - Closure CL has now experimental version for 32-bit Linux (64-bit > Linux was supported for long time) and for Windows. There was > a glitch in the way Closure CL was installed -- it required presence > of build tree.
A remotely similar problem: make install (at least with ecl) requires presence of *source* tree, which posed some problems here in Hannover. Furthermore, make install should not simply overwrite a present fricas installation, but rather ask, don't you think? > FriCAS will fail to build on clisp without dynamic FFI. For > Sage I did a patch that allows building without dynamic FFI > at const of disabling some functionality (currently graphics > and hyperdoc). I wonder if I should include this patch in > the repository (I would prefer people to build clisp with > dynamic FFI included). Certainly. Actually, I would support building FriCAS without graphics and hyperdoc only as a *very* last ressort, since it gives a very bad impression. > I still hope to fix some bugs before release. A few comments > about bugs: > > 434 -- I can not reproduce the issue, for me line is drawn OK. On which system is this? I don't see a line on linux+gcl, and I think I checked sbcl and ecl, too? To clarify: I expect a horizontal line. Actually, I do not even see units along the y-axis. > 433 -- The core issue is that comunication protocol between > AXIOMsys and viewport requires perfect synchronization, > once two ends go out of sync things stop working. This > problem requires changing protocol and rewritting communication > routines, clearly not a quick job. We may try to fix > just the specific problem (avoiding getting out of sync), > I am not sure if thaer is quick fix for this. I don't think it's so important. > 122 -- I have now narrowed down the problem to resolveTTeq: > > )lisp (|resolveTTEq| '(|UnivariatePuiseuxSeries| (|Expression| (|Integer|)) > |x| ((0 . 0) 0 . 1)) '(|Float|)) > > Value = (|UnivariatePuiseuxSeries| (|Expression| (|Float|)) |x| ((0 . 0) 0 . > 1)) > > If one looks how things are represented one sees that the third argument is > has old representation (corresponding to Expression Integer) but is > now treated as Expression Float. More preciesly, the constructTowerT > routine, transforms type arguments but leaves non-type arguments > as is -- this is clearly wrong when type of non-type argument is > modified. It would be easy to correct constructTowerT in specific > cases (like the UnivariatePuiseuxSeries), but is looks harder > to do fix it in general case -- I am not sure if I manage this for > the release. Would be nice, but I cannot contribute here. > 301 -- this is due to InputForm lacking package call. Finding out > where this form is generated requires more work. Hm, I thought I sent a partial fix or at least improvement at some point. See below. I have no time to check it currently. Ideally, my seriesSolve hack for the guessing package and FriCAS seriesSolve should be merged, but I have no time to do that... > 23 -- while the bug is fixed we still should do some releated cleanups > In particlar, for release I would probably prefer minimal cleanup > (which should be pretty safe) and I would rather postpone bigger > cleanup after release. Hm, I worked on that quite a bit, maybe I can send diffs later. However, I'm not sure whether you agree with my strategy http://groups.google.at/group/fricas-devel/browse_thread/thread/e421ed4b701e7c7f/4ea920afd15ead10?hl=de&tvc=2&q=fricas-devel+isexpt#4ea920afd15ead10 > Concerining release, I think it would be good to provide some bianaries. I > can create tarballs for i386 and amd64 Linux -- I think that such tarballs > should work on most Linux distributions. Given sbcl performance I think that > such tarballs should be sbcl based. I am not sure about other package forms: > distribution specific packages are nicer than generic tarball, but given that > there are several different distributions it looks like too much work for too > little effect. I have relatively recent Cygwin binaries (from revision 410). Building a newer revision takes a few hours, but I can do it. Another request: could you add a configure option to install the emacs mode, if emacs is present? (I simply do not know how to do it.) It works with gnu emacs 21 and 22, probably not with xemacs. fricas*.el should be installed in a directory below the emacs site-lisp directory, ie., usually /usr/share/emacs/site-lisp/fricas. Martin cd /users/rubey/martin/TeXSource/Mathematik/rate/ diff -c /users/rubey/lib/fricas/target/i686-pc-linux/src/algebra/exprode.spad /users/rubey/martin/TeXSource/Mathematik/rate/exprode.spad *** /users/rubey/lib/fricas/target/i686-pc-linux/src/algebra/exprode.spad 2008-10-17 08:59:11.000008000 +0200 --- /users/rubey/martin/TeXSource/Mathematik/rate/exprode.spad 2007-01-29 10:21:38.000340000 +0100 *************** *** 31,40 **** )abbrev package EXPRODE ExpressionSpaceODESolver ++ Taylor series solutions of ODE's ! ++ Author: Manuel Bronstein ++ Date Created: 5 Mar 1990 ! ++ Date Last Updated: 30 September 1993 ++ Description: Taylor series solutions of explicit ODE's; ++ Keywords: differential equation, ODE, Taylor series ExpressionSpaceODESolver(R, F): Exports == Implementation where R: Join(OrderedSet, IntegralDomain, ConvertibleTo InputForm) --- 31,42 ---- )abbrev package EXPRODE ExpressionSpaceODESolver ++ Taylor series solutions of ODE's ! ++ Author: Manuel Bronstein, Martin Rubey ++ Date Created: 5 Mar 1990 ! ++ Date Last Updated: 30 September 1993, January 2007 ++ Description: Taylor series solutions of explicit ODE's; + ++ made independent variable in compiledfunction explicit. That seems to avoid + ++ some of the failures. ++ Keywords: differential equation, ODE, Taylor series ExpressionSpaceODESolver(R, F): Exports == Implementation where R: Join(OrderedSet, IntegralDomain, ConvertibleTo InputForm) *************** *** 45,52 **** OP ==> BasicOperator SY ==> Symbol UTS ==> UnivariateTaylorSeries(F, x, center) ! MKF ==> MakeUnaryCompiledFunction(F, UTS, UTS) ! MKL ==> MakeUnaryCompiledFunction(F, List UTS, UTS) A1 ==> AnyFunctions1(UTS) AL1 ==> AnyFunctions1(List UTS) EQ ==> Equation F --- 47,54 ---- OP ==> BasicOperator SY ==> Symbol UTS ==> UnivariateTaylorSeries(F, x, center) ! MKF ==> MakeBinaryCompiledFunction(F, UTS, UTS, UTS) ! MKL ==> MakeBinaryCompiledFunction(F, List UTS, UTS, UTS) A1 ==> AnyFunctions1(UTS) AL1 ==> AnyFunctions1(List UTS) EQ ==> Equation F *************** *** 205,220 **** sy := name y yx := retract(y lhs eqx)@K f := checkOrder1(diffeq, y, yx, x, sy::F) center := rhs eqx ! coerce(ode1(compiledFunction(f, sy)$MKF, y0)$ODE)$A1 seriesSolve(diffeq:F, y:OP, eqx:EQ, y0:List F) == x := symbolIfCan(retract(lhs eqx)@K)::SY sy := new()$SY yx := retract(y lhs eqx)@K f := checkOrderN(diffeq, y, yx, x, sy::F, #y0) center := rhs eqx ! coerce(ode(compiledFunction(f, sy)$MKL, y0)$ODE)$A1 seriesSolve(sys:List F, ly:List OP, eqx:EQ, l0:List F) == x := symbolIfCan(kx := retract(lhs eqx)@K)::SY --- 207,224 ---- sy := name y yx := retract(y lhs eqx)@K f := checkOrder1(diffeq, y, yx, x, sy::F) + cf := compiledFunction(f, sy, x)$MKF center := rhs eqx ! coerce(ode1(cf(#1, monomial(1,1)$UTS), y0)$ODE)$A1 seriesSolve(diffeq:F, y:OP, eqx:EQ, y0:List F) == x := symbolIfCan(retract(lhs eqx)@K)::SY sy := new()$SY yx := retract(y lhs eqx)@K f := checkOrderN(diffeq, y, yx, x, sy::F, #y0) + cf := compiledFunction(f, sy, x)$MKL center := rhs eqx ! coerce(ode(cf(#1, monomial(1,1)$UTS), y0)$ODE)$A1 seriesSolve(sys:List F, ly:List OP, eqx:EQ, l0:List F) == x := symbolIfCan(kx := retract(lhs eqx)@K)::SY *************** *** 224,229 **** lelt := [opelt(fsy, localInteger(m := m+1)) for k in yx]$List(F) sys := [findEq(k, x, sys) for k in rest yx] l := [checkSystem(eq, yx, lelt) for eq in sys]$List(F) center := rhs eqx ! coerce(mpsode(l0,[compiledFunction(f,sy)$MKL for f in l])$ODE)$AL1 --- 228,234 ---- lelt := [opelt(fsy, localInteger(m := m+1)) for k in yx]$List(F) sys := [findEq(k, x, sys) for k in rest yx] l := [checkSystem(eq, yx, lelt) for eq in sys]$List(F) + cfl := [compiledFunction(f, sy, x)$MKL for f in l] center := rhs eqx ! coerce(mpsode(l0, [cf(#1, monomial(1,1)$UTS) for cf in cfl])$ODE)$AL1 Diff finished at Fri Oct 17 09:00:01 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
