Regarding Gsoc project in Series Expansions

[Saanidhya Vats]

Currently I am going through the gruntz thesis and references which are related to limit module (have started bit early compared to the schedule mentioned in my proposal as my college is closed due to covid-19 effect, so I can denote enough time on this project). I am currently working on some of the issues.It would be really helpful if someone could guide me on this topic and review my work in future. Below I have attached the link to my proposal.

Regards

Saanidhya vats

 Link to proposal: https://docs.google.com/document/d/1Ym2rE1Ucw_A8fcdDT3PQmSyxUQDvGhX6QoBS1dDSIB8/edit?usp=sharing