sg. d dl mZ d dlmZmZmZ d dlmZ d dlm Z m
Z
d dl m Z d dl
mZ d dlmZ d dlmZmZ d D cg c]
} e
| c} \ ZZZZZZZZd
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)yc c} w ) )Mul)IIntegerRational)Symbol)rootsqrt)cos)Integral)
sqrtdenest)_subsets_sqrt_numeric_denest)
c v t ddt z z t t z t ddt z z t ddt z z t ddt ddt z z z z t ddt z z dt z z t t t t t dt z t dt z t dt ddt z z z dt z ddt z z t dd z z dt ddt z z z z t t ddt z z z dddt z z t dd z z z z t ddt z z dt dd z t dz dt z dz z z dz i} | D ] }t
| | | k( rJ | y )Nr r g @ r r )r r6r2r3r7r r )dis W/var/www/html/venv/lib/python3.12/site-packages/sympy/simplify/tests/test_sqrtdenest.pytest_sqrtdenestr! s}
a!b&j 27 R!b&[4QV , R!DQV$$
$%tC!B$J2,='> R$r( QV d1r6l Qa!B$h
2q1R4x(1a.( (!DQrTN*: ; DQrTN Aq1R4x(1a. 8 8 9
: Q2X8Aq>)2a4!B$q&=9!; =A (!}!$'a'$( c t t ddt z z
dt ddt z z
z z t t ddt z z
z k( sJ t t t dt z dt dt z dz z z dz z } t | t dt z dz d k( sJ t d t
z }t t d |z t d |z k( sJ t d t d dt d
t z t z z z z dz j } t | d t d dt t t z d
z z z z k( sJ t t d t z d t z z t d t d
d z t d
d d
z z k( sJ t t d t z t d t z z dz j d t z t d t z z k( sJ t t d t z t
z t d t z z dz j d t d t z z t z t
z k( sJ t d t d z t d
z t d t z z dz j } t | t d
t d z d z t d t z z k( sJ t dt z dt z t dt z dz z z d
z } t | t dt z dt z z
dt z z d
z k( sJ t dt z t d z dt dt z dz z z dz }t | |k( sJ t t t t d z t t t d z k( sJ t ddt d z z
dt ddt z z
z z }t | |k( sJ y )N r 7 r r r r r r r ) r r r29r5r r r expandr r
r10r )erzs r test_sqrtdenest2r2 s d2#:$rBsF{*;(;;< =
T"qu*
bS434C" #5!55:;
;?A a=AQ4R! +<)<%< = = == = d1R4!B$;' ( QQ
T!QZ]* + + + dQVd1r6l 2Q 6>>@A B Ba"f dQVb[4B< 7! ;CCEF G DRL2 " # # #
q3q6zCF"T!b&\1A5
=
=
?@A a=CFSVOa /$q2v, > >> > RVad43 ,,
,r
12A a=DC!B$ 2!5!: ; ;; ;
RVc!f_qc#gl!3 3
3b
89A a=A d2R=) *d2R=.A AA A R!DH*_qb2c6k!2 2
23A a=A r" c t t dt d z dt z z
dt d z z dz t t z dt
z z k( sJ t t dt
z dt z z
dt d z z d z d
t z dt
z z k( sJ t t d t z d z dt d
z d z z d t d z d z z dz t d t dz t d z z d z k( sJ t t dt z dt z z dt z z dz dt z dz dt z z k( sJ t dt z dt d z z
dt d z z
dz
} t | t d d t z d t z z d t d z z z k( sJ t dt d z dt z z
dt d z z d z } t | | k( sJ t t d t z dt z z
d z t d!z t z t z k( sJ t t d"t z dt z z d z
t d t d!z t z t z z k( sJ t t d"t z dz dt z dz z t d#d z t dz t z t z dz k( sJ t t t dt z d$z t dt
z d"z z t d!t z t z t
z k( sJ t t dt z d"t z z d%t z z d&z d!t z t z t z k( sJ d!t z t z t z t
z }t t |dz j |k( sJ t |dz j d!z } t | | k( sJ t dt z d t z z dt z z d%z d't z z d(t z z } t | | k( sJ y ))Nr) r r ! i# R ir r& r i i i` iM 8 ib s iY i; r " r r r ) r r r r r r r, r15r. r r- )r1 ws r test_sqrtdenest_recrK @ s d2d2h;2-$r(
:R?@ A b1R4 d3r6BrE>Ad2hJ6;< =
R!B$ d1R47QtBxZ]2QtBxZ]BQFG H R"q&48#$R' ( ( ( d3r6DG+d2g5=> ? "r BrE T"Wr$s)|
#bcl
2T
9:A a=DHadQsUlQtBxZ&? @ @@ @ RR[1R4
!DH*
,r
12A a=A d2b51R4<",- .3$(R-"2D DD D d1R4!B$;+, - R3$(R-"$% & & & d1R46BrE!G+hsA.>>? @ Q b1 d4"q>D2N:; < QVb[2
d1S51R4<"R%/"45 6!b&2+:K KK K B b2 A dAqD==?+ , 11 1 ad]]_q
!A a=A QsUQrT\AbD
2
%3
.B
67A a=A r" c l t ddt d z z dt z z } t | | k( sJ y )Ni r @ )r rI r )r1 s r test_issue_6241rO _ s4 dRQZ "S&()A a=A r" c ~ t ddt z z
dt z t dt z dz z z } t | dt z t z k( sJ t | d dt d z t d z k( sJ t t t dz dz } t | | k( sJ t t dt z d t z t dt z dz z z d
z t dt z d t z z
d t z z d
z k( sJ t t d d
t z z ddt z z t z z t dz d t z z dt z z k( sJ t dt dt
z dz t dt z dt dt z dz z z dz z z } t dt z dz }t | t t |z t |z z t z t z dz k( sJ t dt
z dz dt z dz z dt d z dz z dz }t ddt z z
dt ddt z z
z z }t ||z t dt
z t z z t dt dt z dz t z d z k( sJ y )N
r r' r& r? r )max_iterr r rD p F . rA r r r( r% r$ r * F)evaluate) r r. r r r, r r+ r rI r r )r1 r0 nr s r test_sqrtdenest3rZ d s R!C%Z!B$tBsFRK 00
01A a=BGcM )) ) a! $T!W tBx(? ?? ? T"q&\A
A a=A d2c6AbDbfrk):$::R?@ A RVad]QrT
!B
&' ( ( ( dC"R%KBBJ?:; < a!B$2 QadQh RVaSWr\0B.B%BR%G HH
HIA RVb[A a=DA1s!2S!81!< = == = QrT!Vad1f_qbz!|
+a
/0A R!C%Z!Dbf --
-.A ac?b!b&2+ .ARVb[8IB8N=B1D E E E Er" c B t dt t dt z
z z
t d dt z z z
} t | }t t dz }t |z t
|z z
|z t |z z t z
t z
t z t d z dz j }t | |k( sJ t dt z t t dz z dt z z dt t dz z z dz } t | t t t dz z dz k( sJ dt z t
z dt
z t dt z dt
z z z z }t |dz j } t | |j k( sJ y )NrD r r r rH r r ) r r r, r rI r r r. r- )r1 z1crJ s r test_sqrtdenest4r^ x sV QDRL
47AF#3
34A A B bS1W
A 46BqD=1 r!t #b (2 - 3d2h >
A I I KB a=B QrT$rAv,
2
%$rAv,
6
:;A a=Bb1f - 1 11 1 B q2vtAFQrTM 222A ad]]_ A a=AHHJ && &r" c t d } t dt t d| z dz z dz j }t | t dt t d| z dz z dz k( sJ t dt t dt d z dz z dz j }t | dt t dt d z dz z k( sJ dt d z dz dz j }t | |k( sJ t dt t dt d| z z dz z dz dz j }t | |k( sJ t d }|dz }t t dt dt
z z |z |z dz t
|z z dt dt
z |z z
k( sJ t dt
z }t d|z t ddt
z z z dt
z |z t ddt
z z z z d t
z z d
z }t | |k( sJ y ) Nxr r r r r? rS rF rN rT )r r r- r r
r )r` r1 r] c2ras r test_sqrt_symbolic_denestrc s s A q4QU a((1,
4
4
67A a=D!d4A;?&;";a!? @ @@ @ q4QQZ(1,--1
9
9
;!+b014r"u<= >
T!b&\!^
a"f B RU4AbD>
!BrE"HT!ad(^$;
;be
Cc
IJA a=A r" c ddl m} m} t ddt z dz z dz }t
t z t dz z }t | |k( sJ t d|z d|z k( sJ t t |dz | ddf t d|z | ddf k( sJ t | t | z | t | z k( sJ t
t z t dz z }t | |k( sJ t d|z d|z k( sJ t t |dz | ddf t d|z | ddf k( sJ t | t | z | t | z k( sJ y )Nr )r` yr r r r ) sympy.abcr` re r r r r r r )r` re r1 anss r test_issue_5857rh s\ Q"q\A
A
7R!V
C a=C a!e C '' ' hq1uq!Qi0 1S1a)$ % % % a$q'k "a$q'k 11 1
7R!V
C a=C a!e C '' ' hq1uq!Qi0 1S1a)$ % % % a$q'k "a$q'k 11 1r" c t d dggk( sJ t d g dg dg dg dg dg dg d g d
g d g d g d
g dg dg dg dgk( sJ y )Nr r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )subsets r" r test_subsetsrl sX 1:1# 1:lL, lL, lL, N N N Nr" c t t dt dt d z z t dt dt d z z k( sJ y )Nr )r r rk r" r test_issue_5653rn sP Qa$q'k"
"# %(,Qa$q'k1B-B(C D D Dr" c t dt d t ddt z z z z
dt z z dz t k( sJ dt d t dt z z z
dt z z } t | | k( sJ y )Nr r r )r r r r/ s r test_issue_12420rq ss q474AaC=001Q369 :a ?? ? DGDQK !A#%A a=A r" c t t dt z t ddt z z z t ddt z z z
dk( sJ y )Nr r r r r )r r r rk r" r test_sqrt_ratcombrs s? d1r6lT!ad(^3d2"9oE F! KK Kr" c t ddt d z t z z } t | dt d t z z
k( sJ y )Nr' r r r? )r r r rp s r test_issue_18041ru s>
b1T!W9Q; A a=BaN ** *r" c t d } t d }t d }| | z ||z |z z
}t | ||| t d t z dz dt d z t z dz z k( sJ t t dt d z
t d t z dz dt d z t z dz z k( sJ y )NrB r? ? r) r r )r r r r r )abr0 d2s r test_issue_19914r{ s A A A
1qs1uB 1a , R
1 qay{1}$ % % % d2d2h;' (DHQJqL1T!W9Q;q=,H HH Hr" N)*sympy.core.mulr sympy.core.numbersr r r sympy.core.symbolr (sympy.functions.elementary.miscellaneousr r (sympy.functions.elementary.trigonometricr
sympy.integrals.integralsr sympy.simplify.sqrtdenestr r
rj r r r r, r r r. rI r+ r! r2 rK rO rZ r^ rc rh rl rn rq rs ru r{ )r` s 0r r s 5 5 $ A 8 . 0/72 %3T!W %3 !BBCc ( F >
E(
' &2"ND
L+Is%3s B