Re: [Axiom-developer] series for sums

[Martin Rubey]

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 
=> 
            summand
--          op := operator("%defsum"::Symbol)$CommonOperators
--          mp:FE->FE:=op cons(#1, rest args)
          eq := equation(retract(third args)@Symbol, 
args.4..args.5)$SegmentBinding(FE)
          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.

Martin