g=]TddlmZddlmZmZmZddlm Z m Z m Z m Z ddl mZmZmZddlmZddlmZe ddd \ZZZZZe d d \ZZd ZdZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'dZ(dZ)dZ*dZ+dZ,dZ-dZ.dZ/d Z0d!Z1d"Z2d#Z3d$Z4d%Z5d&Z6d'Z7d(S)))Sum) deltaproductdeltasummation_extract_delta)EqSsymbolsoo)KroneckerDelta Piecewisepiecewise_fold)And)raisesz i j k l mT)integerfinitezx yF) commutativectttddfdksJtttddftdzksJtttztddfttzdzksJtttztddfttzdzksJtt t tt ddft t tksJttt t tzt ddftdzt t tzksJtttzt t tzt ddfttzdzt t tzksJdSNr)dpxjyKDik[/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/concrete/tests/test_delta.pytest_deltaproduct_trivialr! s\ a!Q  q a!Q  q!t # # # # a!eaAY  AEA: - - - - acAq!9  !A# ) ) ) ) bAhhAq " "bAhh . . . . a1aj1a) $ $1R1XX 5 5 5 5 ac"Q((lQ1I & &1Q3(2a88*; ; ; ; ; ; ;rc2tttttddfdksJtttttddfttdksJtttttddfttdksJtttttddfttdksJtttttdtfttdttdzttdzksJttttttdfttdttdzttdzksJttttttt fttt ttt zttt dzzksJdSNrrr)rrrrrlrrr test_deltaproduct_basicr's bAhhAq " "a ' ' ' ' bAhhAq " "bAhh . . . . bAhhAq " "bAhh . . . . bAhhAq " "bAhh . . . . bAhhAq " "bAhhr!Qxx&7"Q((&B B B B B bAhhAq " "bAhhr!Qxx&7"Q((&B B B B B bAhhAq " "bAhhr!Qxx&7"QA,,&F F F F F F FrctttttztddfdksJtttttztddftttdzksJtttttztddftttdzksJtttttztddftttdzksJtttttztdt ftttdztt dztt dzksJtttttztt dftttdztt dztt dzksJtttttztt t ftttt ztt t ztt t dzzksJdSr#)rrrrrrr&rrr test_deltaproduct_mul_x_kdr) s a1aj1a) $ $ ) ) ) ) a1aj1a) $ $"Q(( 2 2 2 2 a1aj1a) $ $"Q(( 2 2 2 2 a1aj1a) $ $"Q(( 2 2 2 2 a1aj1a) $ $"Q(( 2a88(;bAhh(F F F F F a1aj1a) $ $"Q(( 2a88(;bAhh(F F F F F a1aj1a) $ $"Q(( 2a88(;bAEll(J J J J J J Jrctttzttt zt ddfdksJtttzttt zt ddfttzttdzksJtttzttt zt ddfttzttdzksJtttzttt zt ddfttzttdzksJtttzttt zt dt fttzttdztt dztt dzksJtttzttt zt t dfttzttdztt dztt dzksJtttzttt zt t tfttztttztt tztt tdzzksJdSr#)rrrrrrrr&rrr test_deltaproduct_mul_add_x_y_kdr+*s= q1ubAhhAq * *a / / / / q1ubAhhAq * *q1ubAhh.> > > > > q1ubAhhAq * *q1ubAhh.> > > > > q1ubAhhAq * *q1ubAhh.> > > > > q1ubAhhAq * * Q1aAq!Bq!HH, - - - - q1ubAhhAq * * Q1aAq!Bq!HH, - - - - q1ubAhhAq * * Q1aAq!Bq!a%LL0 1 1 1 1 1 1rc tttttttztddfdksJtttttttztddfttdttdzksJtttttttztddfttdttdzksJtttttttztddfttdttdzksJtttttttztdt ftt dttdtt dzzttdtt dzzttdttdztt dzzttdttdztt dzzksJtttttttztt dftt dttdtt dzzttdtt dzzttdttdztt dzzttdttdztt dzzksJtttttttztt t ftt t dzttt tt t zzttt tt t zzttt ttt dz ztt t dz zzttt dz ttt ztt t dz zzksJdSr#)rrrrrr&mrrr test_deltaproduct_add_kd_kdr.7s bAhhAq!Aq!9 - - 2 2 2 2 bAhhAq!Aq!9 - -AqBq!HH1D D D D D bAhhAq!Aq!9 - -AqBq!HH1D D D D D bAhhAq!Aq!9 - -AqBq!HH1D D D D D bAhhAq!Aq!9 - -Aq 1aAq2q!HHR1XX-2. 1aAq"Q(("2#%'1XXbAhh%6r!Qxx%?2@ @ @ @ @ bAhhAq!Aq!9 - -Aq 1aAq2q!HHR1XX-2. 1aAq"Q(("2#%'1XXbAhh%6r!Qxx%?2@ @ @ @ @ bAhhAq!Aq!9 - -Aq1u 1aAq2q!HHR1XX-2. 1aAq1ubAEll*2+-/1q5\\"Q((-B2aQ<<-O2P P P P P P Prc< ttttttt tzztddfdksJttttttt tzztddftttdtt dzzksJttttttt tzztddftttdtt dzzksJttttttt tzztddftttdtt dzzksJttttttt tzztdt ftt dtttdztt dzzttt dztt dzztdzttdztt dztt dzztdztt dzttdztt dzzksJttttttt tzztt dftt dtttdztt dzzttt dztt dzztdzttdztt dztt dzztdzttdztt dztt dzzksJttttttt tzztt tftt tdzttttztt tzzttt tztt tzztdztttdz ztt tztt tdz zztdztttztt tdz ztt tdz zzksJdSr#)rrrrrrr&r-rrr !test_deltaproduct_mul_x_add_kd_kdr0Gs> aAqBq!HH$%1ay 1 1Q 6 6 6 6 aAqBq!HH$%1ay 1 1Q1a2a888K5L L L L L aAqBq!HH$%1ay 1 1Q1a2a888K5L L L L L aAqBq!HH$%1ay 1 1Q1a2a888K5L L L L L aAqBq!HH$%1ay 1 1R1XX "Q(( 2a8861ajAq162 1R1XX bAhhr!Qxx'6(*+Q$r!Qxx-1a*@Aq*I6J J J J J aAqBq!HH$%1ay 1 1R1XX "Q(( 2a8861ajAq162 1R1XX bAhhr!Qxx'6(*+Q$r!Qxx-1a*@Aq*I6J J J J J aAqBq!HH$%1ay 1 1R1q5\\ "Q(( 2a8861ajAq162 1R1q5\\"Q(("2aQ<</60 1R1XX bAEll"2aQ<</60 0 0 0 0 0 0rctttzttt tt t zzt ddfdksJtttzttt tt t zzt ddfttzttdtt dzzksJtttzttt tt t zzt ddfttzttdtt dzzksJtttzttt tt t zzt ddfttzttdtt dzzksJtttzttt tt t zzt dtfttdttzttdzttdzzttztt dzttdzzttzdzttdztt dzttdzzttzdztt dzttdzttdzzksJtttzttt tt t zzt tdfttdttzttdzttdzzttztt dzttdzzttzdzttdztt dzttdzzttzdzttdztt dzttdzzksJtttzttt tt t zzt ttftttdzttztttztttzzttztt tztttzzttzdztttdz ztt tztttdz zzttzdztttztt tdz ztttdz zzksJdSr#) rrrrrrrr&r-rrr 'test_deltaproduct_mul_add_x_y_add_kd_kdr2Xs q1ur!Qxx"Q((*+aAY 7 71 < < < < q1ur!Qxx"Q((*+aAY 7 7 QAqBq!HH$% & & & & q1ur!Qxx"Q((*+aAY 7 7 QAqBq!HH$% & & & & q1ur!Qxx"Q((*+aAY 7 7 QAqBq!HH$% & & & & q1ur!Qxx"Q((*+aAY 7 72a88 Q1aAq!<"%&UBq!HH$4R1XX$=<> Q 2a88Bq!HH$R1XX-<. Q 2a88Bq!HH$R1XX-<. . . . . q1ur!Qxx"Q((*+aAY 7 72a88 Q1aAq!<"%&UBq!HH$4R1XX$=<> Q 2a88Bq!HH$R1XX-<. Q 2a88Bq!HH$R1XX-<. . . . . q1ur!Qxx"Q((*+aAY 7 72aQ<< Q1aAq!<"%&UBq!HH$4R1XX$=<> Q 2aQ<<1a(Aq1u5<6 Q 2a88Bq!a%LL(Aq1u5<6 6 6 6 6 6 6rc V tttztttt zzt ddfttzdztttzdzzttdzzttztzttzzttdzzttzdztzttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt dt fttzt ztttztdz ztzttzt tz zztdtktt kfdzksJtttztttt zzt t dfttzt dzztttztt z ztzttzdtz zztt tktdkfdzksJtttztttt zzt t tfttzt tzdzztttztt z ztzttzttz zztt tkttkfdzksJdSNrrr$rTr%) rrrrrrrr rr&rrr &test_deltaproduct_add_mul_x_y_mul_x_kdr6nsy acAbAhhJAq * *qsQh 1Q3( 2a88/ sAgqsmBq!HH4/589!axz"Q((7J/K K K K K acAbAhhJAq * *acAbAhhJ.> > > > > acAbAhhJAq * *acAbAhhJ.> > > > > acAbAhhJAq * *acAbAhhJ.> > > > > acAbAhhJAq * * 1q9cQU^A qsa!en ,c!q&!q&.A.A B        acAbAhhJAq * * 1Q)cQU^A qsa!en ,c!q&!q&.A.A B        acAbAhhJAq * * 1Q icQU^A qsa!en ,c!q&!q&.A.A B          rc " tttttt zzt ddfttzdztttzdzzttdzzttztzttzzttdzzttzdztzttdzzksJtttttt zzt ddfttttdzzksJtttttt zzt ddfttttdzzksJtttttt zzt ddfttttdzzksJtttttt zzt dt fttzt ztttztdz ztzttzt tz zztdtktt kfd zksJtttttt zzt t dfttzt dzztttztt z ztzttzdtz zztt tktdkfdz ksJtttttt zzt t tfttzt tzdzztttztt z ztzttzttz zztt tkttkfdz ksJdSr4 rrrrrrrr rexpandr&rrr test_deltaproduct_mul_x_add_y_kdr:sr aR1XXAq * *qsQh 1Q3( 2a88/ sAgqsmBq!HH4/589!axz"Q((7J/K K K K K aR1XXAq * *aR1XX.> > > > > aR1XXAq * *aR1XX.> > > > > aR1XXAq * *aR1XX.> > > > > aR1XXAq * * 1q9cQU^A qsa!en ,c!q&!q&.A.A B    &((      aR1XXAq * * A#!a9cQU^A qsa!en ,c!q&!q&.A.A B     688      aR1XXAq * * A#!a! ycQU^A qsa!en ,c!q&!q&.A.A B     688       rc  tttdttt zzzt ddfttzdzdtzttzdzzttdzzdtztztztztzttdzzdttzdzztzttdzzksJtttdttt zzzt ddfttdttdzzzksJtttdttt zzzt ddfttdttdzzzksJtttdttt zzzt ddfttdttdzzzksJtttdttt zzzt dt fttzt ztdttztdz zztzttzt tz zztdtktt kfd zksJtttdttt zzzt t dfttzt dzztdttztt z zztzttzdtz zztt tktdkfdz ksJtttdttt zzzt t tfttzt tzdzztdttztt z zztzttzttz zztt tkttkfdz ksJdS)Nr$rrr5r%r8rrr #test_deltaproduct_mul_x_add_y_twokdr<s aQr!QxxZ 1a) , ,1q !QqS1H R1XX1 !!Aa ! Bq!HH 41578!A#z!|Bq!HH7L1M M M M M aQr!QxxZ 1a) , ,1qAqz>0B B B B B aQr!QxxZ 1a) , ,1qAqz>0B B B B B aQr!QxxZ 1a) , ,1qAqz>0B B B B B aQr!QxxZ 1a) , , 1q9 !q1u~ a 1A .AFAF0C0C D    &((      aQr!QxxZ 1a) , , A#!a9 !q1u~ a 1A .AFAF0C0C D     688      aQr!QxxZ 1a) , , A#!a! y !q1u~ a 1A .AFAF0C0C D     688       rc tttztttt zzt ddfttztzdzttzttztzdzzttdzzttztzttzdzztzttdzzttztzdzttzzttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt ddfttztttdzzksJtttztttt zzt dt fttztzt ztttztzdzttztztzzttzzttztzt zzttztzt zztdktt kzfdzksJtttztttt zzt t dfttztzdzttztzt zztttztztzttztzt zzttzzttztzdzzttztzt zztt ktdkzfdzksJtttztttt zzt t tfttztzttztztzzttztzt zztttztztzttztzt zzttzzttztztzzttztzt zztt kttkzfdzksJdSNrrr$r5r%) rrrrrrrr r&rrr &test_deltaproduct_mul_add_x_y_add_y_kdr@s| q1uq2a88|$q!Qi 0 0a!eQYN Q!a%Qr!Qxx'5( Q 1q51*Qr!Qxx'5( a%QAr!Qxx'5( ( ( ( ( q1uq2a88|$q!Qi 0 0QUQAq\4J J J J J q1uq2a88|$q!Qi 0 0QUQAq\4J J J J J q1uq2a88|$q!Qi 0 0QUQAq\4J J J J J q1uq2a88|$q!Qi 0 0 a%Q1uai2 Q A~ -q1u 5Aqy7q5!)r"#%&!VQ$7 9:CEE E E E E E q1uq2a88|$q!Qi 0 0 Q A5AqyQB'5(*3q1uai!^ Q aRE6a%6!#$q5!)a6023a%qb0A6B aAF5'+)+)5) ) ) ) ) q1uq2a88|$q!Qi 0 0 Q AE19q. 1q5!)r!22Y q5!)a!a%qb) )1q5 1AE19 3  1uaiA2  !"aAF 3 56?6A6A A A A A A A Arc tttttzt ttt zzt ddfttdttttzzttttzt zdzzttdttttzzt zttttzdzzt zzttdttttzt zdzzttttzzzttttzt zdzzksJtttttzt ttt zzt ddfttttzt ttdzzksJtttttzt ttt zzt ddfttttzt ttdzzksJtttttzt ttt zzt ddfttttzt ttdzzksJtttttzt ttt zzt dtfttttzt ztztttttzt zdzttttzt ztzzttttzzttttzt ztzzttttzt zt zztdkttkzfdzksJtttttzt ttt zzt tdfttttzt zdzttttzt zt zztttttzt ztzttttzt zt zzttttzzttttzt zdzzttttzt zt zzttktdkzfdzksJtttttzt ttt zzt ttfttttzt zttttzt ztzzttttzt zt zztttttzt ztzttttzt zt zzttttzzttttzt ztzzttttzt zt zzttkttkzfdzksJdSr>) rrrrrrrr r&rrr 'test_deltaproduct_mul_add_x_kd_add_y_kdrBs q2a88|a"Q((l+aAY 7 7 1a"Q((Q,"Q((Q,!1A 55 1a"Q((Q,!2a88a > > > a1aj1rc2, ' '1 , , , , a1aj1rc2, ' '1 , , , , a!Q  qs " " " " q1ubAhhRC - -1 4 4 4 4 4 4rc tttttddft dt dtktdkfdksJtttttddft dt tdfdksJtttttddft dt tdfdksJtttttddft dt tdfdksJtttttdtft dt dtkttkfdksJttttttdft dt ttktdkfdksJtttttttft dt ttkttkfdksJdSNrrr5r$) rDrrrr rrrr&rrr "test_deltasummation_basic_symbolicrMs bAhhAq " "1c!q&!q&))*I66 7 7 7 7 bAhhAq " "iBq!HH y&I&I I I I I bAhhAq " "iBq!HH y&I&I I I I I bAhhAq " "iBq!HH y&I&I I I I I bAhhAq " "1c!q&!q&))*I66 7 7 7 7 bAhhAq " "1c!q&!q&))*I66 7 7 7 7 bAhhAq " "1c!q&!q&))*I66 7 7 7 7 7 7rc Rtttttztddft tt dtktdkfdksJtttttztddft tttdfdksJtttttztddft tttdfdksJtttttztddft tttdfdksJtttttztdtft tt dtkttkfdksJtttttzttdft tt ttktdkfdksJtttttztttft tt ttkttkfdksJdSrL) rDrrrrr rrrr&rrr test_deltasummation_mul_x_kdrOs1 a1aj1a) $ $1c!q&!q&))*I66 7 7 7 7 a1aj1a) $ $ 1bAhh-(K(K K K K K a1aj1a) $ $ 1bAhh-(K(K K K K K a1aj1a) $ $ 1bAhh-(K(K K K K K a1aj1a) $ $1c!q&!q&))*I66 7 7 7 7 a1aj1a) $ $1c!q&!q&))*I66 7 7 7 7 a1aj1a) $ $1c!q&!q&))*I66 7 7 7 7 7 7rc 2tttzttt zt ddft ttztdtktdkfdksJtttzttt zt ddft ttzttdfdksJtttzttt zt ddft ttzttdfdksJtttzttt zt ddft ttzttdfdksJtttzttt zt dtft ttztdtkttkfdksJtttzttt zt tdft ttztttktdkfdksJtttzttt zt ttft ttztttkttkfdksJdSrL rDrrrrrr rrrr&rrr "test_deltasummation_mul_add_x_y_kdrR#s q1ubAhhAq * *1q5#a1fa1f--. :: ; ; ; ; q1ubAhhAq * *1q5"Q((#Y// 0 0 0 0 q1ubAhhAq * *1q5"Q((#Y// 0 0 0 0 q1ubAhhAq * *1q5"Q((#Y// 0 0 0 0 q1ubAhhAq * *1q5#a1fa1f--. :: ; ; ; ; q1ubAhhAq * *1q5#a1fa1f--. :: ; ; ; ; q1ubAhhAq * *1q5#a1fa1f--. :: ; ; ; ; ; ;rc p tttttttztddft t dtdtktdkfdt dtdtktdkfdzksJtttttttztddft t dttdfdt dttdfdzksJtttttttztddft t dttdfdt dttdfdzksJtttttttztddft t dttdfdt dttdfdzksJtttttttztdtft t dtdtkttkfdt dtdtkttkfdzksJtttttttzttdft t dtttktdkfdt dtttktdkfdzksJtttttttztttft t dtttkttkfdt dtttkttkfdzksJdSrL) rDrrrrr r rrr&r-rrr test_deltasummation_add_kd_kdrT4s bAhhAq!Aq!9 - -1c!q&!q&))*I661c!q&!q&))*I66 72828 8 8 8 8 bAhhAq!Aq!9 - -1bAhh-++1bAhh-++ ,2-2- - - - - bAhhAq!Aq!9 - -1bAhh-++1bAhh-++ ,2-2- - - - - bAhhAq!Aq!9 - -1bAhh-++1bAhh-++ ,2-2- - - - - bAhhAq!Aq!9 - -1c!q&!q&))*I661c!q&!q&))*I66 72828 8 8 8 8 bAhhAq!Aq!9 - -1c!q&!q&))*I661c!q&!q&))*I66 72828 8 8 8 8 bAhhAq!Aq!9 - -1c!q&!q&))*I661c!q&!q&))*I66 72828 8 8 8 8 8 8rc & tttttztt tztddft tttdtktdkfdtdtdt kt dkfdzksJtttttztt tztddft ttttdfdtdtt dfdzksJtttttztt tztddft ttttdfdtdtt dfdzksJtttttztt tztddft ttttdfdtdtt dfdzksJtttttztt tztdtft tttdtkttkfdtdtdt kt tkfdzksJtttttztt tzttdft tttttktdkfdtdttt kt dkfdzksJtttttztt tztttft tttttkttkfdtdttt kt tkfdzksJdSrL rDrrrrrr r rrr&r-rrr #test_deltasummation_add_mul_x_kd_kdrWLs a1aj2a88#aAY / />1c!q&!q&))*I661c!q&!q&))*I66 74848 8 8 8 8 a1aj2a88#aAY / />1bAhh-++1bAhh-++ ,4-4- - - - - a1aj2a88#aAY / />1bAhh-++1bAhh-++ ,4-4- - - - - a1aj2a88#aAY / />1bAhh-++1bAhh-++ ,4-4- - - - - a1aj2a88#aAY / />1c!q&!q&))*I661c!q&!q&))*I66 74848 8 8 8 8 a1aj2a88#aAY / />1c!q&!q&))*I661c!q&!q&))*I66 74848 8 8 8 8 a1aj2a88#aAY / />1c!q&!q&))*I661c!q&!q&))*I66 74848 8 8 8 8 8 8rc l ttttttt tzztddft tttdtktdkfdtttdt kt dkfdzksJttttttt tzztddft ttttdfdtttt dfdzksJttttttt tzztddft ttttdfdtttt dfdzksJttttttt tzztddft ttttdfdtttt dfdzksJttttttt tzztdtft tttdtkttkfdtttdt kt tkfdzksJttttttt tzzttdft tttttktdkfdttttt kt dkfdzksJttttttt tzztttft tttttkttkfdttttt kt tkfdzksJdSrLrVrrr #test_deltasummation_mul_x_add_kd_kdrYds  aAqBq!HH$%1ay 1 1^1c!q&!q&))*I661c!q&!q&))*I66 76868 8 8 8 8 aAqBq!HH$%1ay 1 1^1bAhh-++1bAhh-++ ,6-6- - - - - aAqBq!HH$%1ay 1 1^1bAhh-++1bAhh-++ ,6-6- - - - - aAqBq!HH$%1ay 1 1^1bAhh-++1bAhh-++ ,6-6- - - - - aAqBq!HH$%1ay 1 1^1c!q&!q&))*I661c!q&!q&))*I66 76868 8 8 8 8 aAqBq!HH$%1ay 1 1^1c!q&!q&))*I661c!q&!q&))*I66 76868 8 8 8 8 aAqBq!HH$%1ay 1 1^1c!q&!q&))*I661c!q&!q&))*I66 76868 8 8 8 8 8 8rc  tttzttt tt t zzt ddfttttztdtktdkfdtttztdt kt dkfdzksJtttzttt tt t zzt ddfttttzttdfdtttztt dfdzksJtttzttt tt t zzt ddfttttzttdfdtttztt dfdzksJtttzttt tt t zzt ddfttttzttdfdtttztt dfdzksJtttzttt tt t zzt dtfttttztdtkttkfdtttztdt kt tkfdzksJtttzttt tt t zzt tdfttttztttktdkfdtttzttt kt dkfdzksJtttzttt tt t zzt ttfttttztttkttkfdtttzttt kt tkfdzksJdSrL) rDrrrrrrr r rrr&r-rrr )test_deltasummation_mul_add_x_y_add_kd_kdr[|sf q1ur!Qxx"Q((*+aAY 7 7>1q5#a1fa1f--. ::1q5#a1fa1f--. :: ;<<<< < < < < q1ur!Qxx"Q((*+aAY 7 7>1q5"Q((#Y//1q5"Q((#Y// 0<1<1 1 1 1 1 q1ur!Qxx"Q((*+aAY 7 7>1q5"Q((#Y//1q5"Q((#Y// 0<1<1 1 1 1 1 q1ur!Qxx"Q((*+aAY 7 7>1q5"Q((#Y//1q5"Q((#Y// 0<1<1 1 1 1 1 q1ur!Qxx"Q((*+aAY 7 7>1q5#a1fa1f--. ::1q5#a1fa1f--. :: ;<<<< < < < < q1ur!Qxx"Q((*+aAY 7 7>1q5#a1fa1f--. ::1q5#a1fa1f--. :: ;<<<< < < < < q1ur!Qxx"Q((*+aAY 7 7>1q5#a1fa1f--. ::1q5#a1fa1f--. :: ;<<<< < < < < < 2a88a<Q!VQ!V!4!45yAA 2a88a< <<     q2a88|a"Q((l+aAY 7 7>2a88a<Aq*I66 AqAq <<     q2a88|a"Q((l+aAY 7 7>2a88a<Aq*I66 AqAq <<     q2a88|a"Q((l+aAY 7 7>2a88a<Aq*I66 AqAq <<     q2a88|a"Q((l+aAY 7 7>2a88a<Q!VQ!V!4!45yAA 2a88a< <<     q2a88|a"Q((l+aAY 7 7>2a88a<Q!VQ!V!4!45yAA QAqAq  !<"<" " " " " q2a88|a"Q((l+aAY 7 7>2a88a<Q!VQ!V!4!45yAA QR1XX\"1$ %<&<& & & & & & &rc2ttddS)Ncttttttt ztS)N)rrrrrr&rrr z$test_extract_delta..s%~bAhhAq.A1EEr)r ValueErrorrrr test_extract_deltarks :EEFFFFFrN)8sympy.concretersympy.concrete.deltarrrrDr sympy.corerrr r sympy.functionsr rr r sympy.logicrsympy.testing.pytestrrrrr&r-rrr!r'r)r+r.r0r2r6r:r<r@rBrErJrMrOrRrTrWrYr[r^r`rbrdrfrkrrr rrsYYYYYYYYYY))))))))))))KKKKKKKKKK'''''' T$??? 1aAwu%(((1<<<GGGKKK 1 1 1 P P P 000"666,   ...AAA,555:999555. 7 7 7 7 7 7;;;"888088808880<<<0MMM"MMM"OOO"'''&&&&0GGGGGr