Query about gsoc'26 idea : Hypothesis testing

[Nilay Chheda]

Hey! I am in my second year pursuing my BE in comp sci from BITS Pilani, India. I am familiar with python and c++. The Hypothesis Testing project sounded very interesting to me! I am experienced with logic in cs, state space models, model checking in UPPAAL, and feel that I would enjoy contributing to this. 

Is the project active? If yes, can you recommend me a good place to start for the proposal? 

Thanks!

Nilay

[Aaron Meurer]

Yes, the project is active. I would start by reading through the issue
https://github.com/sympy/sympy/issues/20914, and playing around with
they hypothesis library to get an idea of how it works.

Aaron Meurer

> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/sympy/95b1fa2f-1fb1-4933-999d-83b74f1db0a9n%40googlegroups.com.

[Nilay Chheda]

Hi Aaron,

I have explored the Hypothesis library quite a bit. Do you have any recommendations for particular functions or files within sympy that I should start testing with?
Thanks,
Nilay

To view this discussion visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6K8Uey5cOA9V8WkC59gKUmhn%2BJMH9RRSmS4yPYNW5fWhw%40mail.gmail.com.

[RAIYYAN ABDULLA NADDIMULLA SHAIK]

The hypothesis library is lit tho

Regards

Raiyyan

To view this discussion visit https://groups.google.com/d/msgid/sympy/CANf%2B8BTq9Y4JHLfMOjm9knUD1PyF1uVKqtbspwHTMCVANwjDdQ%40mail.gmail.com.

The information contained in this electronic communication is intended solely for the individual(s) or entity to which it is addressed. It may contain proprietary, confidential and/or legally privileged information. Any review, retransmission, dissemination, printing, copying or other use of, or taking any action in reliance on the contents of this information by person(s) or entities other than the intended recipient is strictly prohibited and may be unlawful. If you have received this communication in error, please notify us by responding to this email or telephone and immediately and permanently delete all copies of this message and any attachments from your system(s). The contents of this message do not necessarily represent the views or policies of BITS Pilani.