Ë
    7^(h=]  ã                   óF  — d dl mZ d dlmZmZmZ d dlm	Z	m
Z
mZmZ d dlmZmZmZ d dlmZ d dlmZ  eddd¬	«      \  ZZZZZ ed
d¬«      \  ZZd„ Zd„ Zd„ Zd„ Z d„ Z!d„ Z"d„ Z#d„ Z$d„ Z%d„ Z&d„ Z'd„ Z(d„ Z)d„ Z*d„ Z+d„ Z,d„ Z-d„ Z.d„ Z/d „ Z0d!„ Z1d"„ Z2d#„ Z3d$„ Z4d%„ Z5d&„ Z6d'„ Z7y())é    )ÚSum)ÚdeltaproductÚdeltasummationÚ_extract_delta)ÚEqÚSÚsymbolsÚoo)ÚKroneckerDeltaÚ	PiecewiseÚpiecewise_fold)ÚAnd)Úraisesz	i j k l mT)ÚintegerÚfinitezx yF)Úcommutativec                  ó  — t        t        t        ddf«      dk(  sJ ‚t        t        t        ddf«      t        dz  k(  sJ ‚t        t        t        z   t        ddf«      t        t        z   dz  k(  sJ ‚t        t        t        z  t        ddf«      t        t        z  dz  k(  sJ ‚t        t	        t
        t        «      t        ddf«      t	        t
        t        «      k(  sJ ‚t        t        t	        t
        t        «      z  t        ddf«      t        dz  t	        t
        t        «      z  k(  sJ ‚t        t        t        z  t	        t
        t        «      z  t        ddf«      t        t        z  dz  t	        t
        t        «      z  k(  sJ ‚y ©Né   r   é   )ÚdpÚxÚjÚyÚKDÚiÚk© ó    ú]/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/sympy/concrete/tests/test_delta.pyÚtest_deltaproduct_trivialr!      s   € ÜŒa”!�Q˜�Ó˜qÒ Ð Ð ÜŒa”!�Q˜�Óœq !™tÒ#Ð#Ð#ÜŒa”!‰e”a˜˜A�YÓ¤A¬¡E¨A¡:Ò-Ð-Ð-ÜŒa”‰c”A�q˜!�9Ó¤!¤A¡#¨¡Ò)Ð)Ð)ÜŒb””A‹hœ˜A˜q˜	Ó"¤b¬¬A£hÒ.Ð.Ð.ÜŒa””1”a“‰jœ1˜a ˜)Ó$¬¨1©¬R´´1«X©Ò5Ð5Ð5ÜŒa”‰c”"”Qœ“(‰lœQ  1˜IÓ&¬1¬Q©3°©(´2´a¼³8Ñ*;Ò;Ð;Ñ;r   c                  ó  — t        t        t        t        «      t        ddf«      dk(  sJ ‚t        t        t        t        «      t        ddf«      t        t        d«      k(  sJ ‚t        t        t        t        «      t        ddf«      t        t        d«      k(  sJ ‚t        t        t        t        «      t        ddf«      t        t        d«      k(  sJ ‚t        t        t        t        «      t        dt        f«      t        t        d«      t        t        d«      z  t        t        d«      z   k(  sJ ‚t        t        t        t        «      t        t        df«      t        t        d«      t        t        d«      z  t        t        d«      z   k(  sJ ‚t        t        t        t        «      t        t        t
        f«      t        t        t
        «      t        t        t
        «      z  t        t        t
        dz   «      z   k(  sJ ‚y ©Nr   r   r   é   é   )r   r   r   r   r   Úlr   r   r    Útest_deltaproduct_basicr'      sS  € ÜŒb””A‹hœ˜A˜q˜	Ó" aÒ'Ð'Ð'ÜŒb””A‹hœ˜A˜q˜	Ó"¤b¬¨A£hÒ.Ð.Ð.ÜŒb””A‹hœ˜A˜q˜	Ó"¤b¬¨A£hÒ.Ð.Ð.ÜŒb””A‹hœ˜A˜q˜	Ó"¤b¬¨A£hÒ.Ð.Ð.ÜŒb””A‹hœ˜Aœq˜	Ó"¤b¬¨A£h¬r´!°Q«xÑ&7¼"¼QÀ»(Ñ&BÒBÐBÐBÜŒb””A‹hœœA˜q˜	Ó"¤b¬¨A£h¬r´!°Q«xÑ&7¼"¼QÀ»(Ñ&BÒBÐBÐBÜŒb””A‹hœœAœq˜	Ó"¤b¬¬A£h¬r´!´Q«xÑ&7¼"¼QÄÀAÁ»,Ñ&FÒFÐFÑFr   c                  ó¸  — t        t        t        t        t        «      z  t        ddf«      dk(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        d«      z  k(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        d«      z  k(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        d«      z  k(  sJ ‚t        t        t        t        t        «      z  t        dt
        f«      t        t        t        d«      z  t        t
        d«      z  t        t
        d«      z   k(  sJ ‚t        t        t        t        t        «      z  t        t
        df«      t        t        t        d«      z  t        t
        d«      z  t        t
        d«      z   k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        f«      t        t        t        t        «      z  t        t
        t        «      z  t        t
        t        dz   «      z   k(  sJ ‚y r#   )r   r   r   r   r   r   r&   r   r   r    Útest_deltaproduct_mul_x_kdr)       s‡  € ÜŒa””1”a“‰jœ1˜a ˜)Ó$¨Ò)Ð)Ð)ÜŒa””1”a“‰jœ1˜a ˜)Ó$¬¬"¬Q°«(©
Ò2Ð2Ð2ÜŒa””1”a“‰jœ1˜a ˜)Ó$¬¬"¬Q°«(©
Ò2Ð2Ð2ÜŒa””1”a“‰jœ1˜a ˜)Ó$¬¬"¬Q°«(©
Ò2Ð2Ð2ÜŒa””1”a“‰jœ1˜a¤˜)Ó$¬¬"¬Q°«(©
´2´a¸³8Ñ(;¼bÄÀA»hÑ(FÒFÐFÐFÜŒa””1”a“‰jœ1œa ˜)Ó$¬¬"¬Q°«(©
´2´a¸³8Ñ(;¼bÄÀA»hÑ(FÒFÐFÐFÜŒa””1”a“‰jœ1œa¤˜)Ó$¬¬"¬Q´«(©
´2´a¼³8Ñ(;¼bÄÄAÈÁE»lÑ(JÒJÐJÑJr   c                  ón  — t        t        t        z   t        t        t
        «      z  t
        ddf«      dk(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        z   t        t        d«      z  k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        z   t        t        d«      z  k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        z   t        t        d«      z  k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        dt        f«      t        t        z   t        t        d«      z  t        t        d«      z  t        t        d«      z   k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        t        df«      t        t        z   t        t        d«      z  t        t        d«      z  t        t        d«      z   k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        t        t        f«      t        t        z   t        t        t        «      z  t        t        t        «      z  t        t        t        dz   «      z   k(  sJ ‚y r#   )r   r   r   r   r   r   r   r&   r   r   r    Ú test_deltaproduct_mul_add_x_y_kdr+   *   sÝ  € ÜŒq”1‰u”bœœA“hÑ¤ A q 	Ó*¨aÒ/Ð/Ð/ÜŒq”1‰u”bœœA“hÑ¤ A q 	Ó*¬q´1©u´b¼¸A³hÑ.>Ò>Ð>Ð>ÜŒq”1‰u”bœœA“hÑ¤ A q 	Ó*¬q´1©u´b¼¸A³hÑ.>Ò>Ð>Ð>ÜŒq”1‰u”bœœA“hÑ¤ A q 	Ó*¬q´1©u´b¼¸A³hÑ.>Ò>Ð>Ð>ÜŒq”1‰u”bœœA“hÑ¤ A¤q 	Ó*Ü	
ŒQ‰””1�a“ÑœœA˜q›Ñ!¤B¤q¨!£HÑ,ò-ð -ð -äŒq”1‰u”bœœA“hÑ¤¤A q 	Ó*Ü	
ŒQ‰””1�a“ÑœœA˜q›Ñ!¤B¤q¨!£HÑ,ò-ð -ð -äŒq”1‰u”bœœA“hÑ¤¤A¤q 	Ó*Ü	
ŒQ‰””1”a“ÑœœAœq›Ñ!¤B¤q¬!¨a©%£LÑ0ò1ð 1ñ 1r   c                  ó	  — t        t        t        t        «      t        t        t        «      z   t        ddf«      dk(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        d«      t        t        d«      z   k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        d«      t        t        d«      z   k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        d«      t        t        d«      z   k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        dt
        f«      t        t
        d«      t        t        d«      t        t
        d«      z  z   t        t        d«      t        t
        d«      z  z   t        t        d«      t        t        d«      z  t        t
        d«      z  z   t        t        d«      t        t        d«      z  t        t
        d«      z  z   k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        t
        df«      t        t
        d«      t        t        d«      t        t
        d«      z  z   t        t        d«      t        t
        d«      z  z   t        t        d«      t        t        d«      z  t        t
        d«      z  z   t        t        d«      t        t        d«      z  t        t
        d«      z  z   k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        t
        t        f«      t        t
        t        dz   «      t        t        t        «      t        t
        t        «      z  z   t        t        t        «      t        t
        t        «      z  z   t        t        t        «      t        t        t        dz
  «      z  t        t
        t        dz
  «      z  z   t        t        t        dz
  «      t        t        t        «      z  t        t
        t        dz
  «      z  z   k(  sJ ‚y r#   )r   r   r   r   r   r&   Úmr   r   r    Útest_deltaproduct_add_kd_kdr.   7   s  € ÜŒb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-°Ò2Ð2Ð2ÜŒb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´´A°q³¼B¼qÀ!»HÑ1DÒDÐDÐDÜŒb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´´A°q³¼B¼qÀ!»HÑ1DÒDÐDÐDÜŒb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´´A°q³¼B¼qÀ!»HÑ1DÒDÐDÐDÜŒb””A‹hœœAœq›Ñ!¤A q¬! 9Ó-´´A°q³Ü
Œ1ˆa‹””A�q“Ññ2Üœq !›H¤R¬¨1£XÑ-ñ2.ä
Œ1ˆa‹””A�q“Ñœ"œQ ›(Ñ"ñ2#ä%'¬¨1£X¬b´°A«hÑ%6´r¼!¸Q³xÑ%?ñ2@ò @ð @ð @ô Œb””A‹hœœAœq›Ñ!¤A¤q¨! 9Ó-´´A°q³Ü
Œ1ˆa‹””A�q“Ññ2Üœq !›H¤R¬¨1£XÑ-ñ2.ä
Œ1ˆa‹””A�q“Ñœ"œQ ›(Ñ"ñ2#ä%'¬¨1£X¬b´°A«hÑ%6´r¼!¸Q³xÑ%?ñ2@ò @ð @ð @ô Œb””A‹hœœAœq›Ñ!¤A¤q¬! 9Ó-´´A´q¸1±u³Ü
Œ1Œa‹””A”q“Ññ2Üœq¤!›H¤R¬¬1£XÑ-ñ2.ä
Œ1Œa‹””A”q˜1‘u“Ñœb¤¤A¨¡E›lÑ*ñ2+ä-/´´1°q±5«\¼"¼QÄ»(Ñ-BÄ2ÄaÌÈQÉÃ<Ñ-Oñ2Pò Pð Pñ Pr   c                  ón
  — t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      dk(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        d«      t        t
        d«      z   z  k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        d«      t        t
        d«      z   z  k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        d«      t        t
        d«      z   z  k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        dt        f«      t        t        d«      t        t        t        d«      z  t        t        d«      z  z   t        t        t
        d«      z  t        t        d«      z  z   t        dz  t        t        d«      z  t        t
        d«      z  t        t        d«      z  z   t        dz  t        t
        d«      z  t        t        d«      z  t        t        d«      z  z   k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        t        df«      t        t        d«      t        t        t        d«      z  t        t        d«      z  z   t        t        t
        d«      z  t        t        d«      z  z   t        dz  t        t        d«      z  t        t
        d«      z  t        t        d«      z  z   t        dz  t        t        d«      z  t        t
        d«      z  t        t        d«      z  z   k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        t        t        f«      t        t        t        dz   «      t        t        t        t        «      z  t        t        t        «      z  z   t        t        t
        t        «      z  t        t        t        «      z  z   t        dz  t        t        t        dz
  «      z  t        t
        t        «      z  t        t        t        dz
  «      z  z   t        dz  t        t        t        «      z  t        t
        t        dz
  «      z  t        t        t        dz
  «      z  z   k(  sJ ‚y r#   )r   r   r   r   r   r   r&   r-   r   r   r    Ú!test_deltaproduct_mul_x_add_kd_kdr0   G   s˜  € ÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1°QÒ6Ð6Ð6ÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´Q¼¼1¸a»Ä2ÄaÈÃ8Ñ8KÑ5LÒLÐLÐLÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´Q¼¼1¸a»Ä2ÄaÈÃ8Ñ8KÑ5LÒLÐLÐLÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´Q¼¼1¸a»Ä2ÄaÈÃ8Ñ8KÑ5LÒLÐLÐLÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¬a yÓ1´R¼¸1³XÜ	Œ"ŒQ�‹(‰
”2”a˜“8Ññ6Ü¤¤1 a£™j¬¬A¨q«Ñ1ñ62ä	ˆ1‰ŒR”�1‹X‰”bœ˜A“hÑœr¤! Q›xÑ'ñ6(ä*+¨Q©$¬r´!°Q«x©-¼¼1¸a»Ñ*@ÄÄAÀqÃÑ*Iñ6Jò Jð Jð Jô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¬1¨a yÓ1´R¼¸1³XÜ	Œ"ŒQ�‹(‰
”2”a˜“8Ññ6Ü¤¤1 a£™j¬¬A¨q«Ñ1ñ62ä	ˆ1‰ŒR”�1‹X‰”bœ˜A“hÑœr¤! Q›xÑ'ñ6(ä*+¨Q©$¬r´!°Q«x©-¼¼1¸a»Ñ*@ÄÄAÀqÃÑ*Iñ6Jò Jð Jð Jô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¬1¬a yÓ1´R¼¼1¸q¹5³\Ü	Œ"ŒQ”‹(‰
”2”aœ“8Ññ6Ü¤¤1¤a£™j¬¬A¬q«Ñ1ñ62ä	ˆ1‰ŒR””1�q‘5‹\Ñœ"œQ¤›(Ñ"¤2¤a¬¨Q©£<Ñ/ñ60ô 	
ˆ1‰ŒR””1‹X‰”bœœA ™E“lÑ"¤2¤a¬¨Q©£<Ñ/ñ60ò 0ð 0ñ 0r   c                  ó¢  — t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      dk(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        d«      t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        d«      t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        d«      t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        dt        f«      t        t        d«      t        t        z   t        t        d«      z  t        t        d«      z  z   t        t        z   t        t        d«      z  t        t        d«      z  z   t        t        z   dz  t        t        d«      z  t        t        d«      z  t        t        d«      z  z   t        t        z   dz  t        t        d«      z  t        t        d«      z  t        t        d«      z  z   k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        t        df«      t        t        d«      t        t        z   t        t        d«      z  t        t        d«      z  z   t        t        z   t        t        d«      z  t        t        d«      z  z   t        t        z   dz  t        t        d«      z  t        t        d«      z  t        t        d«      z  z   t        t        z   dz  t        t        d«      z  t        t        d«      z  t        t        d«      z  z   k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        t        t        f«      t        t        t        dz   «      t        t        z   t        t        t        «      z  t        t        t        «      z  z   t        t        z   t        t        t        «      z  t        t        t        «      z  z   t        t        z   dz  t        t        t        dz
  «      z  t        t        t        «      z  t        t        t        dz
  «      z  z   t        t        z   dz  t        t        t        «      z  t        t        t        dz
  «      z  t        t        t        dz
  «      z  z   k(  sJ ‚y r#   )	r   r   r   r   r   r   r   r&   r-   r   r   r    Ú'test_deltaproduct_mul_add_x_y_add_kd_kdr2   X   s  € ÜŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7¸1Ò<Ð<Ð<ÜŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7Ü	
ŒQ‰””A�q“œBœq !›HÑ$Ñ%ò&ð &ð &äŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7Ü	
ŒQ‰””A�q“œBœq !›HÑ$Ñ%ò&ð &ð &äŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7Ü	
ŒQ‰””A�q“œBœq !›HÑ$Ñ%ò&ð &ð &äŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°´A¨YÓ7¼2¼aÀ»8Ü	
ŒQ‰””1�a“ÑœœA˜q›Ñ!ñ<"Ü%&¬¡U¬B¬q°!«HÑ$4´R¼¸1³XÑ$=ñ<>ä	
ŒQ‰�‰
”2”a˜“8ÑœBœq !›HÑ$¤R¬¨1£XÑ-ñ<.ô 
ŒQ‰�‰
”2”a˜“8ÑœBœq !›HÑ$¤R¬¨1£XÑ-ñ<.ò .ð .ð .ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a´°A¨YÓ7¼2¼aÀ»8Ü	
ŒQ‰””1�a“ÑœœA˜q›Ñ!ñ<"Ü%&¬¡U¬B¬q°!«HÑ$4´R¼¸1³XÑ$=ñ<>ä	
ŒQ‰�‰
”2”a˜“8ÑœBœq !›HÑ$¤R¬¨1£XÑ-ñ<.ô 
ŒQ‰�‰
”2”a˜“8ÑœBœq !›HÑ$¤R¬¨1£XÑ-ñ<.ò .ð .ð .ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a´´A¨YÓ7¼2¼aÄÀQÁ»<Ü	
ŒQ‰””1”a“ÑœœAœq›Ñ!ñ<"Ü%&¬¡U¬B¬q´!«HÑ$4´R¼¼1³XÑ$=ñ<>ä	
ŒQ‰�‰
”2”aœ˜Q™“<Ñ¤¤1¤a£Ñ(¬¬A¬q°1©u«Ñ5ñ<6ô 
ŒQ‰�‰
”2”aœ“8ÑœBœq¤! a¡%›LÑ(¬¬A¬q°1©u«Ñ5ñ<6ò 6ð 6ñ 6r   c            
      ó|  — t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        z  dz  t        t        t        z  dz  z  t        t        d«      z  z   t        t        z  t        z  t        t        z  z  t        t        d«      z  z   t        t        z  dz  t        z  t        t        d«      z  z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        z  t        t        t        d«      z  z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        z  t        t        t        d«      z  z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        z  t        t        t        d«      z  z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        dt        f«      t        t        z  t        z  t        t        t        z  t        dz
  z  t        z  t        t        z  t        t        z
  z  z  t        dt        k  t        t        k  «      fd«      z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        t        df«      t        t        z  t         dz   z  t        t        t        z  t        t        z
  z  t        z  t        t        z  dt        z
  z  z  t        t        t        k  t        dk  «      fd«      z   k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        t        t        f«      t        t        z  t         t        z   dz   z  t        t        t        z  t        t        z
  z  t        z  t        t        z  t        t        z
  z  z  t        t        t        k  t        t        k  «      fd«      z   k(  sJ ‚y ©Nr   r   r$   ©r   Tr%   )
r   r   r   r   r   r   r   r   r   r&   r   r   r    Ú&test_deltaproduct_add_mul_x_y_mul_x_kdr6   n   s
  € ÜŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*¬q´©s°Q©hÜ	Œ1ŒQ‰3�‰(‰
”2”a˜“8Ññ/Ü ¤™s¤A™g¤q¬¡s™m¬B¬q°!«HÑ4ñ/5Ü89¼!¹¸a±xÄ±zÄ"ÄQÈÃ(Ñ7Jñ/Kò Kð Kð KäŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*¬a´©c´A´b¼¸A³h±JÑ.>Ò>Ð>Ð>ÜŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*¬a´©c´A´b¼¸A³h±JÑ.>Ò>Ð>Ð>ÜŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*¬a´©c´A´b¼¸A³h±JÑ.>Ò>Ð>Ð>ÜŒa”‰c”A”bœœA“h‘JÑ¤ A¤q 	Ó*Ü	
Œ1‰Œq‰”9Ü”‰c”Q˜‘U‰^œAÑœq¤™s¤a¬!¡e™nÑ,¬c°!´q±&¼!¼q¹&Ó.AÐBØó
ñ 	
ò
ð 
ð 
ô
 Œa”‰c”A”bœœA“h‘JÑ¤¤A q 	Ó*Ü	
Œ1‰”��Q‘‰œ)Ü”‰c”Qœ‘U‰^œAÑœq¤™s a¬!¡e™nÑ,¬c´!´q±&¼!¸q¹&Ó.AÐBØó
ñ 	
ò
ð 
ð 
ô
 Œa”‰c”A”bœœA“h‘JÑ¤¤A¤q 	Ó*Ü	
Œ1‰”�”Q‘˜‘
ÑœiÜ”‰c”Qœ‘U‰^œAÑœq¤™s¤a¬!¡e™nÑ,¬c´!´q±&¼!¼q¹&Ó.AÐBØó
ñ 	
ò
ð 
ñ 
r   c            
      óD  — t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        z  dz  t        t        t        z  dz  z  t        t        d«      z  z   t        t        z  t        z  t        t        z  z  t        t        d«      z  z   t        t        z  dz  t        z  t        t        d«      z  z   k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        dt        f«      t        t        z  t        z  t        t        t        z  t        dz
  z  t        z  t        t        z  t        t        z
  z  z  t        dt        k  t        t        k  «      fd«      j                  «       z   k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        t        df«      t        t        z  t         dz   z  t        t        t        z  t        t        z
  z  t        z  t        t        z  dt        z
  z  z  t        t        t        k  t        dk  «      fd«      z   j                  «       k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        t        t        f«      t        t        z  t         t        z   dz   z  t        t        t        z  t        t        z
  z  t        z  t        t        z  t        t        z
  z  z  t        t        t        k  t        t        k  «      fd«      z   j                  «       k(  sJ ‚y r4   ©r   r   r   r   r   r   r   r   r   Úexpandr&   r   r   r    Ú test_deltaproduct_mul_x_add_y_kdr:   …   sý  € ÜŒa””Rœœ1“X‘Ñ¤ A q 	Ó*¬q´©s°Q©hÜ	Œ1ŒQ‰3�‰(‰
”2”a˜“8Ññ/Ü ¤™s¤A™g¤q¬¡s™m¬B¬q°!«HÑ4ñ/5Ü89¼!¹¸a±xÄ±zÄ"ÄQÈÃ(Ñ7Jñ/Kò Kð Kð KäŒa””Rœœ1“X‘Ñ¤ A q 	Ó*¬a´´R¼¸1³X±Ñ.>Ò>Ð>Ð>ÜŒa””Rœœ1“X‘Ñ¤ A q 	Ó*¬a´´R¼¸1³X±Ñ.>Ò>Ð>Ð>ÜŒa””Rœœ1“X‘Ñ¤ A q 	Ó*¬a´´R¼¸1³X±Ñ.>Ò>Ð>Ð>ÜŒa””Rœœ1“X‘Ñ¤ A¤q 	Ó*Ü	
Œ1‰Œq‰”9Ü”‰c”Q˜‘U‰^œAÑœq¤™s¤a¬!¡e™nÑ,¬c°!´q±&¼!¼q¹&Ó.AÐBØó
÷ ‰&‹(ñ	òð ð ô
 Œa””Rœœ1“X‘Ñ¤¤A q 	Ó*Ü
ŒA‰#”!��a‘‰œ9Ü”‰c”Qœ‘U‰^œAÑœq¤™s a¬!¡e™nÑ,¬c´!´q±&¼!¸q¹&Ó.AÐBØó
ñ 

÷ ‰6‹8ò	ð ð ô
 Œa””Rœœ1“X‘Ñ¤¤A¤q 	Ó*Ü
ŒA‰#”!�”a‘˜!‘Ñ	œyÜ”‰c”Qœ‘U‰^œAÑœq¤™s¤a¬!¡e™nÑ,¬c´!´q±&¼!¼q¹&Ó.AÐBØó 
ñ 

÷ ‰6‹8ò	ð ñ r   c            
      ó¤  — t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        z  dz  dt        z  t        t        z  dz  z  t        t        d«      z  z   dt        z  t        z  t        z  t        z  t        z  t        t        d«      z  z   dt        t        z  dz  z  t        z  t        t        d«      z  z   k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        dt        t        d«      z  z   z  k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        dt        t        d«      z  z   z  k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        dt        t        d«      z  z   z  k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        dt        f«      t        t        z  t        z  t        dt        t        z  t        dz
  z  z  t        z  t        t        z  t        t        z
  z  z  t        dt        k  t        t        k  «      fd«      j                  «       z   k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        t        df«      t        t        z  t         dz   z  t        dt        t        z  t        t        z
  z  z  t        z  t        t        z  dt        z
  z  z  t        t        t        k  t        dk  «      fd«      z   j                  «       k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        t        t        f«      t        t        z  t         t        z   dz   z  t        dt        t        z  t        t        z
  z  z  t        z  t        t        z  t        t        z
  z  z  t        t        t        k  t        t        k  «      fd«      z   j                  «       k(  sJ ‚y )Nr$   r   r   r5   r%   r8   r   r   r    Ú#test_deltaproduct_mul_x_add_y_twokdr<   œ   s@  € ÜŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,´´1±°q±Ø	Œ!‰ŒQŒq‰S�1‰H‰”Rœ˜1“XÑñ1Ø !¤!¡¤A¡¤a¡¬¡	¬!¡¬B¬q°!«HÑ 4ñ15Ø78¼!¼A¹#À¹±zÄ!±|ÄBÄqÈ!ÃHÑ7Lñ1Mò Mð Mð MäŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,´´1°q¼¼A¸q»±z±>Ñ0BÒBÐBÐBÜŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,´´1°q¼¼A¸q»±z±>Ñ0BÒBÐBÐBÜŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,´´1°q¼¼A¸q»±z±>Ñ0BÒBÐBÐBÜŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¬ )Ó,Ü	
Œ1‰Œq‰”9Ø””!‘”q˜1‘u‰~ÑœaÑ¤¤1¡¬¬A©¡Ñ.´°A¼±F¼AÄ¹FÓ0CÐDØó
÷ ‰&‹(ñ	òð ð ô
 Œa”�Q”rœ!œQ“x‘Z‘Ñ ¤1¤a¨ )Ó,Ü
ŒA‰#”!��a‘‰œ9Ø””!‘”qœ1‘u‰~ÑœaÑ¤¤1¡¨¬A©¡Ñ.´´A¼±F¼AÀ¹FÓ0CÐDØó
ñ 

÷ ‰6‹8ò	ð ð ô
 Œa”�Q”rœ!œQ“x‘Z‘Ñ ¤1¤a¬ )Ó,Ü
ŒA‰#”!�”a‘˜!‘Ñ	œyØ””!‘”qœ1‘u‰~ÑœaÑ¤¤1¡¬¬A©¡Ñ.´´A¼±F¼AÄ¹FÓ0CÐDØó 
ñ 

÷ ‰6‹8ò	ð ñ r   c                  óÒ
  — t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        z   t        z  dz  t        t        z   t        t        z   t        z  dz  z  t        t        d«      z  z   t        t        z   t        z  t        t        z   dz  z  t        z  t        t        d«      z  z   t        t        z   t        z  dz  t        t        z   z  t        t        d«      z  z   k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        z   t        t        t        d«      z   z  k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        dt        f«      t        t        z   t        z  t        z  t        t        t        z   t        z  dz  t        t        z   t        z  t        z  z  t        t        z   z  t        t        z   t        z  t        z  z  t        t        z   t        z  t         z  z  t        dk\  t        t        k  z  fd«      z   k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        t        df«      t        t        z   t        z  dz  t        t        z   t        z  t         z  z  t        t        t        z   t        z  t        z  t        t        z   t        z  t         z  z  t        t        z   z  t        t        z   t        z  dz  z  t        t        z   t        z  t         z  z  t        t        k\  t        dk  z  fd«      z   k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        t        t        f«      t        t        z   t        z  t        t        z   t        z  t        z  z  t        t        z   t        z  t         z  z  t        t        t        z   t        z  t        z  t        t        z   t        z  t         z  z  t        t        z   z  t        t        z   t        z  t        z  z  t        t        z   t        z  t         z  z  t        t        k\  t        t        k  z  fd«      z   k(  sJ ‚y ©Nr   r   r$   éÿÿÿÿr5   r%   )	r   r   r   r   r   r   r   r   r&   r   r   r    Ú&test_deltaproduct_mul_add_x_y_add_y_kdr@   ³   s  € ÜŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0´a¼!±e¼Q±YÀ±NÜ	
ŒQ‰”!”a‘%œ‘˜Q‘Ñœr¤! Q›xÑ'ñ5(ä	
ŒQ‰”‰	”1”q‘5˜1‘*ÑœQÑœr¤! Q›xÑ'ñ5(ô Œa‰%”‰�Q‰œœA™Ñœr¤! Q›xÑ'ñ5(ò (ð (ð (ô Œq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0´Q¼±U¼QÄÄAÀqÃ¹\Ñ4JÒJÐJÐJÜŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0´Q¼±U¼QÄÄAÀqÃ¹\Ñ4JÒJÐJÐJÜŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0´Q¼±U¼QÄÄAÀqÃ¹\Ñ4JÒJÐJÐJÜŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¬Q iÓ0Ü
Œa‰%”‰”Q‰œÜ”1‰u”a‰i˜2Ñ¤¤Q¡¬¡	¬A™~Ñ-¬q´1©uÑ5¼¼A¹¼q±yÜñ7ñ Ü”q‘5œ!‘)¤˜rÑ"ñ#Ü%&¨!¡V´´Q±Ñ$7ð9Ø:CóEñ 	EòEð Eð Eô Œq”1‰u”qœ2œa¤›8‘|Ñ$¤q¬!¨Q iÓ0Ü	
ŒQ‰”‰	�Añ5ÜœA™œq‘y¤Q BÑ'ñ5(Ü*3´q¼1±u¼a±iÄ!±^Ü	
ŒQ‰”‰	”a�RñEñ 6Üœa™%ñ6!Ü#$¤q¡5¬!¡)¨a¡ñ60Ü23´a±%¼±¼q¸bÑ0Añ6Bä	
Œa‰”A˜‘FÑð5à'ó+)ñ5)ò )ð )ð )ô Œq”1‰u”qœ2œa¤›8‘|Ñ$¤q¬!¬Q iÓ0Ü	
ŒQ‰”‰	”Aœ‘Eœ1‘9œq‘.Ñ ¤1¤q¡5¬!¡)´¨rÑ!2Ñ2´YÜŒq‰5”!‰)”a‰œ!œa™%¤™¤q bÑ)Ñ	)¬1¬q©5Ñ	1´A¼±E¼1±9Üñ3ñ 
Ü”1‰u”a‰iœA˜2Ññ
Ü!"¤a¡¬A´©FÑ 3ð	5Ø6?ó6Añ 	AòAð Añ Ar   c            	      óú  — t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        d«      t        t        t        «      t        z   z  t        t        t        «      t        z   t
        z  dz  z  t        t        d«      t        t        t        «      t        z   z  t
        z  t        t        t        «      t        z   dz  z  t
        z  z   t        t        d«      t        t        t        «      t        z   t
        z  dz  z  t        t        t        «      t        z   z  z   t        t        t        «      t        z   t
        z  dz  z   k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        «      z   t
        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        «      z   t
        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        «      z   t
        t        t        d«      z   z  k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        dt        f«      t        t        t        «      t        z   t
        z  t        z  t        t        t        t        «      t        z   t
        z  dz  t        t        t        «      t        z   t
        z  t        z  z  t        t        t        «      t        z   z  t        t        t        «      t        z   t
        z  t        z  z  t        t        t        «      t        z   t
        z  t         z  z  t        dk\  t        t        k  z  fd«      z   k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        t        df«      t        t        t        «      t        z   t
        z  dz  t        t        t        «      t        z   t
        z  t         z  z  t        t        t        t        «      t        z   t
        z  t        z  t        t        t        «      t        z   t
        z  t         z  z  t        t        t        «      t        z   z  t        t        t        «      t        z   t
        z  dz  z  t        t        t        «      t        z   t
        z  t         z  z  t        t        k\  t        dk  z  fd«      z   k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        t        t        f«      t        t        t        «      t        z   t
        z  t        t        t        «      t        z   t
        z  t        z  z  t        t        t        «      t        z   t
        z  t         z  z  t        t        t        t        «      t        z   t
        z  t        z  t        t        t        «      t        z   t
        z  t         z  z  t        t        t        «      t        z   z  t        t        t        «      t        z   t
        z  t        z  z  t        t        t        «      t        z   t
        z  t         z  z  t        t        k\  t        t        k  z  fd«      z   k(  sJ ‚y r>   )	r   r   r   r   r   r   r   r   r&   r   r   r    Ú'test_deltaproduct_mul_add_x_kd_add_y_kdrB   É   s;  € ÜŒq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7Ü
Œ1ˆa‹”"”Qœ“(œQ‘,Ñ¤"¤Q¬£(¬Q¡,´Ñ!1°AÑ 5Ñ5Ü
Œ1ˆa‹”"”Qœ“(œQ‘,Ñ¤Ñ!¤2¤a¬£8¬a¡<°!Ñ"3Ñ3´AÑ5ñ	6ä
Œ1ˆa‹”2”aœ“8œa‘<¤Ñ" QÑ&Ñ&¬¬1¬a«´1©Ñ5ñ	6ô ŒQ”‹(”Q‰,œÑ	˜AÑñ	òð ð ô
 Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7Ü	
ŒR””1‹X‰œœBœq !›H™Ñ%ò&ð &ð &äŒq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7Ü	
ŒR””1‹X‰œœBœq !›H™Ñ%ò&ð &ð &äŒq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7Ü	
ŒR””1‹X‰œœBœq !›H™Ñ%ò&ð &ð &äŒq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°´A¨YÓ7Ü
ŒQ”‹(”Q‰,œÑ	œAÑ¤	ÜŒa”‹8”a‰<œÑ
˜bÑ	!¤B¤q¬!£H¬q¡L´!Ñ#3´aÑ"7Ñ	7¼¼A¼q»ÄA¹ñ 

ÜŒq”!‹H”q‰Lœ!ÑœaÑ
ñ
 Ü"$¤Q¬£(¬Q¡,´Ñ!1´a°RÑ 8ñ
9Ü;<À¹6Ü”!‰Vñ;ð	à ó!"ñ 	"ò"ð "ð "ô
 Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a´°A¨YÓ7Ü	ŒAŒq‹”A‰”qÑ˜1ñ<Ü!¤!¤Q›x¬!™|¬QÑ.´1°"Ñ5ñ<6Ü8AÜŒa”‹8”a‰<œÑ
œQÑ	¤¤A¤q£¬A¡¬qÑ 0´Q°BÑ7Ñ	7¼¼A¼q»Ü
ñ:ñ 
Ü”!”Q‹xœ!‰|œQÑ Ñ"ñ
#Ü%'¬¬1£X´¡\´1Ñ$4¼¸Ñ#;ñ
<ä	
Œa‰”A˜‘FÑð	à'ó9)ñ<)ò )ð )ð )ô
 Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a´´A¨YÓ7Ü
Œ1Œa‹”1‰”añ<ÜœQ¤›(¤Q™,¬Ñ)¬AÑ-ñ<.Ü02´1´a³¼1±¼aÑ/?ÜˆBñ/ñ<äœr¤!¤Q›x¬!™|¬QÑ.´Ñ2´R¼¼1³XÄ±\Ü
ñ5Üˆrñ4ñ Ü”qœ!“Hœq‘Lñ"Ü$&¤q¬!£H¬q¡L´!Ñ#3´aÑ"7ñ8Ü:<¼QÄ»(ÄQ¹,Ü
ñ:Üˆrñ9ñäœ!‘V¤¤Q¡Ñ'ð)à*3ó5ñ<5ò 5ð 5ñ 5r   c                  ó  — t        t        t        ddf«      dk(  sJ ‚t        t        t        ddf«      dt        z  k(  sJ ‚t        t        t        z   t        ddf«      dt        t        z   z  k(  sJ ‚t        t        t        z  t        ddf«      dt        z  t        z  k(  sJ ‚t        t	        t
        t        «      t        ddf«      dt	        t
        t        «      z  k(  sJ ‚t        t        t	        t
        t        «      z  t        ddf«      dt        z  t	        t
        t        «      z  k(  sJ ‚t        t        t        z  t	        t
        t        «      z  t        ddf«      dt        z  t        z  t	        t
        t        «      z  k(  sJ ‚y r   )Údsr   r   r   r   r   r   r   r   r    Útest_deltasummation_trivialrE   æ   s#  € ÜŒa”!�Q˜�Ó˜qÒ Ð Ð ÜŒa”!�Q˜�Ó˜q¤™sÒ"Ð"Ð"ÜŒa”!‰e”a˜˜A�YÓ 1¤a¬!¡e¡9Ò,Ð,Ð,ÜŒa”‰c”A�q˜!�9Ó ¤1¡¤Q¡Ò&Ð&Ð&ÜŒb””A‹hœ˜A˜q˜	Ó" a¬¬1¬a«¡jÒ0Ð0Ð0ÜŒa””1”a“‰jœ1˜a ˜)Ó$¨¬!©¬B¬q´!«H©Ò4Ð4Ð4ÜŒa”‰c”"”Qœ“(‰lœQ  1˜IÓ&¨!¬A©#¬a©%´´1´a³©.Ò8Ð8Ñ8r   c            	      óÜ  — t        ddd¬«      } t        t        | d«      | ddf«      dk(  sJ ‚t        t        t        dz  t        dz  «      t        t
         t
        f«      t        t        t        dz  t        dz  «      t        t
         t
        f«      k(  sJ ‚t        t        t        t        «      t        dt        k  t        dk  «      fd«      t        t        t        t        «      t        t        t        «      z  t        ddf«      cxk(  r>t        t        t        t        «      t        t        t        «      z  t        ddf«      k(  sJ ‚ J ‚t        t        t        t        «      t        t
         t
        f«      dk(  sJ ‚t        t        t        t        «      t        dt
        f«      t        dt        j                  t        k  fd«      k(  sJ ‚t        t        t        t        «      t        ddf«      t        dt        dt        k  t        dk  «      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        t        t        «      z  t        t
         t
        f«      t        t        t        t        «      z  k(  sJ ‚t        t        t        t        t        «      z  t        t
         t
        f«      t        k(  sJ ‚t        t        t        t        t        «      z  t        t
         t
        f«      t        k(  sJ ‚t        t        t        ddf«      dt        z  k(  sJ ‚t        t        t        z   t        t        t        «      z  t        t
         t
        f«      dt        z  k(  sJ ‚y )	NÚnT)r   Únonzeror   r   r   r$   r5   )r	   rD   r   r   r   r
   r   r   r   r   r   ÚZeror   )rG   s    r    Ú#test_deltasummation_basic_numericalrJ   ð   s~  € Ü�˜T¨4Ô0€AÜŒb��A‹h˜˜A˜q˜	Ó" aÒ'Ð'Ð'ô Œb”�A‘”q˜!‘t‹nœq¤2 #¤r˜lÓ+ÜŒBŒq�!‰t”Q˜‘T‹NœQ¤ ¤R˜LÓ)ò*ð *ð *ô ”bœœA“h¤ A¬¡F¬A°©FÓ 3Ð4°iÓ@Ü
Œ2Œa”‹8”B”qœ!“HÑœq ! Q˜iÓ(ô)ä
Œ2Œa”‹8”B”qœ!“HÑœq ! Q˜iÓ(ò)ð )ñ )ð )ð )ô Œb””A‹hœœR˜C¤˜Ó%¨Ò*Ð*Ð*ÜŒb””A‹hœ˜Aœr˜
Ó#¤y°!´Q·V±V¼q±[Ð1AÀ9Ó'MÒMÐMÐMÜŒb””A‹hœ˜A˜q˜	Ó"Ü�1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒa””1”a“‰jœœAœq›Ñ!¤A¬ s¬B <Ó0´A´b¼¼A³h±JÒ>Ð>Ð>ÜŒa””1”a“‰jœ1œr˜c¤2˜,Ó'¬1Ò,Ð,Ð,ÜŒa””1”a“‰jœ1œr˜c¤2˜,Ó'¬1Ò,Ð,Ð,ÜŒa”!�Q˜�Ó˜q¤™sÒ"Ð"Ð"ÜŒq”1‰u”bœœA“hÑ¤¤R C¬ Ó-°´1±Ò4Ð4Ñ4r   c            	      óL  — t        t        t        t        «      t        ddf«      t	        dt        dt        k  t        dk  «      fd«      k(  sJ ‚t        t        t        t        «      t        ddf«      t	        dt        t        d«      fd«      k(  sJ ‚t        t        t        t        «      t        ddf«      t	        dt        t        d«      fd«      k(  sJ ‚t        t        t        t        «      t        ddf«      t	        dt        t        d«      fd«      k(  sJ ‚t        t        t        t        «      t        dt        f«      t	        dt        dt        k  t        t        k  «      fd«      k(  sJ ‚t        t        t        t        «      t        t        df«      t	        dt        t        t        k  t        dk  «      fd«      k(  sJ ‚t        t        t        t        «      t        t        t        f«      t	        dt        t        t        k  t        t        k  «      fd«      k(  sJ ‚y ©Nr   r   r5   r$   )	rD   r   r   r   r   r   r   r   r&   r   r   r    Ú"test_deltasummation_basic_symbolicrM     s¤  € ÜŒb””A‹hœ˜A˜q˜	Ó"Ü�1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒb””A‹hœ˜A˜q˜	Ó"¤i°´B´q¸!³H°¸yÓ&IÒIÐIÐIÜŒb””A‹hœ˜A˜q˜	Ó"¤i°´B´q¸!³H°¸yÓ&IÒIÐIÐIÜŒb””A‹hœ˜A˜q˜	Ó"¤i°´B´q¸!³H°¸yÓ&IÒIÐIÐIÜŒb””A‹hœ˜Aœq˜	Ó"Ü�1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒb””A‹hœœA˜q˜	Ó"Ü�1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒb””A‹hœœAœq˜	Ó"Ü�1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ò7ð 7ñ 7r   c            	      óæ  — t        t        t        t        t        «      z  t        ddf«      t        t        t        dt        k  t        dk  «      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        t        d«      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        t        d«      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        ddf«      t        t        t        t        d«      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        dt        f«      t        t        t        dt        k  t        t        k  «      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        t        df«      t        t        t        t        t        k  t        dk  «      fd«      k(  sJ ‚t        t        t        t        t        «      z  t        t        t        f«      t        t        t        t        t        k  t        t        k  «      fd«      k(  sJ ‚y rL   )
rD   r   r   r   r   r   r   r   r   r&   r   r   r    Útest_deltasummation_mul_x_kdrO     sÀ  € ÜŒa””1”a“‰jœ1˜a ˜)Ó$Ü”1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒa””1”a“‰jœ1˜a ˜)Ó$¬	´1´b¼¸A³h°-ÀÓ(KÒKÐKÐKÜŒa””1”a“‰jœ1˜a ˜)Ó$¬	´1´b¼¸A³h°-ÀÓ(KÒKÐKÐKÜŒa””1”a“‰jœ1˜a ˜)Ó$¬	´1´b¼¸A³h°-ÀÓ(KÒKÐKÐKÜŒa””1”a“‰jœ1˜a¤˜)Ó$Ü”1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒa””1”a“‰jœ1œa ˜)Ó$Ü”1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6ò7ð 7ð 7äŒa””1”a“‰jœ1œa¤˜)Ó$Ü”1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ò7ð 7ñ 7r   c            	      óª  — t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        t        z   t        dt        k  t        dk  «      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        t        z   t        t        d«      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        t        z   t        t        d«      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        ddf«      t        t        t        z   t        t        d«      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        dt        f«      t        t        t        z   t        dt        k  t        t        k  «      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        t        df«      t        t        t        z   t        t        t        k  t        dk  «      fd«      k(  sJ ‚t        t        t        z   t        t        t
        «      z  t
        t        t        f«      t        t        t        z   t        t        t        k  t        t        k  «      fd«      k(  sJ ‚y rL   ©rD   r   r   r   r   r   r   r   r   r   r&   r   r   r    Ú"test_deltasummation_mul_add_x_y_kdrR   #  s  € ÜŒq”1‰u”bœœA“hÑ¤ A q 	Ó*Ü”1”q‘5œ#˜a¤1™f¤a¨1¡fÓ-Ð.°	Ó:ò;ð ;ð ;äŒq”1‰u”bœœA“hÑ¤ A q 	Ó*Ü”1”q‘5œ"œQ ›(Ð# YÓ/ò0ð 0ð 0äŒq”1‰u”bœœA“hÑ¤ A q 	Ó*Ü”1”q‘5œ"œQ ›(Ð# YÓ/ò0ð 0ð 0äŒq”1‰u”bœœA“hÑ¤ A q 	Ó*Ü”1”q‘5œ"œQ ›(Ð# YÓ/ò0ð 0ð 0äŒq”1‰u”bœœA“hÑ¤ A¤q 	Ó*Ü”1”q‘5œ#˜a¤1™f¤a¬1¡fÓ-Ð.°	Ó:ò;ð ;ð ;äŒq”1‰u”bœœA“hÑ¤¤A q 	Ó*Ü”1”q‘5œ#œa¤1™f¤a¨1¡fÓ-Ð.°	Ó:ò;ð ;ð ;äŒq”1‰u”bœœA“hÑ¤¤A¤q 	Ó*Ü”1”q‘5œ#œa¤1™f¤a¬1¡fÓ-Ð.°	Ó:ò;ð ;ñ ;r   c                  óö  — t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        dt        dt        k  t        dk  «      fd«      t        dt        dt        k  t        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        dt        t        d«      fd«      t        dt        t        d«      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        dt        t        d«      fd«      t        dt        t        d«      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        ddf«      t        t        dt        t        d«      fd«      t        dt        t        d«      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        dt        f«      t        t        dt        dt        k  t        t        k  «      fd«      t        dt        dt        k  t        t        k  «      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        t        df«      t        t        dt        t        t        k  t        dk  «      fd«      t        dt        t        t        k  t        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        «      t        t        t        «      z   t        t        t        f«      t        t        dt        t        t        k  t        t        k  «      fd«      t        dt        t        t        k  t        t        k  «      fd«      z   «      k(  sJ ‚y rL   )rD   r   r   r   r   r   r   r   r   r&   r-   r   r   r    Útest_deltasummation_add_kd_kdrT   4  s  € ÜŒb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´Ü�1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü�1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó28ò 8ð 8ð 8ô Œb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´Ü�1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó2-ò -ð -ð -ô Œb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´Ü�1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó2-ò -ð -ð -ô Œb””A‹hœœAœq›Ñ!¤A q¨! 9Ó-´Ü�1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó2-ò -ð -ð -ô Œb””A‹hœœAœq›Ñ!¤A q¬! 9Ó-´Ü�1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü�1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó28ò 8ð 8ð 8ô Œb””A‹hœœAœq›Ñ!¤A¤q¨! 9Ó-´Ü�1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü�1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó28ò 8ð 8ð 8ô Œb””A‹hœœAœq›Ñ!¤A¤q¬! 9Ó-´Ü�1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü�1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó28ò 8ð 8ñ 8r   c                  ó�  — t        t        t        t        t        «      z  t        t
        t        «      z   t        ddf«      t        t        t        t        dt        k  t        dk  «      fd«      t        dt        dt
        k  t
        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        ddf«      t        t        t        t        t        d«      fd«      t        dt        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        ddf«      t        t        t        t        t        d«      fd«      t        dt        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        ddf«      t        t        t        t        t        d«      fd«      t        dt        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        dt        f«      t        t        t        t        dt        k  t        t        k  «      fd«      t        dt        dt
        k  t
        t        k  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        t        df«      t        t        t        t        t        t        k  t        dk  «      fd«      t        dt        t        t
        k  t
        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      z  t        t
        t        «      z   t        t        t        f«      t        t        t        t        t        t        k  t        t        k  «      fd«      t        dt        t        t
        k  t
        t        k  «      fd«      z   «      k(  sJ ‚y rL   ©rD   r   r   r   r   r   r   r   r   r   r&   r-   r   r   r    Ú#test_deltasummation_add_mul_x_kd_kdrW   L  s6  € ÜŒa””1”a“‰jœ2œa¤›8Ñ#¤a¨¨A YÓ/´>Ü”1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü�1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó48ò 8ð 8ð 8ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¨¨A YÓ/´>Ü”1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó4-ò -ð -ð -ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¨¨A YÓ/´>Ü”1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó4-ò -ð -ð -ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¨¨A YÓ/´>Ü”1”bœ˜A“h�- Ó+Ü�1”bœ˜A“h�- Ó+ñ	,ó4-ò -ð -ð -ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¨¬A YÓ/´>Ü”1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü�1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó48ò 8ð 8ð 8ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¬¨A YÓ/´>Ü”1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü�1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó48ò 8ð 8ð 8ô Œa””1”a“‰jœ2œa¤›8Ñ#¤a¬¬A YÓ/´>Ü”1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü�1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó48ò 8ð 8ñ 8r   c                  óÈ  — t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        t        dt        k  t        dk  «      fd«      t        t        t        dt
        k  t
        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        t        t        d«      fd«      t        t        t        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        t        t        d«      fd«      t        t        t        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        ddf«      t        t        t        t        t        d«      fd«      t        t        t        t
        d«      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        dt        f«      t        t        t        t        dt        k  t        t        k  «      fd«      t        t        t        dt
        k  t
        t        k  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        t        df«      t        t        t        t        t        t        k  t        dk  «      fd«      t        t        t        t        t
        k  t
        dk  «      fd«      z   «      k(  sJ ‚t        t        t        t        t        «      t        t
        t        «      z   z  t        t        t        f«      t        t        t        t        t        t        k  t        t        k  «      fd«      t        t        t        t        t
        k  t
        t        k  «      fd«      z   «      k(  sJ ‚y rL   rV   r   r   r    Ú#test_deltasummation_mul_x_add_kd_kdrY   d  s=  € ÜŒa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´^Ü”1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü”1”c˜!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó68ò 8ð 8ð 8ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´^Ü”1”bœ˜A“h�- Ó+Ü”1”bœ˜A“h�- Ó+ñ	,ó6-ò -ð -ð -ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´^Ü”1”bœ˜A“h�- Ó+Ü”1”bœ˜A“h�- Ó+ñ	,ó6-ò -ð -ð -ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¨a yÓ1´^Ü”1”bœ˜A“h�- Ó+Ü”1”bœ˜A“h�- Ó+ñ	,ó6-ò -ð -ð -ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¨1¬a yÓ1´^Ü”1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü”1”c˜!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó68ò 8ð 8ð 8ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¬1¨a yÓ1´^Ü”1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6Ü”1”cœ!œq™&¤! q¡&Ó)Ð*¨IÓ6ñ	7ó68ò 8ð 8ð 8ô Œa””A”q“œBœq¤!›HÑ$Ñ%¬¬1¬a yÓ1´^Ü”1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6Ü”1”cœ!œq™&¤!¤q¡&Ó)Ð*¨IÓ6ñ	7ó68ò 8ð 8ñ 8r   c                  óî	  — t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        t        t        z   t        dt        k  t        dk  «      fd«      t        t        t        z   t        dt        k  t        dk  «      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        t        t        z   t        t        d«      fd«      t        t        t        z   t        t        d«      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        t        t        z   t        t        d«      fd«      t        t        t        z   t        t        d«      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        ddf«      t        t        t        t        z   t        t        d«      fd«      t        t        t        z   t        t        d«      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        dt        f«      t        t        t        t        z   t        dt        k  t        t        k  «      fd«      t        t        t        z   t        dt        k  t        t        k  «      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        t        df«      t        t        t        t        z   t        t        t        k  t        dk  «      fd«      t        t        t        z   t        t        t        k  t        dk  «      fd«      z   «      k(  sJ ‚t        t        t        z   t        t        t
        «      t        t        t
        «      z   z  t
        t        t        f«      t        t        t        t        z   t        t        t        k  t        t        k  «      fd«      t        t        t        z   t        t        t        k  t        t        k  «      fd«      z   «      k(  sJ ‚y rL   )rD   r   r   r   r   r   r   r   r   r   r   r&   r-   r   r   r    Ú)test_deltasummation_mul_add_x_y_add_kd_kdr[   |  s—  € ÜŒq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7¼>Ü”1”q‘5œ#˜a¤1™f¤a¨1¡fÓ-Ð.°	Ó:Ü”1”q‘5œ#˜a¤1™f¤a¨1¡fÓ-Ð.°	Ó:ñ	;ó<<ò <ð <ð <ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7¼>Ü”1”q‘5œ"œQ ›(Ð# YÓ/Ü”1”q‘5œ"œQ ›(Ð# YÓ/ñ	0ó<1ò 1ð 1ð 1ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7¼>Ü”1”q‘5œ"œQ ›(Ð# YÓ/Ü”1”q‘5œ"œQ ›(Ð# YÓ/ñ	0ó<1ò 1ð 1ð 1ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°°A¨YÓ7¼>Ü”1”q‘5œ"œQ ›(Ð# YÓ/Ü”1”q‘5œ"œQ ›(Ð# YÓ/ñ	0ó<1ò 1ð 1ð 1ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a°´A¨YÓ7¼>Ü”1”q‘5œ#˜a¤1™f¤a¬1¡fÓ-Ð.°	Ó:Ü”1”q‘5œ#˜a¤1™f¤a¬1¡fÓ-Ð.°	Ó:ñ	;ó<<ò <ð <ð <ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a´°A¨YÓ7¼>Ü”1”q‘5œ#œa¤1™f¤a¨1¡fÓ-Ð.°	Ó:Ü”1”q‘5œ#œa¤1™f¤a¨1¡fÓ-Ð.°	Ó:ñ	;ó<<ò <ð <ð <ô Œq”1‰u”rœ!œQ“x¤"¤Q¬£(Ñ*Ñ+¬a´´A¨YÓ7¼>Ü”1”q‘5œ#œa¤1™f¤a¬1¡fÓ-Ð.°	Ó:Ü”1”q‘5œ#œa¤1™f¤a¬1¡fÓ-Ð.°	Ó:ñ	;ó<<ò <ð <ñ <r   c            	      ó¸  — t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        dt        z  t        z  t        z   t        dt        k  t        dk  «      fdt        z  t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        dt        f«      t        t        t        z  t        z  t        z   t        dt        k  t        t        k  «      ft        t        z  t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        t        df«      t        dt        z
  t        z  t        z  t        z   t        t        t        k  t        dk  «      fdt        z
  t        z  t        z  df«      k(  sJ ‚t        t        t        z  t        t        t        t
        «      z  z   t
        t        t        f«      t        t        t        z
  dz   t        z  t        z  t        z   t        t        t        k  t        t        k  «      ft        t        z
  dz   t        z  t        z  df«      k(  sJ ‚y ©Nr   r   Tr$   r%   rQ   r   r   r    Ú(test_deltasummation_add_mul_x_y_mul_x_kdr^   ”  sÑ  € ÜŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*Ü�1”Q‘3”q‘5œ1‘9œc !¤q¡&¬!¨q©&Ó1Ð2°Q´q±S¼±U¸D°MÓBòCð Cð CäŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa”‰c”A”bœœA“h‘JÑ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa”‰c”A”bœœA“h‘JÑ¤ A¤q 	Ó*Ü”1”Q‘3”q‘5œ1‘9œc !¤q¡&¬!¬q©&Ó1Ð2´Q´q±S¼±U¸D°MÓBòCð Cð CäŒa”‰c”A”bœœA“h‘JÑ¤¤A q 	Ó*Ü�Aœ‘Eœ1‘9œQ‘;¤‘?¤C¬¬Q©´°Q±Ó$7Ð8¸AÄ¹EÄ1¹9ÄQ¹;ÈÐ:MÓNòOð Oð OäŒa”‰c”A”bœœA“h‘JÑ¤¤A¤q 	Ó*¬iÜ
Œa‰%�!‰)”Q‰”q‰œ1Ñ	œc¤!¤q¡&¬!¬q©&Ó1Ð2´a¼!±e¸a±iÄ±]Ä1±_ÀdÐ4Kó/Mò Mð Mñ Mr   c            	      óV  — t        t        t        t        t        t
        «      z   z  t
        ddf«      t        dt        z  t        z  t        z   t        dt        k  t        dk  «      fdt        z  t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z  t        z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        dt        f«      t        t        t        z  t        z  t        z   t        dt        k  t        t        k  «      ft        t        z  t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        t        df«      t        dt        z
  t        z  t        z  t        z   t        t        t        k  t        dk  «      fdt        z
  t        z  t        z  df«      k(  sJ ‚t        t        t        t        t        t
        «      z   z  t
        t        t        f«      t        t        t        z
  dz   t        z  t        z  t        z   t        t        t        k  t        t        k  «      ft        t        z
  dz   t        z  t        z  df«      k(  sJ ‚y r]   rQ   r   r   r    Ú"test_deltasummation_mul_x_add_y_kdr`   ¥  sµ  € ÜŒa””Rœœ1“X‘Ñ¤ A q 	Ó*Ü�1”Q‘3”q‘5œ1‘9œc !¤q¡&¬!¨q©&Ó1Ð2°Q´q±S¼±U¸D°MÓBòCð Cð CäŒa””Rœœ1“X‘Ñ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa””Rœœ1“X‘Ñ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa””Rœœ1“X‘Ñ¤ A q 	Ó*Ü”1”Q‘3œ‘7œBœq !›HÐ%¬¬!©¨T {Ó3ò4ð 4ð 4äŒa””Rœœ1“X‘Ñ¤ A¤q 	Ó*Ü”1”Q‘3”q‘5œ1‘9œc !¤q¡&¬!¬q©&Ó1Ð2´Q´q±S¼±U¸D°MÓBòCð Cð CäŒa””Rœœ1“X‘Ñ¤¤A q 	Ó*Ü�Aœ‘Eœ1‘9œQ‘;¤‘?¤C¬¬Q©´°Q±Ó$7Ð8¸AÄ¹EÄ1¹9ÄQ¹;ÈÐ:MÓNòOð Oð OäŒa””Rœœ1“X‘Ñ¤¤A¤q 	Ó*¬iÜ
Œa‰%�!‰)”Q‰”q‰œ1Ñ	œc¤!¤q¡&¬!¬q©&Ó1Ð2´a¼!±e¸a±iÄ±]Ä1±_ÀdÐ4Kó/Mò Mð Mñ Mr   c            	      óª  — t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        dt        z  t        z  dt        z  z   t        dt        k  t        dk  «      fdt        z  t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        t        z  dt        z  z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        t        z  dt        z  z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        ddf«      t        t        t        z  dt        z  z   t        t        d«      ft        t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        dt        f«      t        t        t        z  t        z  dt        z  z   t        dt        k  t        t        k  «      ft        t        z  t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        t        df«      t        dt        z
  t        z  t        z  dt        z  z   t        t        t        k  t        dk  «      fdt        z
  t        z  t        z  df«      k(  sJ ‚t        t        t        dt        t        t
        «      z  z   z  t
        t        t        f«      t        t        t        z
  dz   t        z  t        z  dt        z  z   t        t        t        k  t        t        k  «      ft        t        z
  dz   t        z  t        z  df«      k(  sJ ‚y )Nr$   r   r   Tr%   rQ   r   r   r    Ú%test_deltasummation_mul_x_add_y_twokdrb   ¶  sñ  € ÜŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,Ü�1”Q‘3”q‘5˜1œQ™3‘;¤ A¬¡F¬A°©FÓ 3Ð4°q¼±s¼1±u¸d°mÓDòEð Eð EäŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,Ü”1”Q‘3˜œ1™‘9œb¤ A›hÐ'¬!¬A©#¨t¨Ó5ò6ð 6ð 6äŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,Ü”1”Q‘3˜œ1™‘9œb¤ A›hÐ'¬!¬A©#¨t¨Ó5ò6ð 6ð 6äŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¨ )Ó,Ü”1”Q‘3˜œ1™‘9œb¤ A›hÐ'¬!¬A©#¨t¨Ó5ò6ð 6ð 6äŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1 a¬ )Ó,Ü”1”Q‘3”q‘5˜1œQ™3‘;¤ A¬¡F¬A´©FÓ 3Ð4´q¼±s¼1±u¸d°mÓDòEð Eð EäŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1¤a¨ )Ó,´	Ø
Œa‰%”‰”1‰�qœ‘sÑ	œC¤¤Q¡¬¨Q©Ó/Ð0°A¼±E¼1±9¼Q±;ÀÐ2Eó1Gò Gð Gð GäŒa”�Q”rœ!œQ“x‘Z‘Ñ ¤1¤a¬ )Ó,´	Ü
Œa‰%�!‰)”Q‰”q‰˜1œQ™3Ñ	¤¤A¬¡F¬A´©FÓ 3Ð4¼¼A¹À¹	Ä1±}ÄQ±ÈÐ6Mó1Oò Oð Oñ Or   c            	      óÞ  — t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        dt        t        z   z  t        z  t        z   t        z   t        dt        k  t        dk  «      fdt        t        z   z  t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z   t        z  t        z   t        z   t        t        d«      ft        t        z   t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z   t        z  t        z   t        z   t        t        d«      ft        t        z   t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        ddf«      t        t        t        z   t        z  t        z   t        z   t        t        d«      ft        t        z   t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        dt        f«      t        t        t        t        z   z  t        z  t        z   t        z   t        dt        k  t        t        k  «      ft        t        t        z   z  t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        t        df«      t        dt        z
  t        t        z   z  t        z  t        z   t        z   t        t        t        k  t        dk  «      fdt        z
  t        t        z   z  t        z  df«      k(  sJ ‚t        t        t        z   t        t        t        t
        «      z   z  t
        t        t        f«      t        t        t        z
  dz   t        t        z   z  t        z  t        z   t        z   t        t        t        k  t        t        k  «      ft        t        z
  dz   t        t        z   z  t        z  df«      k(  sJ ‚y r]   rQ   r   r   r    Ú(test_deltasummation_mul_add_x_y_add_y_kdrd   Ç  sF  € ÜŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0´IØ	
ŒA”‰E‰”1‰”q‰œ1Ñ	œc !¤q¡&¬!¨q©&Ó1Ð2°Q¼¼A¹±Y¼q±[À$Ð4Gó5Iò Ið Ið IäŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0Ü”Aœ‘Eœ1‘9œq‘=¤1Ñ$¤b¬¨A£hÐ/´1´q±5¼!±)¸TÐ1BÓCòDð Dð DäŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0Ü”Aœ‘Eœ1‘9œq‘=¤1Ñ$¤b¬¨A£hÐ/´1´q±5¼!±)¸TÐ1BÓCòDð Dð DäŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¨Q iÓ0Ü”Aœ‘Eœ1‘9œq‘=¤1Ñ$¤b¬¨A£hÐ/´1´q±5¼!±)¸TÐ1BÓCòDð Dð DäŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¨!¬Q iÓ0´IÜ	
ŒA”‰E‰”1‰”q‰œ1Ñ	œc !¤q¡&¬!¬q©&Ó1Ð2´Q¼¼A¹±Y¼q±[À$Ð4Gó5Iò Ið Ið IäŒq”1‰u”qœ2œa¤›8‘|Ñ$¤q¬!¨Q iÓ0´IØ
Œa‰%”!”a‘%‰œÑ	œQÑ	¤Ñ	"¤C¬¬Q©´°Q±Ó$7Ð8Ø
Œa‰%”!”a‘%‰œÑ	˜DÐ!ó5#ò #ð #ð #ô Œq”1‰u”qœ2œa¤›8‘|Ñ$¤q¬!¬Q iÓ0´IÜ
Œa‰%�!‰)”aœ!‘eÑ	œQÑ	¤Ñ	"¤QÑ	&¬¬A´©F´A¼±FÓ(;Ð<Ü
Œa‰%�!‰)”aœ!‘eÑ	œQÑ	 Ð%ó5'ò 'ð 'ñ 'r   c                  óF
  — t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        t        «      t        z   t        dt        k  t        dk  «      fd«      dt        t        t        «      t        z   z  t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        t        «      t        z   t        t        d«      fd«      t        t        t        «      t        z   t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        t        «      t        z   t        t        d«      fd«      t        t        t        «      t        z   t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        ddf«      t        t        t        t        t        «      t        z   t        t        d«      fd«      t        t        t        «      t        z   t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        dt        f«      t        t        t        t        t        «      t        z   t        dt        k  t        t        k  «      fd«      t        t        t        t        «      t        z   z  t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        t        df«      t        t        t        t        t        «      t        z   t        t        t        k  t        dk  «      fd«      dt        z
  t        t        t        «      t        z   z  t
        z  z   «      k(  sJ ‚t        t        t        t        t        «      z   t
        t        t        t        «      z   z  t        t        t        f«      t        t        t        t        t        «      t        z   t        t        t        k  t        t        k  «      fd«      t        t        z
  dz   t        t        t        «      t        z   z  t
        z  z   «      k(  sJ ‚y )Nr   r   r5   r$   r%   )rD   r   r   r   r   r   r   r   r   r   r   r&   r   r   r    Ú)test_deltasummation_mul_add_x_kd_add_y_kdrf   Ú  s…  € ÜŒq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7¼>Ü”2”aœ“8œa‘<¤ Q¬!¡V¬Q°!©VÓ!4Ð5°yÓAØ	Œ2Œa”‹8”a‰<ÑœÑñ	ó<ò ð ð ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7¼>Ü”2”aœ“8œa‘<¤¤A q£Ð*¨IÓ6Ü	ŒAŒq‹”A‰”qÑñ	ó<ò ð ð ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7¼>Ü”2”aœ“8œa‘<¤¤A q£Ð*¨IÓ6Ü	ŒAŒq‹”A‰”qÑñ	ó<ò ð ð ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°°A¨YÓ7¼>Ü”2”aœ“8œa‘<¤¤A q£Ð*¨IÓ6Ü	ŒAŒq‹”A‰”qÑñ	ó<ò ð ð ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a°´A¨YÓ7¼>Ü”2”aœ“8œa‘<¤ Q¬!¡V¬Q´!©VÓ!4Ð5°yÓAÜ	Œ2Œa”‹8”a‰<ÑœÑñ	ó<ò ð ð ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a´°A¨YÓ7¼>Ü”2”aœ“8œa‘<¤¤Q¬!¡V¬Q°!©VÓ!4Ð5°yÓAØ	
ŒQ‰””A”q“œA‘ÑœqÑ ñ	!ó<"ò "ð "ð "ô Œq”2”aœ“8‰|œa¤"¤Q¬£(™lÑ+¬a´´A¨YÓ7¼>Ü”2”aœ“8œa‘<¤¤Q¬!¡V¬Q´!©VÓ!4Ð5°yÓAÜ	
ŒQ‰�‰”Rœœ1“X¤‘\Ñ"¤1Ñ$ñ	%ó<&ò &ð &ñ &r   c                  ó&   — t        t        d„ «       y )Nc                  óp   — t        t        t        t        «      t        t        t
        «      z   t        «      S )N)r   r   r   r   r   r&   r   r   r    ú<lambda>z$test_extract_delta.<locals>.<lambda>ó  s   € œ~¬b´´A«h¼¼A¼q»Ñ.AÄ1ÓE€ r   )r   Ú
ValueErrorr   r   r    Útest_extract_deltark   ò  s   € Ü
Œ:ÑEÕFr   N)8Úsympy.concreter   Úsympy.concrete.deltar   r   r   rD   r   Ú
sympy.corer   r   r	   r
   Úsympy.functionsr   r   r   r   Úsympy.logicr   Úsympy.testing.pytestr   r   r   r   r&   r-   r   r   r!   r'   r)   r+   r.   r0   r2   r6   r:   r<   r@   rB   rE   rJ   rM   rO   rR   rT   rW   rY   r[   r^   r`   rb   rd   rf   rk   r   r   r    ú<module>rr      s×   ðÝ ß YÑ Yß )Ó )ß KÑ KÝ Ý 'á˜¨T¸$Ô?�€€1€aˆˆAÙˆu %Ô(�€€1ò<òGòKò
1òPò 0ò"6ò,
ò.ò.ò.Aò,5ò:9ò5ò.7ò7ò;ò"8ò08ò08ò0<ò0Mò"Mò"Oò"'ò&&ó0Gr   