Macaulay2 Engine
Loading...
Searching...
No Matches

◆ debugOutputSPairMatrix()

void F4Res::debugOutputSPairMatrix ( )
private

Definition at line 750 of file res-f4.cpp.

750{ debugOutputMatrix(mSPairs); }
F4Res::debugOutputMatrix
void debugOutputMatrix(std::vector< Row > &)
Definition res-f4.cpp:739
F4Res::mSPairs
std::vector< Row > mSPairs
Definition res-f4.hpp:181

References debugOutputMatrix(), and mSPairs.