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

◆ is_in_prime()

bool LocalRing::is_in_prime ( const ring_elem f) const
private

Definition at line 63 of file localring.cpp.

64{
65 MatrixConstructor mat(mRing->make_FreeModule(1), 1);
66 mat.set_entry(0, 0, f);
67 Matrix *M = mat.to_matrix();
68 bool res = (mPrime->contains(M) == -1);
69 delete M;
70 return res;
71}
GBComputation * mPrime
Definition localring.hpp:70
const PolyRing * mRing
Definition localring.hpp:69
#define Matrix
Definition factory.cpp:14

References Matrix, mPrime, mRing, MatrixConstructor::set_entry(), and MatrixConstructor::to_matrix().

Referenced by is_unit().