Initial revision

[cln.git] / src / integer / ring / cl_I_ring.cc

diff --git a/src/integer/ring/cl_I_ring.cc b/src/integer/ring/cl_I_ring.cc
new file mode 100644 (file)
index 0000000..817715f
--- /dev/null
+++ b/src/integer/ring/cl_I_ring.cc
@@ -0,0 +1,156 @@
+// Ring of integers.
+
+// General includes.
+#include "cl_sysdep.h"
+
+CL_PROVIDE(cl_I_ring)
+
+// Specification.
+#include "cl_integer_ring.h"
+
+
+// Implementation.
+
+#include "cl_integer.h"
+#include "cl_integer_io.h"
+#include "cl_I.h"
+
+static void I_fprint (cl_heap_ring* R, cl_ostream stream, const _cl_ring_element& x)
+{
+       unused R;
+       fprint(stream,The(cl_I)(x));
+}
+
+static cl_boolean I_equal (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
+{
+       unused R;
+       return cl_equal(The(cl_I)(x),The(cl_I)(y));
+}
+
+static const _cl_ring_element I_zero (cl_heap_ring* R)
+{
+       return _cl_ring_element(R, (cl_I)0);
+}
+
+static cl_boolean I_zerop (cl_heap_ring* R, const _cl_ring_element& x)
+{
+       unused R;
+       return zerop(The(cl_I)(x));
+}
+
+static const _cl_ring_element I_plus (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
+{
+       return _cl_ring_element(R, The(cl_I)(x) + The(cl_I)(y));
+}
+
+static const _cl_ring_element I_minus (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
+{
+       return _cl_ring_element(R, The(cl_I)(x) - The(cl_I)(y));
+}
+
+static const _cl_ring_element I_uminus (cl_heap_ring* R, const _cl_ring_element& x)
+{
+       return _cl_ring_element(R, - The(cl_I)(x));
+}
+
+static const _cl_ring_element I_one (cl_heap_ring* R)
+{
+       return _cl_ring_element(R, (cl_I)1);
+}
+
+static const _cl_ring_element I_canonhom (cl_heap_ring* R, const cl_I& x)
+{
+       return _cl_ring_element(R, (cl_I)x);
+}
+
+static const _cl_ring_element I_mul (cl_heap_ring* R, const _cl_ring_element& x, const _cl_ring_element& y)
+{
+       return _cl_ring_element(R, The(cl_I)(x) * The(cl_I)(y));
+}
+
+static const _cl_ring_element I_square (cl_heap_ring* R, const _cl_ring_element& x)
+{
+       return _cl_ring_element(R, square(The(cl_I)(x)));
+}
+
+static const _cl_ring_element I_expt_pos (cl_heap_ring* R, const _cl_ring_element& x, const cl_I& y)
+{
+       return _cl_ring_element(R, expt_pos(The(cl_I)(x),y));
+}
+
+static cl_boolean cl_I_p (const cl_number& x)
+{
+       return (cl_boolean)
+              (!x.pointer_p()
+               ? x.nonpointer_tag() == cl_FN_tag
+               : x.pointer_type() == &cl_class_bignum
+              );
+}
+
+static cl_ring_setops I_setops = {
+       I_fprint,
+       I_equal
+};
+static cl_ring_addops I_addops = {
+       I_zero,
+       I_zerop,
+       I_plus,
+       I_minus,
+       I_uminus
+};
+static cl_ring_mulops I_mulops = {
+       I_one,
+       I_canonhom,
+       I_mul,
+       I_square,
+       I_expt_pos
+};
+
+static cl_number_ring_ops<cl_I> I_ops = {
+       cl_I_p,
+       cl_equal,
+       zerop,
+       operator+,
+       operator-,
+       operator-,
+       operator*,
+       square,
+       expt_pos
+};
+
+class cl_heap_integer_ring : public cl_heap_number_ring {
+       SUBCLASS_cl_heap_ring()
+public:
+       // Constructor.
+       cl_heap_integer_ring ()
+               : cl_heap_number_ring (&I_setops,&I_addops,&I_mulops,
+                                      (cl_number_ring_ops<cl_number>*) &I_ops)
+               { type = &cl_class_integer_ring; }
+       // Destructor.
+       ~cl_heap_integer_ring () {}
+};
+
+static void cl_integer_ring_destructor (cl_heap* pointer)
+{
+       (*(cl_heap_integer_ring*)pointer).~cl_heap_integer_ring();
+}
+
+static void cl_integer_ring_dprint (cl_heap* pointer)
+{
+       unused pointer;
+       fprint(cl_debugout, "(cl_integer_ring) cl_I_ring");
+}
+
+cl_class cl_class_integer_ring = {
+       cl_integer_ring_destructor,
+       cl_class_flags_number_ring,
+       cl_integer_ring_dprint
+};
+
+// Constructor.
+inline cl_integer_ring::cl_specialized_number_ring ()
+       : cl_number_ring (new cl_heap_integer_ring()) {}
+
+const cl_integer_ring cl_I_ring;
+
+CL_PROVIDE_END(cl_I_ring)