[sympy] GSoC 2014: Symbolic (formal) logic and set theory

I am a Computer Science student from Sri Lanka and I am thinking of implementing modules for symbolic (formal) logic and set theory. > >- implement symbolic (formal) logic and set theory >- implement predicate (e.g. first-order), modal, temporal, description > logic > - impl

Re: [sympy] Re: Logic Module

I guess Aaron is right. But looking at issue 4075, I think our first focus SHOULD be to improve the 'to_cnf' function in the logic module. @Soumya, could you send a WIP PR to let us see how you are going about it? As Aaron said, the auxiliary variables may create problems, so we need to be sure

Re: [sympy] Functions: Singularity and Continuity

My implementation works only with function defined as combinations and composition of rational functions, exp and log. I don't how clear my implementation is, so please feel free to ask for clarification. And also feel free to suggest your own ideas. On 29 January 2014 07:23, Aaron Meurer wrote:

Re: [sympy] Equivalence of function instances.

When you define a class inside a function, every time the function is run, you get a new class, which will compare unequal to any previous versions (the same thing is true when you define a function within a function by the way). You could cache the class instances, but to me, it seems easier to ju

Re: [sympy] GSOC 2014:optimization module

Sure, but keep in mind that SymPy is a symbolic library, not a numeric one, so such a library would have to work symbolically in a fundamental way. Otherwise, it belongs in a different library. Aaron Meurer On Tue, Jan 28, 2014 at 12:53 PM, p0906uec wrote: > Hi,I am Pradyumna Paliwal.I have curr

Re: [sympy] Functions: Singularity and Continuity

I guess you could look at the work that has been started at https://github.com/sympy/sympy/pull/2723, and the referenced pull requests. Aaron Meurer On Tue, Jan 28, 2014 at 3:03 PM, Pramod Ch wrote: > Hi, > > In the ideas page the following topic is mentioned. > > Singular analysis and test cont

Re: [sympy] Solve linear equation matrices

I don't think that solution is right. I think the only solution is the trivial one, b1 = b2 = b3 = b4 = 0. In [93]: solve(Matrix([[0, 0, 1/sqrt(2), 1/sqrt(2)], [0, 0, 1/2, -1/sqrt(2)], [1/sqrt(2), 1/sqrt(2), 0, 0], [-1/sqrt(2), 1/sqrt(2), 0, 0]])*Matrix([0.5*b1, 0.6*b2, b3, 0.8*b4]) - Matrix([b1,

Re: [sympy] Gsoc 14

I don't think there is any active work going on right now in the geometry module. If there is, there will likely be an open pull request for it. Aaron Meurer On Tue, Jan 28, 2014 at 12:03 AM, Akshay wrote: > Hello, > I'm Akshay ,a second year undergraduate majoring in Electronics. I will be > ap

[sympy] Re: GSoC Application

In addition to the application, we need to have the ideas page ready (this is actually in many ways more important than the application). See https://github.com/sympy/sympy/wiki/gsoc-2014-ideas. We also need to know who is willing to mentor. If you are willing to mentor at all, even if only for sp

Re: [sympy] How to define QQ for calculating syz

With the latest version of SymPy, you have to use QQ.old_poly_ring(x) instead of QQ[x], because the ACGA module was not updated for the latest poly ring code yet. Aaron Meurer On Tue, Jan 28, 2014 at 2:41 AM, Gerhard Martin wrote: > from __future__ import division > from sympy import * > from sy

Re: [sympy] Re: Logic Module

You have to be careful, though. Apparently Tseitin formulas can slow down the SAT solver, due to the auxiliary variables that are introduced. See https://code.google.com/p/sympy/issues/detail?id=4075#c2. Aaron Meurer On Tue, Jan 28, 2014 at 1:40 PM, Soumya Biswas wrote: > I worked on improving t

[sympy] GSOC 2014: Step By Step Manipulation/Ordinary Differential equation

Hello, I was just glancing through the GSOC 2014 Project Ideas page and found two project of very much interest to me. The first one was "Step By Step Expression Manipulation". The idea behind this project is to display the intermediate steps of evaluating an expression to enhance user's

[sympy] GSOC-2014 Step By Step Expression Manipulation

Hello, I just glanced through SymPy GSOC-2014 project ideas page and found few project very interesting. The one that I am most interested is Step By Step Expression Manipulation. The idea to to compute an expression along with displaying step by step calculations involved to enhance users expe

[sympy] GSoC Application

So the org application period for GSoC starts February 3, which is next Monday. The deadline is February 14. I have the application here, https://github.com/sympy/sympy/wiki/GSoC-2014-Organization-Application, which is just a copy of last year's application so far. We need to go through it and mak

[sympy] Functions: Singularity and Continuity

Hi, In the ideas page the following topic is mentioned. - Singular analysis and test continuous. - find singularities of the function and classify them. - test the function whether it is continuous at some point or not. And in the interval. Note: Please discuss this idea wit

Re: [sympy] Re: Logic Module

I worked on improving the way the formulas are converted to CNF. Using Tseitin-Transformation the conversion to CNF can be optimized (a lot). The summary for the test is as follows: Atoms: 20, Clauses: 100 (Using a propositional statement genera

[sympy] GSOC 2014:optimization module

Hi,I am Pradyumna Paliwal.I have currently studying Electronics and Communication Engineering at IIT Roorkee,India. I have been dealing with sympy for quite some time now.I found that there is no symbolic optimization module implemented yet in sympy.I was wondering if it would be a good idea for

[sympy] Step-by-step Expression Manipulation

Hi I was going through the GSoc 2014 Project Ideas Page, and i found an idea about the " step-by-step expression manipulation". I really liked the idea, and thought of a library to provide such features will be very helpful for the users using SymPy. I went through the last year wiki pages and

[sympy] GSOC 2014:Optimization Module

Hi, I am Pradyumna Paliwal. I am currently in 4th year of Electronics and Communication Engineering at IIT Roorkee,India.I have been dealing with sympy for quite some time now and found that there is no optimization module implemented yet.I was wondering if it would be a good idea to add optimi

[sympy] How to define QQ for calculating syz

from __future__ import division from sympy import * from sympy.abc import x, y from sympy import QQ QQ[x].free_module(2).submodule([1, 0], [1, 1]).syzygy_module() when run above code, it return QQ is not defined -- You received this message because you are subscribed to the Google Groups "symp

[sympy] Equivalence of function instances.

Hello! I have an application where I use undefined functions as keys in dictionaries. This works great out of the box for sympy.Function However, I want to set real=True so I created a class factory which overrides _eval_is_real Now the trouble starts. I tried to work my way through the jungle

Re: [sympy] GSOC 2014: Solvers

I do not know how to simplify these roots. On Tuesday, January 28, 2014 1:57:45 AM UTC+1, Aaron Meurer wrote: > > Ah, apparently the paper > ( > http://www.ams.org/journals/mcom/1991-57-195/S0025-5718-1991-1079014-X/S0025-5718-1991-1079014-X.pdf > > ("Solving solvable quintics", D. S. Dummit)),