[sage-devel] Re: Proposed solution to Maxima precision problem

2012-06-15 Thread Nils Bruin
On Jun 15, 2:04 am, Robert Bradshaw wrote: > Perhaps we could set ffprec to be the min of the input precisions > (plus a default, plus anything still in scope?) before doing any > operations. We don't really have a concept of scope, though. For the calculus use of maxima it might be doable, thoug

[sage-devel] Re: Boolean functions / propositional logic

2012-06-15 Thread Javier López Peña
Hi Nicolas! You might want to review #418 then ;-) http://trac.sagemath.org/sage_trac/ticket/418 On Friday, June 15, 2012 10:25:57 PM UTC+1, Nicolas M. Thiéry wrote: > > Dear all, > > I discussed yesterday with Shalom Eliahou and some other persons that > could be interested in using S

[sage-devel] Boolean functions / propositional logic

2012-06-15 Thread Nicolas M. Thiery
Dear all, I discussed yesterday with Shalom Eliahou and some other persons that could be interested in using Sage to have a natural syntax for constructing complicated propositional logic formulas (boolean formulas), in order to model and treat some of their hard NP problems using SAT solv

[sage-devel] Totally weird maxima_abstract.py timeout

2012-06-15 Thread Jeroen Demeyer
The following issue has been plagueing me for a while now and I totally have no explanation for it: When applying sage-5.1.beta3 + #12810 + #6812, I often (not always) get doctest timeouts on sage/interfaces/maxima_abstract.py The strange thing is: with only #12810 or #6812, it is fine. Also sag

[sage-devel] Re: Customize the Sage Notebook

2012-06-15 Thread Keshav Kini
Jorge Catumba Ruiz writes: > Hi, I want to customize the sage notebook to add an editor with syntax > highlighting and other features that I need. The thing I want to ask you is: > Where I can start? I know how to coding in html5, css, js and ajax but all > files in the notebook use things that I

[sage-devel] Re: Customize the Sage Notebook

2012-06-15 Thread P Purkayastha
Hello, There is already some work underway to make these changes. If you want to pitch in, then I would suggest to look at the todo there. Here are some links: https://groups.google.com/forum/?hl=en#!topic/sage-notebook/9WhShQmqTpc https://github.com/samuela/sagenb/tree/newui https://github.c

[sage-devel] Customize the Sage Notebook

2012-06-15 Thread Jorge Catumba Ruiz
Hi, I want to customize the sage notebook to add an editor with syntax highlighting and other features that I need. The thing I want to ask you is: Where I can start? I know how to coding in html5, css, js and ajax but all files in the notebook use things that I have never seen before. If I can

[sage-devel] needs review: SAT Solver Interface

2012-06-15 Thread Martin Albrecht
Hi, so I finished (hopefully) my work on optionally adding SAT solvers to Sage. http://trac.sagemath.org/sage_trac/ticket/418 implements: * an optional Sage package for CryptoMiniSat * a C++ interface to CryptoMiniSat which supports xor clauses, options, conflict clauses and learnt clause ex

[sage-devel] Re: strange patchbot failure report

2012-06-15 Thread Keshav Kini
John Cremona writes: > At #13100 there's a report patchbot test failure which makes no sense > to me, as it is in a file (sage/sage/misc/trace.py) miles from any > affected by that ticket. > > Does patchbot check that there are no test failures *before* applying > the patches as well as after? Pe

Re: [sage-devel] Some technical stackoverflow questions

2012-06-15 Thread kcrisman
On Friday, June 15, 2012 9:26:41 AM UTC-4, John Cremona wrote: > > I answered the first one, then tried to answer the second but was told > "Oops! Your answer couldn't be submitted because: > users with less than 125 reputation can only post answers every 3 > minutes; try again later." >

Re: [sage-devel] Some technical stackoverflow questions

2012-06-15 Thread John Cremona
I answered the first one, then tried to answer the second but was told "Oops! Your answer couldn't be submitted because: users with less than 125 reputation can only post answers every 3 minutes; try again later." It's also very tedious answering on that forum since you can't (or I do not know

[sage-devel] Some technical stackoverflow questions

2012-06-15 Thread kcrisman
Those who really know their elliptic curve code, there are three posts on stackoverflow about EC questions, all by the same person and all sounding awfully similar. Just pointing it out in case anyone can answer him quickly. http://stackoverflow.com/questions/11050801/verification-signature-e

[sage-devel] strange patchbot failure report

2012-06-15 Thread John Cremona
At #13100 there's a report patchbot test failure which makes no sense to me, as it is in a file (sage/sage/misc/trace.py) miles from any affected by that ticket. Does patchbot check that there are no test failures *before* applying the patches as well as after? Perhaps it should if not? John --

Re: [sage-devel] Re: mod_rewrite trac urls?

2012-06-15 Thread R. Andrew Ohana
On Fri, Jun 15, 2012 at 3:08 AM, Volker Braun wrote: > We are already rewriting the base trac url, so its trivial to just add > this one: > > RewriteRule ^/([0-9]+)$ http://trac.sagemath.org/sage_trac/ticket/$1 > [L,R,NE] > > Anybody with actual www-admin rights care to set it up? > > -- > T

[sage-devel] Re: mod_rewrite trac urls?

2012-06-15 Thread Volker Braun
We are already rewriting the base trac url, so its trivial to just add this one: RewriteRule ^/([0-9]+)$ http://trac.sagemath.org/sage_trac/ticket/$1 [L,R,NE] Anybody with actual www-admin rights care to set it up? -- To post to this group, send an email to sage-devel@googlegroups.com To

Re: [sage-devel] Re: Proposed solution to Maxima precision problem

2012-06-15 Thread Robert Bradshaw
On Wed, Jun 13, 2012 at 9:43 PM, rjf wrote: > > > oh, just a note on precision in Maxima with bigfloats. > > If you have 2 numbers of precision N  and M,  and you add them together, the > resulting number will be of precision K  where K is the global value of the > specified precision.  this is fp