[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [#102 solve(sinh(z)=cosh(z), z) ] Fix

From: kratt6
Subject: [Axiom-developer] [#102 solve(sinh(z)=cosh(z), z) ] Fix
Date: Fri, 17 Jun 2005 08:13:08 -0500

This one and bug #137 can be resolved by using the three-argument form of 
reduce in SOLVETRA, for example::

     solveList(lexpr:L RE, lvar:L S):L L EQ RE ==
        ans1 := solveRetract(lexpr, lvar)
        not(ans1 case "failed") => ans1 :: L L EQ RE
        lfrac:L Fraction Polynomial RE :=
           [makeFracPoly(expr, lvar) for expr in lexpr]
        trianglist := triangularSystems(lfrac, lvar)
--        "append"/[solve1Sys(plist, lvar) for plist in trianglist]
        l: L L L EQ RE := [solve1Sys(plist, lvar) for plist in trianglist]
        reduce(append, l, [])

and similarly in all places, where '"append"/' is used. Maybe there is an 
alternative fix, '"append"/' does not call reduce, does it?
forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]