Over the last few years I’ve often tried to make a contribution to LLVM-project but failed to land any contribution in, mostly because I engaged myself in some contract work last year, and because of which I couldn’t devote myself to focusing on it. I feel I’ve come full-circle back LLVM contribution. I think I should be paving the way forward to keep myself away from all the distractions (AI…
LLVM Intermediate Representation is an a low-level programming language (more lower than C++, Python etc.).
Conclusion of things done on weekend regarding learning word2vec . word2vec is one of the really good ways to solve the problem of “word-embedding”. , developed by researchers at google (Tomas Mikolov and colleagues) GloVe (Global Vectors for Word Representation) is another really good way to compute word embeddings, developed at Stanford. The original research papers (by Tomas Mikolov and…
Patch policy: Patch should have a Subject : [PATCH] Docs: Add info on supported kernels to REPORTING-BUGS. . Here clearly Docs indicate that it that the patch makes changes to the documentation section. Why’s are more important than What in body of patch (aka commit message?). It seems like a lot of drivers subfolder have a separate file “TODO” listing the work that needs to be done. For example,…
Looking at linux kernel I am currently reading the book Operating System Concepts by Galvin and Galge . What purpose does an operating system serve? Actually an operating system is similar to the government, operating system doesn’t do anything useful for the user in its own right but rather creates an environment in which a variety of programs, apps can be function properly by making use of the…
We worked on Parametric logarithmic derivative PR #12885 only this week. So now I will get to a few mathematical points regarding the problem of “parametric logarithmic derivative” problem (will shortly write it as PLD problem). The PLD problem is, for a given hyperexponential monomial \(\theta\) over a differential field \(K\) and \(f \in K\), to decide whether there exists \(n, m \in…
We started working on implementation of parametric logarithmic derivative problem using Risch structure Theorem . First we implemented the function basis_Q , which seems like we wouldn’t be needing no-more. While doing that it seemed like there was problem with the .is_algebraic property, as it was returning (pi**3).is_algebraic as True. This bug was fixed in the pull request #12924 . Also a few…
This week we completed PR #12850]() on adding/removing variable in DifferentialExtension class for later introduction of creating extensions of \(\tan\), \(\atan\), and probably algebraic extensions as well. Lists like E_K , L_K and the new ones have been combined in a single list one, and the variables to record that information are exts and extargs . exts will store str instances having value in…
Risch’s structure theorem’s For the next couple of weeks we will be moving to understand and implement the Risch’s structure theorem and applications that we will make use of in gsoc project. One of the application is that of “Simplification of real elementary functions”, a paper by Manuel Bronstein (in 1989) [1] . This paper by Bronstein uses Risch’s real structure theorem, the paper determines…
After the Kalevi’s comment The param-rde branch is getting inconveniently big for hunting down and reviewing small changes. I think we should create another branch that would contain my original PR plus the added limited_integrate code (and optionally something else). Then that should be merged. Thereafter it would be easier to review new additions. I decided to remove a few commits from top of…
GSoC 2017: Symbolic Integration I applied for Google Summer of Code again this year, and my project on symbolic integration has been accepted. Like last year, my mentors are Aaron Meurer (SymPy lead developer) and Kalevi Suominen . The proposal I submitted can be found here GSoC 2017 proposal: Symbolic Integration . Aaron himself worked on Symbolic Integration in GSoC 2010, and he started the…
Below is the summary: Gaurav Dhingra - Computational Group Theory in SymPy This project aimed to implement free groups, finitely presented groups and various algorithms like Coset Enumeration using Todd Coxeter method, Low index subgroup and Reidemeister schreier. Computation of order, index and other properties of the finitely presented groups is now present. The functionality is added in the…
GSoC 2016 Project with SymPy( wrap up ): Computational Group Theory Hi, I’m Gaurav Dhingra ( @gxyd ) and this post is a report of my work for SymPy under Google Summer of Code 2016 . This is also intended to be a description of my work for submission to GSoC’s Final Evaluation . Work Product Submission commits in GSoC 2016 product submission: Gaurav Dhingra . GSoC proposal Pull Requests #10350…
Hi all, here’s a brief summary of the 12th week of my GSoC: Last week I uploaded the test-coverage files on my website, that revealed some interesting places where a few versions of scan routine in coset enumeration have un-tested if-elif-else case. As we are now approaching the end of GSoC time period, we decided to do some testing with some of the examples from 1973cdhw paper [2]. Coset…
Hi everyone. Here’s what we have been doing for 7th week of GSoC . Kalevi mentioned about the $LaTex$ not getting rendered on Planet Sympy website, thought it works fine on my website. Following the conversation Aaron opened issue planet-sympy/issues/45 , though it hasn’t been fixed. This week we completed PR #11295 on Reidemeister Schreier algorithm. Remember the blog issue I asked on our gitter…
Hi everyone. First of all the good news, I have passed the mid-term evaluations. I received the feedback from Kalevi, “I have had some problems with the blog posts.”. Though Kalevi, mentioned to not take the post seriously. Well, not to say, that is definitely true. I don’t claim that I will be able to remedy this, but lets see what happens. Kalevi, had sent me a mail, mentioning “next things to…
Hi everyone. Here’s a brief summary of 5th week of my GSoC. In the 5th week we worked upon the implementation of Low Index Subgroups algorithm. The basic problem dealt with by this algorithm is: *find all subgroups H such that the index G:H is at most a specified number N > 0.* The term “low” is used to indicate the impracticalness of solving the problem for large $N$ values. The Handbook [1]…
Here is a brief summary of what we did in the second and third week of GSoC. First of all I got late in blogging about our progress for the weeks 2, 3. Since the internet connection was disrupted( reason ) for almost 3 weeks in my city, so in between I had to move out to some other place. But still project progress is good :) Status update: PR #11140 on implementation of strategies of coset…
Hi everyone. Here is a brief summary of what we have been doing for the first week of GSoC. In last week we opened the PR #11140 for working on implementing the Finitely Presented Groups and Coset Enumeration. Implementing the Coset Enumeration first understanding how the routine mentioned in [1] interact with each other. Since The different routines being: define , scan , coincidence , merge ,…
Community Bonding period ends, Coding period starts The Community bonding period comes to an end now. First of all considering the issues described in the last post: Aaron created a new channel for our GSoC project discussion, sympy/GroupTheory . I have also added rss-feed in my blog. As for time of meeting, me and Kalevi often have discussion on the gitter channel, but since of quite a bit…
Hello, I’m Gaurav Dhingra a 3rd year undergraduate student at IIT Roorkee, my proposal on Group Theory with SymPy has been accepted as a part of Google Summer of Code. First, a little bit about SymPy , a Computer Algebra System (CAS) written entirely in Python. SymPy 1.0 was released about 2 months ago, Sympy has been created by hundreds of contributors starting from 2006. I will be working on…