Package implements an algorithm to minimize rational objective function over the set of exponent pairs

Changes

Changes

Version 0.1.5.0

Convenient combinators for linear forms and constraints. New experimental functions in Math.ExpPairs.Kratzel: tauabcd and tauA for general multidimensional divisor problems.

Version 0.1.4.0

Improve overall performance. Use Stern-Brocot tree for binary searches in Math.ExpPairs.Ivic.

Version 0.1.3.0

New functions in Math.ExpPairs.Ivic: reverseMOnS, checkAbscissa, findMinAbscissa, mBigOnHalf, reverseMBigOnHalf. Fast matrix multiplication via Makarov and Laderman algorithms. Rewrite from the scratch pretty printer of processes.

Used by 1 package:
comments powered byDisqus