src/rational/elem/cl_RA_plus1.cc

   1 // plus1().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_rational.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_RA.h"
  13 #include "cl_integer.h"
  14
  15 const cl_RA plus1 (const cl_RA& r)
  16 {
  17 // Methode:
  18 // Falls r ein Integer ist: I_1_plus_I anwenden
  19 // Falls r = a/b: (a+b)/b, wobei b>1 und ggT(a+b,b)=ggT(a,b)=1 ist.
  20         if (integerp(r)) {
  21                 DeclareType(cl_I,r);
  22                 return plus1(r);
  23         } else {
  24                 DeclareType(cl_RT,r);
  25                 var const cl_I& a = numerator(r);
  26                 var const cl_I& b = denominator(r);
  27                 return I_I_to_RT(a+b,b);
  28         }
  29 }