LINE Solver (C++)
Templated C++ port of the LINE queueing solver
Loading...
Searching...
No Matches
moment_binotransinv.h
Go to the documentation of this file.
1/*
2 * Copyright (c) 2012-2026, QORE Lab, Imperial College London
3 * All rights reserved.
4 */
5#ifndef LINE_API_MOMENT_MOMENT_BINOTRANSINV_H
6#define LINE_API_MOMENT_MOMENT_BINOTRANSINV_H
7
8/**
9 * @file
10 * @ingroup api_moment
11 * Inverse binomial transform.
12 *
13 * Templated port of matlab/src/api/moment/moment_binotransinv.m. Every operation is integer
14 * or rational, so the exact instantiation returns the transform with no
15 * rounding at all. That matters more here than almost anywhere else in the API:
16 * the alternating binomial sums of the moment conversions cancel
17 * catastrophically in double arithmetic once the order grows.
18 */
19
20#include <vector>
21
22#include "line/num/number.h"
23#include "line/util/error.h"
24#include "line/util/matrix.h"
26
27namespace line {
28namespace moment {
29
30/** x_i = sum_k C(i,k) y_k. */
31template <class T>
32std::vector<T> moment_binotransinv(const std::vector<T>& y) {
33 const std::size_t n = y.size();
34 std::vector<T> x(n, num_traits<T>::from_int(0));
35 for (std::size_t i = 0; i < n; ++i)
36 for (std::size_t k = 0; k <= i; ++k)
37 x[i] += num_nck<T>(static_cast<int>(i), static_cast<int>(k)) * y[k];
38 return x;
39}
40
41} // namespace moment
42} // namespace line
43
44#endif
The exception types the port throws.
Dense matrix and non-owning view.
std::vector< T > moment_binotransinv(const std::vector< T > &y)
x_i = sum_k C(i,k) y_k.
T num_nck(int n, int k)
Binomial coefficient as a value of T, by the Pascal recurrence.
Definition population.h:87
Number-type abstraction for the templated API port.
Population-vector enumeration and combinatorics.