o oÇ h=]ã@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)ÚintegerÚfinitezx yF)Ú 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ús/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-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<r6cCs6tdddd}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)rÚnonzerorrrr r+) rr5rrrr rr rr rÚZeror)r7rrrÚ#test_deltasummation_basic_numericalðs(ÿ ÿþ .ÿ8$$2r:cCsfttttƒ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 ) r5rrrr r rrr"rrrrÚ"test_deltasummation_basic_symbolicsÿ...ÿÿ ÿr<cCs‚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‚dSr;) r5rrrrr r rrr"rrrrÚtest_deltasummation_mul_x_kdsÿ222ÿÿ ÿr=cCsº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‚dSr;© r5rrrrrr r rrr"rrrrÚ"test_deltasummation_mul_add_x_y_kd#s*ÿÿÿÿÿÿ ÿr?c 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‚dSr;) r5rrrrr r r rr"r&rrrrÚtest_deltasummation_add_kd_kd4sF ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿ ÿÿr@c 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‚dSr;© r5rrrrrr r r rr"r&rrrrÚ#test_deltasummation_add_mul_x_kd_kdLóF$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿ ÿ$ÿÿrBc 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‚dSr;rArrrrÚ#test_deltasummation_mul_x_add_kd_kddrCrDc 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‚dSr;) r5rrrrrrr r r rr"r&rrrrÚ)test_deltasummation_mul_add_x_y_add_kd_kd|sF(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿÿrEcCsdtttttttƒ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©NrrTr r!r>rrrrÚ(test_deltasummation_add_mul_x_y_mul_x_kd”s* 2ÿ "ÿ "ÿ "ÿ 2ÿ :ÿ">ÿrGcCsHttttttƒ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‚dSrFr>rrrrÚ"test_deltasummation_mul_x_add_y_kd¥s*2ÿ"ÿ"ÿ"ÿ2ÿ:ÿ>ÿrHcCs‚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)Nr rrTr!r>rrrrÚ%test_deltasummation_mul_x_add_y_twokd¶s* 6ÿ &ÿ &ÿ &ÿ 6ÿ": ÿ"BÿrIcCsº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‚dSrFr>rrrrÚ(test_deltasummation_mul_add_x_y_add_y_kdÇs.": ÿ .ÿ .ÿ .ÿ": ÿ", þ"0þrJcCsä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+r r!) r5rrrrrrr r r rr"rrrrÚ)test_deltasummation_mul_add_x_kd_add_y_kdÚsF($ÿ ÿ(ÿ ÿ(ÿ ÿ(ÿ ÿ($ÿ ÿ($ÿ ÿ($ÿÿrKcCsttdd„ƒdS)NcSsttttƒtttƒtƒS)N)rrrrrr"rrrrÚósz$test_extract_delta..)rÚ ValueErrorrrrrÚtest_extract_deltaòsrNN)8Úsympy.concreterÚsympy.concrete.deltarrrr5rÚ sympy.corerrrr Úsympy.functionsr rr r Ú sympy.logicr Úsympy.testing.pytestrrrrr"r&rrrr#r$r%r'r(r)r,r/r0r3r4r6r:r<r=r?r@rBrDrErGrHrIrJrKrNrrrrÚsF