o à8VaŽ\ã@shddlmZddlmZmZmZddlm Z m Z m Z m Z ddl mZmZmZddlmZddlmZe dddd \ZZZZZe d d d \ZZd d„Zdd„Zdd„Zdd„Z dd„Z!dd„Z"dd„Z#dd„Z$dd„Z%dd „Z&d!d"„Z'd#d$„Z(d%d&„Z)d'd(„Z*d)d*„Z+d+d,„Z,d-d.„Z-d/d0„Z.d1d2„Z/d3d4„Z0d5d6„Z1d7d8„Z2d9d:„Z3d;d<„Z4d=d>„Z5d?d@„Z6dAdB„Z7dCS)Dé)ÚSum)Ú deltaproductÚdeltasummationÚ_extract_delta)ÚEqÚSÚsymbolsÚoo)ÚKroneckerDeltaÚ PiecewiseÚpiecewise_fold)ÚAnd)Úraisesz i j k l mT)ÚintegerZfinitezx yF)Z commutativecCs tttddfƒdks J‚tttddfƒtdksJ‚ttttddfƒttdks,J‚ttttddfƒttdks>J‚ttttƒtddfƒtttƒksPJ‚tttttƒtddfƒtdtttƒkshJ‚ttttttƒtddfƒttdtttƒks„J‚dS©Néré)ÚdpÚxÚjÚyÚKDÚiÚk©rrúA/usr/lib/python3/dist-packages/sympy/concrete/tests/test_delta.pyÚtest_deltaproduct_trivial s$$$0<rcCs:ttttƒtddfƒdksJ‚ttttƒtddfƒttdƒks!J‚ttttƒtddfƒttdƒks3J‚ttttƒtddfƒttdƒksEJ‚ttttƒtdtfƒttdƒttdƒttdƒksaJ‚ttttƒttdfƒttdƒttdƒttdƒks}J‚ttttƒtttfƒtttƒtttƒtttdƒks›J‚dS©Nrrréé)rrrrrÚlrrrrÚtest_deltaproduct_basics$$$88@r!cCsntttttƒtddfƒdksJ‚tttttƒtddfƒtttdƒks'J‚tttttƒtddfƒtttdƒks=J‚tttttƒtddfƒtttdƒksSJ‚tttttƒtdtfƒtttdƒttdƒttdƒkssJ‚tttttƒttdfƒtttdƒttdƒttdƒks“J‚tttttƒtttfƒttttƒtttƒtttdƒksµJ‚dSr)rrrrrrr rrrrÚtest_deltaproduct_mul_x_kd s",,,@@Hr"cCs¢ttttttƒtddfƒdksJ‚ttttttƒtddfƒttttdƒks-J‚ttttttƒtddfƒttttdƒksGJ‚ttttttƒtddfƒttttdƒksaJ‚ttttttƒtdtfƒttttdƒttdƒttdƒks…J‚ttttttƒttdfƒttttdƒttdƒttdƒks©J‚ttttttƒtttfƒtttttƒtttƒtttdƒksÏJ‚dSr)rrrrrrrr rrrrÚ test_deltaproduct_mul_add_x_y_kd*s&444$ÿ$ÿ( ÿr#cCs ttttƒtttƒtddfƒdksJ‚ttttƒtttƒtddfƒttdƒttdƒks0J‚ttttƒtttƒtddfƒttdƒttdƒksLJ‚ttttƒtttƒtddfƒttdƒttdƒkshJ‚ttttƒtttƒtdtfƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒks±J‚ttttƒtttƒttdfƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒttdƒksúJ‚ttttƒtttƒtttfƒtttdƒtttƒtttƒtttƒtttƒtttƒtttdƒtttdƒtttdƒtttƒtttdƒksNJ‚dSr)rrrrrr ÚmrrrrÚtest_deltaproduct_add_kd_kd7s>(888&ÿÿþ þ&ÿÿþ þ*ÿÿ$þ$þr%cCstttttƒtttƒtddfƒdksJ‚tttttƒtttƒtddfƒtttdƒttdƒks6J‚tttttƒtttƒtddfƒtttdƒttdƒksVJ‚tttttƒtttƒtddfƒtttdƒttdƒksvJ‚tttttƒtttƒtdtfƒttdƒtttdƒttdƒtttdƒttdƒtdttdƒttdƒttdƒtdttdƒttdƒttdƒksÍJ‚tttttƒtttƒttdfƒttdƒtttdƒttdƒtttdƒttdƒtdttdƒttdƒttdƒtdttdƒttdƒttdƒks%J‚tttttƒtttƒtttfƒtttdƒttttƒtttƒttttƒtttƒtdtttdƒtttƒtttdƒtdtttƒtttdƒtttdƒks‡J‚dSr)rrrrrrr r$rrrrÚ!test_deltaproduct_mul_x_add_kd_kdGs>,@@@*ÿÿ$þ$ þ*ÿÿ$þ$ þ.ÿÿ,þ,ýr&cCsjttttttƒtttƒtddfƒdksJ‚ttttttƒtttƒtddfƒttttdƒttdƒksJ‚ttttƒtddfƒdtttƒksRJ‚tttttƒtddfƒdttttƒksjJ‚ttttttƒtddfƒdtttttƒks†J‚dSr)ÚdsrrrrrrrrrrÚtest_deltasummation_trivialïs$$(0<r1cCs6tdddd}tt|dƒ|ddfƒdksJ‚tttdtdƒtt tfƒtttdtdƒtt tfƒks8J‚ttttƒt dtktdkƒfdƒttttƒtttƒtddfƒkrnttttƒtttƒtddfƒksqJ‚J‚ttttƒtt tfƒdksJ‚ttttƒtdtfƒtdt j tkfdƒks˜J‚ttttƒtddfƒtdt dtktdkƒfdƒks³J‚tttttƒtttƒtt tfƒttttƒksÏJ‚tttttƒtt tfƒtksáJ‚tttttƒtt tfƒtksóJ‚tt tddfƒdt ksJ‚ttttttƒtt tfƒdtksJ‚dS) NÚnT)rZnonzerorrrrr)) rr0rrrr rr rr rZZeror)r2rrrÚ#test_deltasummation_basic_numericalùs(ÿ ÿþ .ÿ8$$2r3cCsfttttƒtddfƒtdtdtktdkƒfdƒksJ‚ttttƒtddfƒtdttdƒfdƒks2J‚ttttƒtddfƒtdttdƒfdƒksIJ‚ttttƒtddfƒtdttdƒfdƒks`J‚ttttƒtdtfƒtdtdtkttkƒfdƒks{J‚ttttƒttdfƒtdtttktdkƒfdƒks–J‚ttttƒtttfƒtdtttkttkƒfdƒks±J‚dS©Nrrr)r) r0rrrr r rrr rrrrÚ"test_deltasummation_basic_symbolicsÿ...ÿÿ ÿr5cCs‚tttttƒtddfƒtttdtktdkƒfdƒksJ‚tttttƒtddfƒttttdƒfdƒks6J‚tttttƒtddfƒttttdƒfdƒksOJ‚tttttƒtddfƒttttdƒfdƒkshJ‚tttttƒtdtfƒtttdtkttkƒfdƒks…J‚tttttƒttdfƒtttttktdkƒfdƒks¢J‚tttttƒttt fƒtttttktt kƒfdƒks¿J‚dSr4) r0rrrrr r rrr rrrrÚtest_deltasummation_mul_x_kdsÿ222ÿÿ ÿr6cCsºttttttƒtddfƒttttdtktdkƒfdƒks!J‚ttttttƒtddfƒtttttdƒfdƒks>J‚ttttttƒtddfƒtttttdƒfdƒks[J‚ttttttƒtddfƒtttttdƒfdƒksxJ‚ttttttƒtdt fƒttttdtktt kƒfdƒks™J‚ttttttƒtt dfƒttttt tktdkƒfdƒksºJ‚ttttttƒtt t fƒttttt tktt kƒfdƒksÛJ‚dSr4© r0rrrrrr r rrr rrrrÚ"test_deltasummation_mul_add_x_y_kd,s*ÿÿÿÿÿÿ ÿr8c Csxttttƒtttƒtddfƒttdtdtktdkƒfdƒtdtdtktdkƒfdƒƒks0J‚ttttƒtttƒtddfƒttdttdƒfdƒtdttdƒfdƒƒksXJ‚ttttƒtttƒtddfƒttdttdƒfdƒtdttdƒfdƒƒks€J‚ttttƒtttƒtddfƒttdttdƒfdƒtdttdƒfdƒƒks¨J‚ttttƒtttƒtdt fƒttdtdtktt kƒfdƒtdtdtktt kƒfdƒƒksØJ‚ttttƒtttƒtt dfƒttdtt tktdkƒfdƒtdtt tktdkƒfdƒƒks J‚ttttƒtttƒtt t fƒttdtt tktt kƒfdƒtdtt tktt kƒfdƒƒks:J‚dSr4) r0rrrrr r r rr r$rrrrÚtest_deltasummation_add_kd_kd=sF ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿÿr9c Cs”tttttƒtttƒtddfƒttttdtktdkƒfdƒtdtdtktdkƒfdƒƒks2J‚tttttƒtttƒtddfƒtttt tdƒfdƒtdt tdƒfdƒƒks\J‚tttttƒtttƒtddfƒtttt tdƒfdƒtdt tdƒfdƒƒks†J‚tttttƒtttƒtddfƒtttt tdƒfdƒtdt tdƒfdƒƒks°J‚tttttƒtttƒtdt fƒttttdtktt kƒfdƒtdtdtktt kƒfdƒƒksâJ‚tttttƒtttƒtt dfƒttttt tktdkƒfdƒtdtt tktdkƒfdƒƒksJ‚tttttƒtttƒtt t fƒttttt tktt kƒfdƒtdtt tktt kƒfdƒƒksHJ‚dSr4© r0rrrrrr r r rr r$rrrrÚ#test_deltasummation_add_mul_x_kd_kdUóF$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿÿr;c Cs”tttttƒtttƒtddfƒttttdtktdkƒfdƒtttdtktdkƒfdƒƒks2J‚tttttƒtttƒtddfƒtttt tdƒfdƒttt tdƒfdƒƒks\J‚tttttƒtttƒtddfƒtttt tdƒfdƒttt tdƒfdƒƒks†J‚tttttƒtttƒtddfƒtttt tdƒfdƒttt tdƒfdƒƒks°J‚tttttƒtttƒtdt fƒttttdtktt kƒfdƒtttdtktt kƒfdƒƒksâJ‚tttttƒtttƒtt dfƒttttt tktdkƒfdƒtttt tktdkƒfdƒƒksJ‚tttttƒtttƒtt t fƒttttt tktt kƒfdƒtttt tktt kƒfdƒƒksHJ‚dSr4r:rrrrÚ#test_deltasummation_mul_x_add_kd_kdmr<r=c Csêttttttƒtttƒtddfƒttttt dtktdkƒfdƒtttt dtktdkƒfdƒƒks8J‚ttttttƒtttƒtddfƒttttt tdƒfdƒtttt tdƒfdƒƒkshJ‚ttttttƒtttƒtddfƒttttt tdƒfdƒtttt tdƒfdƒƒks˜J‚ttttttƒtttƒtddfƒttttt tdƒfdƒtttt tdƒfdƒƒksÈJ‚ttttttƒtttƒtdt fƒttttt dtktt kƒfdƒtttt dtktt kƒfdƒƒksJ‚ttttttƒtttƒtt dfƒttttt t tktdkƒfdƒtttt t tktdkƒfdƒƒks:J‚ttttttƒtttƒtt t fƒttttt t tktt kƒfdƒtttt t tktt kƒfdƒƒkssJ‚dSr4) r0rrrrrrr r r rr r$rrrrÚ)test_deltasummation_mul_add_x_y_add_kd_kd…sF(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿÿr>cCsdtttttttƒtddfƒtdttttdtktdkƒfdttdfƒks-J‚tttttttƒtddfƒttttttdƒfttdfƒksRJ‚tttttttƒtddfƒttttttdƒfttdfƒkswJ‚tttttttƒtddfƒttttttdƒfttdfƒksœJ‚tttttttƒtdt fƒtt ttttdtktt kƒft ttdfƒksÉJ‚tttttttƒtt dfƒtdt ttttt tktdkƒfdt ttdfƒksúJ‚tttttttƒtt t fƒtt t dttttt tktt kƒft t dttdfƒks0J‚dS©NrrTrrr7rrrrÚ(test_deltasummation_add_mul_x_y_mul_x_kds* 2ÿ "ÿ "ÿ "ÿ 2ÿ :ÿ">ÿr@cCsHttttttƒtddfƒtdttttdtktdkƒfdttdfƒks+J‚ttttttƒtddfƒttttttdƒfttdfƒksNJ‚ttttttƒtddfƒttttttdƒfttdfƒksqJ‚ttttttƒtddfƒttttttdƒfttdfƒks”J‚ttttttƒtdt fƒtt ttttdtktt kƒft ttdfƒks¿J‚ttttttƒtt dfƒtdt ttttt tktdkƒfdt ttdfƒksîJ‚ttttttƒtt t fƒtt t dttttt tktt kƒft t dttdfƒks"J‚dSr?r7rrrrÚ"test_deltasummation_mul_x_add_y_kd®s*2ÿ"ÿ"ÿ"ÿ2ÿ:ÿ>ÿrAcCs‚tttdtttƒtddfƒtdttdttdtktdkƒfdttdfƒks/J‚tttdtttƒtddfƒtttdtttdƒfttdfƒksVJ‚tttdtttƒtddfƒtttdtttdƒfttdfƒks}J‚tttdtttƒtddfƒtttdtttdƒfttdfƒks¤J‚tttdtttƒtdt fƒtt ttdttdtktt kƒft ttdfƒksÓJ‚tttdtttƒtt dfƒtdt ttdttt tktdkƒfdt ttdfƒksJ‚tttdtttƒtt t fƒtt t dttdttt tktt kƒft t dttdfƒks?J‚dS)NrrrTrr7rrrrÚ%test_deltasummation_mul_x_add_y_twokd¿s* 6ÿ &ÿ &ÿ &ÿ 6ÿ": ÿ"BÿrBcCsºtttttttƒtddfƒtdttttttdtktdkƒfdtttdfƒks3J‚tttttttƒtddfƒttttttttdƒftttdfƒks^J‚tttttttƒtddfƒttttttttdƒftttdfƒks‰J‚tttttttƒtddfƒttttttttdƒftttdfƒks´J‚tttttttƒtdt fƒtt ttttttdtktt kƒft tttdfƒksçJ‚tttttttƒtt dfƒtdt ttttttt tktdkƒfdt tttdfƒksJ‚tttttttƒtt t fƒtt t dttttttt tktt kƒft t dtttdfƒks[J‚dSr?r7rrrrÚ(test_deltasummation_mul_add_x_y_add_y_kdÐs.": ÿ .ÿ .ÿ .ÿ": ÿ", þ"0þrCcCsätttttƒttttƒtddfƒtttttƒtt dtktdkƒfdƒdtttƒttƒks6J‚tttttƒttttƒtddfƒtttttƒtt tdƒfdƒtttƒttƒksfJ‚tttttƒttttƒtddfƒtttttƒtt tdƒfdƒtttƒttƒks–J‚tttttƒttttƒtddfƒtttttƒtt tdƒfdƒtttƒttƒksÆJ‚tttttƒttttƒtdtfƒtttttƒtt dtkttkƒfdƒttttƒttƒksüJ‚tttttƒttttƒttdfƒtttttƒtt ttktdkƒfdƒdttttƒttƒks5J‚tttttƒttttƒttt fƒtttttƒtt ttktt kƒfdƒt tdtttƒttƒkspJ‚dS)Nrrr)rr) r0rrrrrrr r r rr rrrrÚ)test_deltasummation_mul_add_x_kd_add_y_kdãsF($ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ($ÿ ÿ($ÿ ÿ($ÿÿrDcCsttdd„ƒdS)NcSsttttƒtttƒtƒS)N)rrrrrr rrrrÚüsz$test_extract_delta..)rÚ ValueErrorrrrrÚtest_extract_deltaûsrGN)8Zsympy.concreterZsympy.concrete.deltarrrr0rZ sympy.corerrrr Zsympy.functionsr rr r Z sympy.logicr Zsympy.testing.pytestrrrrr r$rrrr!r"r#r%r&r'r+r,r-r.r/r1r3r5r6r8r9r;r=r>r@rArBrCrDrGrrrrÚsF