1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
// Copyright 2011 Michael E. Stillman
#ifndef _aring_wrap_hpp_
#define _aring_wrap_hpp_
#include "aring.hpp"
namespace M2 {
/**
\ingroup rings
*/
template <class RingType>
class RElementWrap : public RElement
{
friend bool ARing::converter(const ARing *sourceR,
const ARing *targetR,
const RElement &a,
RElement &b);
public:
typedef typename RingType::ElementType element_type;
~RElementWrap() {}
RElementWrap() {}
RElementWrap(const element_type &a) : val_(a) {}
RElementWrap(const RElement &a)
: val_(static_cast<const RElementWrap &>(a).val_)
{
}
private:
friend class AConcreteRing<RingType>;
element_type val_;
};
/**
\ingroup rings
*/
template <class RingType> // RingType should inherit from RingInterface
class AConcreteRing : public ARing
{
friend bool ARing::converter(const ARing *sourceR,
const ARing *targetR,
const RElement &a,
RElement &b);
public:
typedef typename RingType::ElementType element_type;
typedef RElementWrap<RingType> ringelem_type;
AConcreteRing() {}
AConcreteRing(RingType R) : R_(R) {}
virtual RingID getRingID() const { return RingType::ringID; }
RingType &getInternalRing() { return R_; }
const RingType &getInternalRing() const { return R_; }
virtual void init_set(RElement &a, long val) const
{
R_.init_set(RELEM(RingType, a), val);
}
virtual void add_to(RElement &a, const RElement &b) const
{
R_.add_to(RELEM(RingType, a), constRELEM(RingType, b));
}
private:
RingType R_;
};
};
#endif
// Local Variables:
// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
// indent-tabs-mode: nil
// End:
|
