Automated Generation of Positivity Conjectures for Power Series Coefficients of Multivariable Rational Function

Automated Generation of Positivity Conjectures for Power Series Coefficients of Multivariable Rational Function
By Shalosh B. Ekhad and Malindu Talagala
.pdf .tex
[NOT YET WRITTEN]

Written: In progress (June 2026-?)

Main Maple packages

Rat.txt, a Maple package to generate positivity conjectures for coefficients of a rational function in ANY number of variables

FindRec.txt, A Maple package to find recurrence

Specific Maple packages

Rat2.txt, a Maple package to generate positivity conjectures for coefficients of bi-variate rational functions

Rat3.txt, a Maple package to generate positivity conjectures for coefficients of tri-variate rational functions

Rat4.txt, a Maple package to generate positivity conjectures for coefficients of four-variate rational functions

Sample Input and Output Files for Rat.txt

If you want to see
The input file gives the output file.

Personal Journal of Shalosh B. Ekhad and Zeilberger