The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++

Abstract

This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms have been implemented in the C++ toolbox ETVO ((Event|Time)-Variant Operators). After proving the correctness of the algorithms, we present a user guide for the C++ implementation.

26 pages, 2 figures, technical report, fixed wrong result in Section 4.3