Authors: J. Berthomieu, P. Hivert, and H. Mourtada
This is the implementation of the algorithms given in Computing Hironaka's invariants: Ridge and Directrix to determine the least number of additive polynomials needed to write a homogeneous algebraic system.