Re: [sage-devel] Query about SageMath for GSOC

2016-03-12 Thread Amritpal Singh
On Sat, Mar 12, 2016 at 3:24 PM, Johan S. R. Nielsen wrote: > See the following list of suggested projects that a dev is ready to > mentor: > > https://wiki.sagemath.org/GSoC/2016 > > I'm on the project "Rank-metric codes" which has already received lots > of attention from prospective students.

Re: [sage-devel] Query about SageMath for GSOC

2016-03-12 Thread Johan S . R . Nielsen
> Can you tell me some top priority projects of Sage for GSoC in which > you can guide me? See the following list of suggested projects that a dev is ready to mentor: https://wiki.sagemath.org/GSoC/2016 I'm on the project "Rank-metric codes" which has already received lots of attention from pros

Re: [sage-devel] Query about SageMath for GSOC

2016-03-11 Thread Amritpal Singh
On Thu, Mar 10, 2016 at 6:09 PM, Johan S. R. Nielsen wrote: > Sorry, apart from answering the odd email on this list, I'm not going to > guide such a project. I'm not particularly interested in the > "print_computation"-idea, and for the other idea on certificates, I > simply don't know enough abo

Re: [sage-devel] Query about SageMath for GSOC

2016-03-10 Thread Johan S . R . Nielsen
Hi Amritpal, > If we can make a function of "computation of expressions" then we have a > certificate or proof that how Sage solve the particular equation. If this > thing is physically (internally) happening with Sage then, why can't we do > it? Just giving a transcript of all elementary comp

Re: [sage-devel] Query about SageMath for GSOC

2016-03-10 Thread Amritpal Singh
On Wednesday, March 9, 2016 at 2:24:22 PM UTC+5:30, Johan S. R. Nielsen wrote: > Hi Amritpal, > A related, and mathematically quite important feature, is that of > "certificates": that a function returns together with its output a > certificate, a kind of proof, that output is really correct. Fo

Re: [sage-devel] Query about SageMath for GSOC

2016-03-09 Thread Johan S . R . Nielsen
> For example: We have an equation (2+3*(8/2)) and when I solve this > equation in SageMath it gives the exact answer i.e 14. However, it's > really interesting to imagine if Sage prints all the steps that how > they solve the above equation to find its answer like first it print > this (2+3*4) by

[sage-devel] Query about SageMath for GSOC

2016-03-06 Thread Amritpal Singh
Hello developers, I'm an enthusiast user of SageMath, using sage for purpose doesn't satisfy me, so now I want to contribute in coming GSOC 2016. As you, all know that Sage have no functionality to prints all the steps that how this particular equation is solved. It gives the exact solution of a