Macaulay2 » Documentation
Packages » SemidefiniteProgramming :: roundPSDmatrix
next | previous | forward | backward | up | index | toc

roundPSDmatrix -- rational rounding of a PSD matrix



Let $S^n$ be the space of symmetric $n\times n$ matrices, and let $L \subset S^n$ be a rational affine subspace. By vectorization we may describe this subspace in the form $A q = b$ for some matrix $A$ with $n(n+1)/2$ columns. Given a real matrix $Q\in S^n$, this method finds a nearby rational matrix $Q_p$ on $L$.


See also

For the programmer

The object roundPSDmatrix is a function closure.