[Top][All Lists]

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

Re: [Axiom-developer] series for sums

From: Martin Rubey
Subject: Re: [Axiom-developer] series for sums
Date: Fri, 7 Oct 2005 16:36:19 +0200

Well, here is a stupid alternative, which works better on the surface:

      if FE has CombinatorialOpsCategory then
        is?(ker,"%defsum" :: Symbol) =>
          (summand := exprToUPS(first args,posCheck?,atanFlag)) case %problem 
--          op := operator("%defsum"::Symbol)$CommonOperators
--          mp:FE->FE:=op cons(#1, rest args)
          eq := equation(retract(third args)@Symbol, 
          mp:FE->FE:=summation(eval(#1, retract(second args)@K, third args), eq)
          [map(mp, summand.%series)$UPS]

now Axiom displays beautiful sums, but they won't be evaluated because of a bug
equivalent to issue #212.

The summation design is seriously broken, I'd say.


reply via email to

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