[sympy] Interface promise of conversion to float

2021-12-02 Thread Damien Desfontaines
Hi all, This feels like a very simple problem, but I couldn't find a clear answer in the documentation. I have a sympy number x and I would like to round it to the nearest float. Suppose I simply use float(x), and that the true value of x is between two successive floats a and b. - If x is

[sympy] GSoC idea : Max-SAT solvers

2012-03-23 Thread Damien Desfontaines
Hello everyone, My name is Damien Desfontaines, and I'm currently following a Theoretical Computer Science Major at the École Normale Supérieure in Paris, which is one of the most selective universities in France. I am fairly interested in working for SymPy during the Google Summer of Code

Re: [sympy] Re: Logic Module: Quantified and/or Predicate Logic?

2012-03-23 Thread Damien Desfontaines
2012/3/23 Cullen Seaton cullensea...@gmail.com: Alright, then in the interest of working towards proving theorems, it seems like an appropriate starting place might be to implement predicates (something of the form l(x, y) that reads as x has property l with respect to y) and then begin