Given a completely integrable Pfaffian system with normal crossings, PfaffInt provides funcationalities for constructing locally a fundamental matrix of formal solutions and studying the properties of the system. In what follows, we give examples on two of its functionalities.
PfaffInt is a growing package and more functionalitities are to be added.
It is based on the follwoing two papers:
- Barkatou, Moulay, Suzy S. Maddah, and Hassan Abbas. " Formal Solutions of a Class of Pfaffian Systems in Two Variables." Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation. ACM, 2014.
- Barkatou, Moulay, Maximilian Jaroschek, and Suzy S. Maddah. "Formal Solutions of a Class of Pfaffian Systems in Several Variables." Paper under redaction.
Exponential Part - Multivariate systems
Barkatou-LeRoux-Levelt Rank reduction algorithm of Bivariate systems (ISSAC'2006)
Rank Reduction algorithm for Bivariate systems based on generalization of Moser-Barkatou algorithm (ISSAC'2014)