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

◆ coefficient_type()

Ring::CoefficientType FractionField::coefficient_type ( ) const
virtual

Reimplemented from Ring.

Definition at line 17 of file frac.cpp.

18{
19 const PolynomialRing *A = R_->cast_to_PolynomialRing();
20 assert(A != 0);
21 const Ring *K = A->getCoefficientRing();
22 if (K->coefficient_type() == COEFF_ZZ) return COEFF_QQ;
23 return K->coefficient_type();
24}
const PolyRingFlat * R_
Definition frac.hpp:63
const Ring * getCoefficientRing() const
Definition polyring.hpp:200
@ COEFF_QQ
Definition ring.hpp:222
@ COEFF_ZZ
Definition ring.hpp:222
virtual CoefficientType coefficient_type() const
Definition ring.hpp:223
Ring()
Definition ring.hpp:136

References Ring::COEFF_QQ, Ring::COEFF_ZZ, Ring::coefficient_type(), PolynomialRing::getCoefficientRing(), R_, and Ring::Ring().