오퍼레이터 제품의 테일러 확장

Question

이 코드를 추적했습니다 : http://www.yorku.ca/marko/ComPhys/NoncomProduct/NoncomProduct.html. 그러나, 나는 그것이 고대다라고 생각한다. 그것은 분명히 2005에서 작동하는 definemore의 군대를 필요로, 날짜,이 코드가 필요합니다

Ut:=subs((A+B)^2=(A+B)&*(A+B),(A+B)^3=(A+B)&*(A+B)&*(A+B),(A+B)^4=(A+B)&*(A+B)&*(A+B)&*(A+B),Ut); 

은 비 통근 작업자가 제대로 평가받을 수 있습니다. 분명히, 당신은 더 높은 순위로 갈수록 점점 더 나 빠지게됩니다. 나는 메이플 버전이 아니더라도이 코드가 작성된 것은 아니지만 임의의 순서로 작동하는 것이 있어야한다는 것을 확신합니다.

질문 : 현재 메이플 13을 사용하고 있습니다. 메이플 13 또는 메이플 최신 버전에서이 작업을 수행하는 더 좋은 방법이 있습니까? 이것은 최신 버전에 투자할만한 이유 일 수 있습니다.

감사합니다 ..

편집 : 감사합니다. @acer; 나는 이것에 대해 모두 명백한 것은 아니지만 최신 버전의 메이플에서이 알고리즘을 구현하는 더 좋은 방법이 있다면 그렇게 말하십시오. 실제로 새 버전에 투자 할 수 있습니다 .. 감사합니다!

Answer 1

나는 그 definemore 정의를 보지 못했지만, 처음으로 힘을 대체하는 한 Maple 13에서도 (하드 코딩 된 대체 시퀀스 대신)이 중 하나와 같은 것을 시도 할 수 있습니다.

subsindets(Ut, `^`, z->`if`(type(op(2,z),posint) and op(1,z)=A+B, 
          foldr(`&*`,seq(op(1,z),i=1..op(2,z))), 
          z)); 

subsindets(Ut, `^`, z->`if`(type(op(2,z),posint) and op(1,z)<>h, 
          foldr(`&*`,seq(op(1,z),i=1..op(2,z))), 
          z));