1 // Ring of rational numbers.
4 #include "base/cl_sysdep.h"
7 #include "cln/rational_ring.h"
12 #include "cln/rational.h"
13 #include "cln/rational_io.h"
14 #define zerop zerop_inline
15 #include "rational/cl_RA.h"
20 static void RA_fprint (cl_heap_ring* R, std::ostream& stream, const _cl_ring_element& x)
23 fprint(stream,The(cl_RA)(x));
26 static bool RA_equal (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
29 return equal(The(cl_RA)(x),The(cl_RA)(y));
32 static const _cl_ring_element RA_zero (cl_heap_ring* R)
34 return _cl_ring_element(R, (cl_RA)0);
37 static bool CL_FLATTEN RA_zerop (cl_heap_ring* R, const _cl_ring_element& x)
40 return zerop_inline(The(cl_RA)(x));
43 static const _cl_ring_element RA_plus (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
45 return _cl_ring_element(R, The(cl_RA)(x) + The(cl_RA)(y));
48 static const _cl_ring_element RA_minus (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
50 return _cl_ring_element(R, The(cl_RA)(x) - The(cl_RA)(y));
53 static const _cl_ring_element RA_uminus (cl_heap_ring* R, const _cl_ring_element& x)
55 return _cl_ring_element(R, - The(cl_RA)(x));
58 static const _cl_ring_element RA_one (cl_heap_ring* R)
60 return _cl_ring_element(R, (cl_RA)1);
63 static const _cl_ring_element RA_canonhom (cl_heap_ring* R, const cl_I& x)
65 return _cl_ring_element(R, (cl_RA)x);
68 static const _cl_ring_element RA_mul (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
70 return _cl_ring_element(R, The(cl_RA)(x) * The(cl_RA)(y));
73 static const _cl_ring_element RA_square (cl_heap_ring* R, const _cl_ring_element& x)
75 return _cl_ring_element(R, square(The(cl_RA)(x)));
78 static const _cl_ring_element RA_expt_pos (cl_heap_ring* R, const _cl_ring_element& x, const cl_I& y)
80 return _cl_ring_element(R, expt_pos(The(cl_RA)(x),y));
83 static bool cl_RA_p (const cl_number& x)
85 return (!x.pointer_p()
86 ? x.nonpointer_tag() == cl_FN_tag
87 : (x.pointer_type()->flags & cl_class_flags_subclass_rational) != 0);
90 static cl_ring_setops RA_setops = {
94 static cl_ring_addops RA_addops = {
101 static cl_ring_mulops RA_mulops = {
109 static cl_number_ring_ops<cl_RA> RA_ops = {
121 class cl_heap_rational_ring : public cl_heap_number_ring {
122 SUBCLASS_cl_heap_ring()
125 cl_heap_rational_ring ()
126 : cl_heap_number_ring (&RA_setops,&RA_addops,&RA_mulops,
127 (cl_number_ring_ops<cl_number>*) &RA_ops)
128 { type = &cl_class_rational_ring; }
130 ~cl_heap_rational_ring () {}
133 static void cl_rational_ring_destructor (cl_heap* pointer)
135 (*(cl_heap_rational_ring*)pointer).~cl_heap_rational_ring();
138 static void cl_rational_ring_dprint (cl_heap* pointer)
141 fprint(cl_debugout, "(cl_rational_ring) cl_RA_ring");
144 cl_class cl_class_rational_ring;
145 static cl_heap_rational_ring* cl_heap_rational_ring_instance;
149 inline cl_rational_ring::cl_specialized_number_ring ()
150 : cl_number_ring(cl_heap_rational_ring_instance) { }
152 const cl_rational_ring cl_RA_ring = cl_RA_ring;
154 int cl_RA_ring_init_helper::count = 0;
156 cl_RA_ring_init_helper::cl_RA_ring_init_helper()
159 cl_class_rational_ring.destruct = cl_rational_ring_destructor;
160 cl_class_rational_ring.flags = cl_class_flags_number_ring;
161 cl_class_rational_ring.dprint = cl_rational_ring_dprint;
162 cl_heap_rational_ring_instance = new cl_heap_rational_ring();
163 new ((void *)&cl_RA_ring) cl_rational_ring();
167 cl_RA_ring_init_helper::~cl_RA_ring_init_helper()
170 delete cl_heap_rational_ring_instance;