o р8VaR<у@sddlmZmZmZmZmZmZmZmZm Z m Z mZddlm Z mZddlmZmZmZddlmZmZedГ\ZZZddДZdd ДZd dДZdd ДZeddДГZddДZddДZddДZ ddДZ!ddДZ"ddДZ#ddДZ$ddДZ%d d!ДZ&d"d#ДZ'd$d%ДZ(d&d'ДZ)d(d)ДZ*d*d+ДZ+d,S)-щ)┌S┌symbols┌Q┌assuming┌Implies┌MatrixSymbol┌I┌pi┌Abs┌Eq┌Gt)┌CNF┌Literal)┌satask┌extract_predargs┌get_relevant_clsfacts)┌raises┌XFAILzx y zcCsцttаtбtаtбГdusJВttаtбtаtбГdusJВttаtбГdus*JВttаtбtаtбГdus9JВttаtбtаtбГdusHJВttаtбtаtбГdusXJВttаtбtаtбГdushJВttddДГttаtбГП&ttаtбГdusВJВttаtбГdusОJВttddДГWdГn1sЯwYttаtбtа tбГdus│JВttаtбtаtбГdus┬JВttаtбtаtбГdus╤JВttаtбtаtt бГdusтJВttаtt бtаtбГsёJВdS)NTFcSs"ttаtбtаtбtаtб@ГSйN)rr┌real┌xйrr·E/usr/lib/python3/dist-packages/sympy/assumptions/tests/test_satask.py┌s"ztest_satask..cSsttаtбtаtбГSr)rrrr┌positiverrrrrs)rrrrrr┌ ValueErrorr┌zero┌nonzero┌yrrrr┌test_satask s$ ¤""rcCs╨ttаtбtаtбBtаttбГdusJВttаttбtаtбtаtбBГdus,JВtttаtбtаttбГГdus?JВttаtбtаtбBtаttбГdusUJВttаtбtаtdбГdusfJВdS)zг Everything in this test doesn't work with the ask handlers, and most things would be very difficult or impossible to make work under that model. TFщN)rrrrrrrrrrr┌ test_zero&s ,,&,&r!cCsLttаttбtаtбtаtб@ГdusJВttаtбtаtб@tаttбГdus,JВttаttбtаtбtаtб@ГdusBJВttаtбtаtб@tаttбГdusXJВttаtttбtаtбtаtб@ГduspJВttаtttdбtаtбtаtб@ГdusКJВttаtttdбtаtбtаtб@ГdusдJВdS)NFTщщ)rrrrrrrr rrrr┌test_zero_positive;s,,,,048r$cCsаttаttбtаtбtаtб@ГdusJВttаttбtаtбtаtб@Гdus,JВttаtбtаttбГdus=JВttаttбtаtбГdusNJВdSйNTF)rrrrrrrrrrr┌ test_zero_powHs,,"&r&cCsЦtdddГ}tdddГ}ttа||бtа|бtа|б@Гdus"JВttа|бtа||бГdus3JВttа|бtа|б@tа||бГdusIJВdS)N┌Ar#┌BT)rrrZ invertible)r'r(rrr┌test_invertibleQs ,"0r)cCsЮttаdбГdusJВttаdбГdusJВttаdбГdus!JВttаttбtаtбtаtб@Гdus7JВttаttбtаtбtаtб@ГdusMJВdS)Nr#TщFщ√ )rr┌primerr┌integerrrrr┌ test_prime[s ,0r.cCsжttаdбГdusJВttаdбГdusJВttаdбГdus!JВttаtбГdus,JВttаtбГdus7JВttаdбГdusBJВttаdбГdusMJВttаdбГdusXJВttаtбГduscJВttаtбГdusnJВttаdбГdusyJВttаdбГdusДJВttаdбГdusПJВttаtбГdusЪJВttаtбГdusеJВttаdбГdus░JВttаdбГdus╗JВttаdбГdus╞JВttаtбГdus╤JВttаtбГdus▄JВttаdбГdusчJВttаdбГdusЄJВttаdбГdus¤JВttаtбГduРs JВttаtбГduРsJВttа dбГduРs!JВttа dбГduРs-JВttа dбГduРs9JВttа tбГduРsEJВttа tбГduРsQJВdS)Nr"Tщ Fr) rrrrr ┌negativerr┌nonpositive┌nonnegativerrrr┌test_old_assumpds<r3cCs└ttаdбГdusJВttаdбГdusJВttаtбГdus!JВttаtбГdus,JВttаtбГdus7JВttаtбГdusBJВttаtttбtаtбtаtб@tаtб@Гdus_JВttаtttбtаtбtаtб@tаtб@Гdus|JВttаtttбtаtбtаtб@ГdusФJВttаtttбtаtбtаtб@tаtб@Гdus▒JВttаtttбtаtбtаtб@tаtб@Гdus╬JВttаtttбtаtбtаtб@ГdusцJВttаtttбtаtбtаtб@tаtб@ГduРsJВttаtttбtаtбtаtб@tаtб@ГduРs"JВttаtttбtаtбtаtб@tаtб@ГduРs@JВttаtttбtаtбtаtб@tаtб@ГduРs^JВdS)Nr FT) rr┌ irrational┌rationalr rrr┌zrrrr┌test_rational_irrationalКs`$ $ 0$ $ 0$ $ $ $ r7cCs└ttаdбГdusJВttаdбГdusJВttаttбtаtбtаtб@Гdus,JВttаttбtаtбtаtб@ГdusBJВttаttбtаtбtаtб@ГdusXJВttаttбtаtбtаtб@ГdusnJВttаttбtаtбГdusJВttаttбtаtбtаtб@ГdusХJВttаttбtаtбtаtб@ГdusлJВttаttГбtаtбГdus╝JВttаttГбtаtбГdus═JВttаtбtаttГбГdus▐JВdS)Nr TщF)rr┌evenrr┌oddr-┌absrrrr┌test_even_sataskйє,,,,",,""&r<cCs└ttаdбГdusJВttаdбГdusJВttаttбtаtбtаtб@Гdus,JВttаttбtаtбtаtб@ГdusBJВttаttбtаtбtаtб@ГdusXJВttаttбtаtбtаtб@ГdusnJВttаttбtаtбГdusJВttаttбtаtбtаtб@ГdusХJВttаttбtаtбtаtб@ГdusлJВttаttГбtаtбГdus╝JВttаttГбtаtбГdus═JВttаtбtаttГбГdus▐JВdS)Nr Fr8T)rrr:rrr9r-r;rrrr┌test_odd_satask║r=r>cCsttаdбГdusJВttаtjбГdusJВttаttбtаtбtаtб@Гdus-JВttаttбtаtбГdus>JВttаttбtаtбtаtб@ГdusUJВttаtttбtаtбtаtб@tаtб@ГdussJВttаtttбtаtбtаtб@tаtб@ГdusТJВttаtttбtаtбtаtб@ГdusлJВttаttбtаtбtаtб@Гdus┴JВttаttбtаtбtаtб@Гdus╫JВttаttбtаtбГdusшJВttаttбtаtбtаtб@Гdus JВttаttбtаtбtа tб@ГduРsJВttаtttбtаtбtаtб@tа tб@ГduРs6JВttаtttбtаtбtа tб@tа tб@ГduРsVJВttаtttбtаtбtа tб@ГduРspJВttаttбtаtбtаtб@ГduРsЗJВdS)Nr"TF) rrr-rZHalfrrr6r4r5rrrr┌test_integer╦sB,".$ & 2,,".0$ & 42r?cCs╬ttаttГбГdus JВttаttГбtаtбГdusJВttаtбtаttГбГdus1JВttаtбtаttГбГdusBJВttаtбtаttГбГdusTJВttаttГбtаtбГduseJВdSr%)rrr2r;rrrrrrrr┌test_absчs$$"$&r@cCs°ttаdtбГdus JВttаttбtаtбГdusJВttаttбtаtбtаtб@Гdus4JВttаtбtаtбГdusCJВttаdбГdusNJВttаttбtаtбtаtб@ГdusdJВttаttбtаtбtаtб@ГduszJВdS)Nr TFr")rr┌ imaginaryrrrrrrrr┌test_imaginaryЁs",,0rBcCsjttаttбtаtбtаtб@ГdusJВttаttбtаtбtаtб@Гdus,JВttаtttбtаtбtаtб@tаtб@ГdusIJВttаtttбtаtбtаtб@ГdusaJВttаtttбtаtбtаtб@tаtб@Гdus~JВttаtttбtаtбtаtб@tаtб@ГdusЫJВttаtttбtаtбtаtб@Гdus│JВdSr%)rrrrrr6rArrrr┌ test_real·s,,:0::4rCcCsЇttаtбtаtбГdusJВttаtбtаtбГdus JВttаttбtаtбtаtб@Гdus6JВttаttбtаtбtаtб@ГdusLJВttаttбtаtбtаtб@ГdusbJВttаttбtаtбtаtб@ГdusxJВdSr%)rrrrr0rrrrr┌test_pos_negs ,,,0rDcCs:ttаtdбtаtбГdusJВttаtdбtаtбГdus"JВttаtdбtаtбГdus3JВttаtdбtаtбГdusDJВttаtdбtаtбГdusUJВttаtdбtаtбГdusfJВttаtdбtаtбГduswJВttаtdбtаtбГdusИJВttаtdбtаtбГdusЩJВttаtdбtаtбГdusкJВttаtdбtаtбГdus╗JВttаtdбtаtбГdus╠JВttаtdбtаtбГdus▌JВttаtdбtаtбГdusюJВttаtdбtаtбГdus JВttаtdбtаtбГduРsJВttаtdбtаtбГduРs#JВttаtdбtаtбГduРs5JВttаtdбtаtбГduРsGJВttаtdбtаtбГduРsYJВttаtdбtаtбГduРskJВttаtdбtаtбГduРs}JВttаtdбtаtбГduРsПJВttаtdбtаtбГduРsбJВttаtdбtаtбГduРs│JВttаtdбtаtбГduРs┼JВttаtdбtаtбГduРs╫JВttаtdбtаtбГduРsщJВttаtdбtаtбГduРs√JВttаtdбtаtбГduРs JВttаtdбtаtбГduРsJВttаtdбtаtбГduРs1JВttаtdбtаtбГduРsCJВttаtdбtаtбГduРsUJВttаtdбtаtбГduРsgJВttаtdбtаtбГduРsyJВttаtdбtаtбГduРsЛJВttаtdбtаtбГduРsЭJВttаtdбtаtбГduРsпJВttаtdбtаtбГduРs┴JВttаtdбtаtбГduРs╙JВttаtdбtаtбГduРsхJВttаtdбtаtбГduРsўJВttаtdбtаtбГduРs JВttаtdбtаtбГduРsJВdS)Nr TFr8щ■ )rrr2rrr1r0rrrrr┌test_pow_pos_neg sZ"""""""""""""""$$$$$$$$$$$$$$$$$$$$$$$$$$$$$(rFcCsttаtбtаtбГdusJВttаtбtаtбГdusJВttаtбtаtбГdus.JВttаtбtаtбГdus>JВttаtбtаtбtаtб@tаtб@ГdusXJВttаdбГduscJВttаdбГdusnJВttаdбГdusyJВttаdбГdusДJВdS)NFr Tщr")rrr,rZ compositer-rrrrr┌test_prime_compositeIs 4rHcCsюtаtаtttГбtаttб@б}tаtаtбб}tаtаtбб}t|ГtttГtthks3JВt||ГtttГttthksEJВt|||ГtttГtttthksYJВtаtttГб}tаt tt Гб}t||Гttt hksuJВdSr)r Z from_proprrr rrrrrr6)ZpropsZassump┌contextrrr┌test_extract_predargsVs& $(rJcCs░tttГh}t|Г\}}|tthksJВ|jtttаtttГбdГttаttбdГhГtttа tttГбdГttа ttбdГhГtttа tttГбdГttа ttбdГhГtttа tttГбdГttа ttбdГhГtttа tttГбdГttаtttГбdГttаttбdГhГtttа tttГбdГttа ttбdГttаtttГбdГhГtttаtttГбdГttа tttГбdГhГhks╓JВdS)NFT)r rrrZclauses┌ frozensetrrr:rr9r)ZexprsZfactsrrr┌test_get_relevant_clsfactscs*....■■ Ў rLN),Zsympyrrrrrrrr r rrZsympy.assumptions.cnfr rZsympy.assumptions.sataskrrrZsympy.testing.pytestrrrrr6rr!r$r&r)r.r3r7r<r>r?r@rBrCrDrFrHrJrLrrrr┌s24 & <