[sympy] Introduction

Hello everyone, I am Shubham Kumar Jha from National Institute of Technology Agartala. I am currently in the pre-final year of Undergraduate course in Computer Science & Engineering. I have more than four years of experience of working in Python and had Mathematics as a part of the curriculum till

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

Hi everyone, Since the deadline is approaching, I have submitted the current version of my proposal at *GSoC'*s website. Please take a look at my proposal at wiki . I would be happy to get further s

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

mproving-Assumptions>. I would be happy to get further suggestions from you so that I can iterate over it. Thanks, Shubham On Sat, Apr 6, 2019 at 4:06 PM SHUBHAM JHA wrote: > Hi everyone, > > Since the deadline is approaching, I have submitted the current version of > my propo

Re: [sympy] Re: Gsoc 2019 proposal on Sympy:Tensor core

Hi Rahul, It appears you have not included any contributions you made to Sympy. Patch requirements is a must for proposal to be accepted. Regards, Shubham On Tue, 9 Apr 2019 5:22 pm Rahul Prajapati, wrote: > again update my proposal please it > https://docs.google.com/document/d/1uBeV6Wt6SHbRO

Re: [sympy] has anyone used Z3?

Hello Chris, Z3 is a powerful SMT solver by Microsoft and also has a Python wrapper that is used here . As suggested by Aaron here ,

Re: [sympy] is compatibility builtins broken?

Hi Chris, I am using version 1.5-dev > In [2]: from sympy.core.compatibility import builtins > In [3]: from builtins import type > In [4]: Also, > >>> from sympy.core.compatibility import builtins > >>> from builtins import type > >>> On Wed, May 8, 2019 at 12:53 PM Chris Smith wrote: > A