LINE Solver (C++)
Templated C++ port of the LINE queueing solver
Loading...
Searching...
No Matches
moment_factorial_from_raw.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_FACTORIAL_FROM_RAW_H
6#define LINE_API_MOMENT_MOMENT_FACTORIAL_FROM_RAW_H
7
8/**
9 * @file
10 * @ingroup api_moment
11 * Factorial moments from raw moments, via the signed Stirling table.
12 *
13 * Templated port of matlab/src/api/moment/moment_factorial_from_raw.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"
28
29namespace line {
30namespace moment {
31
32/** f = s * m, with s the signed Stirling numbers of the first kind. */
33template <class T>
34std::vector<T> moment_factorial_from_raw(const std::vector<T>& m) {
35 return apply_table(moment_stirling1<T>(static_cast<int>(m.size()) - 1), m);
36}
37
38} // namespace moment
39} // namespace line
40
41#endif
The exception types the port throws.
Dense matrix and non-owning view.
Shared helper applying a triangular moment-transform table.
Signed Stirling numbers of the first kind.
std::vector< T > apply_table(const Matrix< T > &A, const std::vector< T > &v)
Apply a lower-triangular transform table to a moment vector.
std::vector< T > moment_factorial_from_raw(const std::vector< T > &m)
f = s * m, with s the signed Stirling numbers of the first kind.
Matrix< T > moment_stirling1(int n)
s(i,j) = (-1)^(i-j) sigma(i,j).
Number-type abstraction for the templated API port.
Population-vector enumeration and combinatorics.