Re: [sympy] GSoC: Assumptions Project

[Francesco Bonazzi]

Hi,

it's slightly out of topic, but SymPy is really missing the ability to 
define assumptions on sets (that is, that a variable belongs to a set, e.g. 
x in [1, 3]).

There are some PR that could be continued:


   - https://github.com/sympy/sympy/pull/11615
   - https://github.com/sympy/sympy/pull/2721

The idea is to implement how the sets propagate when subject to arithmetic 
operations and functions.


For example, one could define *SetAdd*, *SetMul*, *SetPow* objects to 
represent additions, multiplications and powers of sets by other sets.


Once we have such operations, we could add support for range/set 
assumptions, at last.

-- 
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+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/7c7c1bab-e076-4e31-999b-d5347db64652%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [sympy] GSoC: Assumptions Project

[Jason Moore]

Yash,

You should search the mailing list for past conversations, look at our
Github wiki for previous proposals on this system, search pull requests
related to assumptions, and reach out to the people that have worked on
this system to learn what is needed. Also start here for getting setup:
https://github.com/sympy/sympy/wiki/introduction-to-contributing


Jason
moorepants.info
+01 530-601-9791

On Sun, Mar 26, 2017 at 4:35 PM, Yash Patel  wrote:

> Hi everyone!
>
> My name is Yash Patel, currently a junior at Princeton University
> (studying Math with minors in Computer Science and Statistics Machine
> Learning). I was *really *interested in the Assumptions project that was
> described on the GSoC ideas page, especially because I used something in a
> similar vein for a programming languages class I took, where we used the
> Coq proof assistant to programmatically simplify and prove expressions.
> This seems like an especially interesting extension of SymPy and parallels
> how you can add "underlying assumptions" (axioms) to different Coq
> environments. If possible, I'd really appreciate any suggestions of what to
> explore and directions to try!
>
> - Yash
>
> --
> 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+unsubscr...@googlegroups.com.
> To post to this group, send email to sympy@googlegroups.com.
> Visit this group at https://groups.google.com/group/sympy.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/sympy/944758e5-ac10-4a55-ab33-d48d2b5d7740%40googlegroups.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CAP7f1AgLhBNNW%2BBrM8ekZCcU%3DJrKcjY_Y_CceuP%2BG4fA4gHRWQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[sympy] GSoC: Assumptions Project

[Yash Patel]

Hi everyone!

My name is Yash Patel, currently a junior at Princeton University (studying 
Math with minors in Computer Science and Statistics Machine Learning). I 
was *really *interested in the Assumptions project that was described on 
the GSoC ideas page, especially because I used something in a similar vein 
for a programming languages class I took, where we used the Coq proof 
assistant to programmatically simplify and prove expressions. This seems 
like an especially interesting extension of SymPy and parallels how you can 
add "underlying assumptions" (axioms) to different Coq environments. If 
possible, I'd really appreciate any suggestions of what to explore and 
directions to try!

- Yash

-- 
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+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/944758e5-ac10-4a55-ab33-d48d2b5d7740%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.