/cln-1.3.2/src/rational/elem/cl_RA_plus1.cc

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