Definition at line 15 of file tower.cpp.
18{
21
25
26
27 if (extensions.size() == 0)
28 {
30 }
31 else
32 {
33 TowerPolynomial* exts = new TowerPolynomial[extensions.size()];
34 for (int i = 0; i < extensions.size(); i++)
35 exts[i] = reinterpret_cast<TowerPolynomial>(extensions[i].poly_val);
37 delete[] exts;
38 }
39
43
44 return true;
45}
static DRing * create(long p, int nvars0, const TowerPolynomial *ext0)
void initialize_ring(long charac, const PolynomialRing *DR=nullptr, const std::vector< int > &heft_vec={})
virtual ring_elem from_long(long n) const
References DRing::create(), D, Ring::declare_field(), from_long(), Ring::initialize_ring(), level, Ring::minus_oneV, names, nvars, Ring::oneV, and Ring::zeroV.