GSoC 2017 Solvers Progress report

GSoC 2017 Solvers

• Student: Ranjith Kumar
• Mentors: Sumith Kulal, Srajan Garg, Shivam Vats, Nishant Nikhil and Amit Kumar
• Github: ranjithkumar007
• Blog Link : Link
• PR(s) : https://github.com/symengine/symengine/pulls/ranjithkumar007

Progress

Week #	Goals	Blog Post	Status/PR Links (if any)
Community Bonding	FLINT wrappers for factorisation	blog	#1274#1275 #1258
Week 1	Complement, set_intersection and set_complement	blog	#1281
Week 2	ConditionSet, ImageSet	blog	#1291, #1293
Week 3	Improvements in ConditionSet	blog	#1291
Week 4, 5	Polynomial Solvers	blog	#1296, #1301
Week 6	Trigonometric Solvers	blog	#1305, #1304
Week 7, 8	Trigonometric Solvers	blog	#1309, #1310
Week 9	Fixes in ImageSet	blog	#1314
Week 10, 11	System of Equations, EigenValues and xreplace	blog	#1317, #1319, #1320
Week 12	Resolved Travis errors	blog	-

Remaining Work as per proposal :

• completing fu and the PR #1058 on interop of polynomials.

PRs Pending(Need a review) :

• #1305
• #1317
• #1319

Acknowledgement :
I would like to express my special thanks of gratitude to all my mentors, Isuru and Ondrej for giving me a golden opportunity to do this project. This project couldn't have been possible without their constant support and guidance throughout the summers.

Minutes of Meeting:

Meeting #01

• Date: 4th May, 2017

• Time: 10:30 AM - 11:20 AM (IST)

• Attendees: Amit Kumar, Sumith Kulal, Isuru Fernando and Ranjith Kumar

  • Review of the work till now
  • Discussion on the priority of implementing factorisation of cyclotomic polynomials. Finalised to push this work to later part of GSoC (after we are done with polynomial and trigonometric solvers).
  • ReThink on whether or not to implement ConditionSet
  • Setting up a progress report.

• Goals:

  • Get this #1281 PR merged in.
  • Figure out the neccessity of ConditionSet and start working on ImageSet

Pull Requests ready for a review:

• #1281

Meeting #02

• Date: 11th May, 2017

• Time: 11:20 PM - 11:50 PM (IST)

• Attendees: Amit Kumar and Ranjith Kumar

  • Review of the work in this week
  • Discussion on whether or not to simplify Contains in And.

• Goals:

  • Get the two PRs merged in.
  • start working on lower degree polynomial solvers.

Pull Requests ready for a review:

• #1291
• #1293