diff options
| author | Abhinav271828 <71174780+Abhinav271828@users.noreply.github.com> | 2024-01-13 21:30:06 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-13 21:30:06 +0530 |
| commit | 850f713e80426f1706c0d3dad143c330ca872d5d (patch) | |
| tree | 73d5247032fecbf770b7010abb2def222369e215 /llvm/lib/Support/CommandLine.cpp | |
| parent | 01ddc0edf9f525af2e4a4c63bd3ef9484d82db4c (diff) | |
| download | llvm-850f713e80426f1706c0d3dad143c330ca872d5d.zip llvm-850f713e80426f1706c0d3dad143c330ca872d5d.tar.gz llvm-850f713e80426f1706c0d3dad143c330ca872d5d.tar.bz2 | |
[MLIR][Presburger] Helper functions to compute the constant term of a generating function (#77819)
We implement two functions that are needed to compute the constant term
of a GF.
One finds a vector not orthogonal to all the non-null vectors in a given
set.
One computes the coefficient of any term in an arbitrary rational
function (quotient of two polynomials).
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions