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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
