[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
=>
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