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

◆ rawIsLocalUnit()

M2_bool rawIsLocalUnit ( const RingElement * f)

Definition at line 753 of file localring.cpp.

754{
755 const LocalRing *L = f->get_ring()->cast_to_LocalRing();
756 if (L == nullptr)
757 {
758 ERROR("expected an object over a local ring");
759 return false;
760 }
761 return L->is_unit(f->get_value());
762}
virtual bool is_unit(const ring_elem f) const
Engine-side localisation of a polynomial ring at a prime ideal.
Definition localring.hpp:67
virtual const LocalRing * cast_to_LocalRing() const
Definition ring.hpp:253
ring_elem get_value() const
Definition relem.hpp:79
const Ring * get_ring() const
Definition relem.hpp:81
const int ERROR
Definition m2-mem.cpp:55

References Ring::cast_to_LocalRing(), ERROR, RingElement::get_ring(), RingElement::get_value(), and LocalRing::is_unit().