ruby-mpfi 0.0.9 → 0.0.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -26,17 +26,17 @@ VALUE r_mpfi_class, r_mpfi_math;;
26
26
  #define r_mpfi_left_ptr(c_var) (&((c_var)->left))
27
27
  #define r_mpfi_right_ptr(c_var) (&((c_var)->right))
28
28
 
29
- void r_mpfi_free(void *ptr);
30
- VALUE r_mpfi_make_new_fi_obj(MPFI *ptr);
31
- VALUE r_mpfi_new_fi_obj(VALUE obj);
32
- void r_mpfi_set_robj(MPFI *ptr, VALUE obj);
29
+ void r_mpfi_free (void *ptr);
30
+ VALUE r_mpfi_make_new_fi_obj (MPFI *ptr);
31
+ VALUE r_mpfi_new_fi_obj (VALUE obj);
32
+ void r_mpfi_set_robj (MPFI *ptr, VALUE obj);
33
33
 
34
- int r_mpfi_subdivision2(int num, MPFI *ret, mpfi_t x);
34
+ int r_mpfi_subdivision2 (int num, MPFI *ret, mpfi_t x);
35
35
 
36
- void r_mpfi_set_function_state(int num);
37
- VALUE r_mpfi_get_function_state(VALUE self);
36
+ void r_mpfi_set_function_state (int num);
37
+ VALUE r_mpfi_get_function_state (VALUE self);
38
38
 
39
- void r_mpfi_load_string(MPFI *ptr_s, const char *dump);
40
- char *r_mpfi_dump_to_string(MPFI *ptr_s);
39
+ void r_mpfi_load_string (MPFI *ptr_s, const char *dump);
40
+ char *r_mpfi_dump_to_string (MPFI *ptr_s);
41
41
 
42
42
  #endif /* _RUBY_MPFI_H_ */
@@ -1,2 +1,2 @@
1
- void mpfi_mid_interval(mpfi_t ret, mpfi_t x);
2
- int mpfi_subdivision(int num, mpfi_t *ret, mpfi_t x);
1
+ void mpfi_mid_interval (mpfi_t ret, mpfi_t x);
2
+ int mpfi_subdivision (int num, mpfi_t *ret, mpfi_t x);
@@ -1,53 +1,53 @@
1
1
  #include "func_ruby_mpfi_complex.h"
2
2
 
3
- void mpfi_complex_init(MPFIComplex *x){
3
+ void mpfi_complex_init (MPFIComplex *x) {
4
4
  x->re = ALLOC_N(MPFI, 1);
5
5
  x->im = ALLOC_N(MPFI, 1);
6
6
  mpfi_init(x->re);
7
7
  mpfi_init(x->im);
8
8
  }
9
9
 
10
- void mpfi_complex_clear(MPFIComplex *x){
10
+ void mpfi_complex_clear (MPFIComplex *x) {
11
11
  mpfi_clear(x->re);
12
12
  mpfi_clear(x->im);
13
13
  free(x->re);
14
14
  free(x->im);
15
15
  }
16
16
 
17
- void mpfi_complex_set_zeros(MPFIComplex *x){
17
+ void mpfi_complex_set_zeros (MPFIComplex *x) {
18
18
  mpfi_set_si(x->re, 0);
19
19
  mpfi_set_si(x->im, 0);
20
20
  }
21
21
 
22
- void mpfi_complex_set_real_part(MPFIComplex *x, MPFI *a){
22
+ void mpfi_complex_set_real_part (MPFIComplex *x, MPFI *a) {
23
23
  mpfi_set(x->re, a);
24
24
  }
25
25
 
26
- void mpfi_complex_set_imaginary_part(MPFIComplex *x, MPFI *a){
26
+ void mpfi_complex_set_imaginary_part (MPFIComplex *x, MPFI *a) {
27
27
  mpfi_set(x->im, a);
28
28
  }
29
29
 
30
- void mpfi_complex_set(MPFIComplex *new, MPFIComplex *x){
30
+ void mpfi_complex_set (MPFIComplex *new, MPFIComplex *x) {
31
31
  mpfi_set(new->re, x->re);
32
32
  mpfi_set(new->im, x->im);
33
33
  }
34
34
 
35
- void mpfi_complex_conjugate(MPFIComplex *new, MPFIComplex *x){
35
+ void mpfi_complex_conjugate (MPFIComplex *new, MPFIComplex *x) {
36
36
  mpfi_set(new->re, x->re);
37
37
  mpfi_neg(new->im, x->im);
38
38
  }
39
39
 
40
- void mpfi_complex_add(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
40
+ void mpfi_complex_add (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y) {
41
41
  mpfi_add(new->re, x->re, y->re);
42
42
  mpfi_add(new->im, x->im, y->im);
43
43
  }
44
44
 
45
- void mpfi_complex_sub(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
45
+ void mpfi_complex_sub (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y) {
46
46
  mpfi_sub(new->re, x->re, y->re);
47
47
  mpfi_sub(new->im, x->im, y->im);
48
48
  }
49
49
 
50
- void mpfi_complex_mul(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
50
+ void mpfi_complex_mul (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y) {
51
51
  MPFI *t1, *t2, *t_re;
52
52
  r_mpfi_temp_alloc_init2(t1, mpfi_complex_get_prec(new));
53
53
  r_mpfi_temp_alloc_init2(t2, mpfi_complex_get_prec(new));
@@ -68,7 +68,7 @@ void mpfi_complex_mul(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
68
68
  r_mpfi_temp_free(t_re);
69
69
  }
70
70
 
71
- void mpfi_complex_div(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
71
+ void mpfi_complex_div (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y) {
72
72
  MPFI *t1, *t2, *t_re, *deno;
73
73
  r_mpfi_temp_alloc_init2(t1, mpfi_complex_get_prec(new));
74
74
  r_mpfi_temp_alloc_init2(t2, mpfi_complex_get_prec(new));
@@ -97,29 +97,29 @@ void mpfi_complex_div(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y){
97
97
  r_mpfi_temp_free(deno);
98
98
  }
99
99
 
100
- /* void mpfi_complex_mul_real(MPFIComplex *new, MPFIComplex *x, MPFI *y){ */
100
+ /* void mpfi_complex_mul_real (MPFIComplex *new, MPFIComplex *x, MPFI *y) { */
101
101
  /* mpfi_mul(new->re, x->re, y); */
102
102
  /* mpfi_mul(new->im, x->im, y); */
103
103
  /* } */
104
104
 
105
- /* void mpfi_complex_mul_pure_imaginary(MPFIComplex *new, MPFIComplex *x, MPFI *y){ */
105
+ /* void mpfi_complex_mul_pure_imaginary (MPFIComplex *new, MPFIComplex *x, MPFI *y) { */
106
106
  /* mpfi_mul(new->re, x->im, y); */
107
107
  /* mpfi_neg(new->re, new->re); */
108
108
  /* mpfi_mul(new->im, x->re, y); */
109
109
  /* } */
110
110
 
111
- /* void mpfi_complex_div_real(MPFIComplex *new, MPFIComplex *x, MPFI *y){ */
111
+ /* void mpfi_complex_div_real (MPFIComplex *new, MPFIComplex *x, MPFI *y) { */
112
112
  /* mpfi_div(new->re, x->re, y); */
113
113
  /* mpfi_div(new->im, x->im, y); */
114
114
  /* } */
115
115
 
116
- /* void mpfi_complex_div_pure_imaginary(MPFIComplex *new, MPFIComplex *x, MPFI *y){ */
116
+ /* void mpfi_complex_div_pure_imaginary (MPFIComplex *new, MPFIComplex *x, MPFI *y) { */
117
117
  /* mpfi_div(new->re, x->im, y); */
118
118
  /* mpfi_div(new->im, x->re, y); */
119
119
  /* mpfi_neg(new->im, new->im); */
120
120
  /* } */
121
121
 
122
- /* void mpfi_complex_abs(MPFI *new, MPFIComplex *x){ */
122
+ /* void mpfi_complex_abs (MPFI *new, MPFIComplex *x) { */
123
123
  /* MPFI *tmp; */
124
124
  /* r_mpfi_temp_alloc_init(tmp); */
125
125
  /* mpfi_mul(tmp, x->re, x->re); */
@@ -16,20 +16,20 @@ typedef struct __MPFIComplex{
16
16
  /* we implement mpfi_complex_get_prec assuming that they have same presition. */
17
17
  #define mpfi_complex_get_prec(x) mpfi_get_prec(x->re)
18
18
 
19
- void mpfi_complex_init(MPFIComplex *x);
20
- void mpfi_complex_clear(MPFIComplex *x);
21
- void mpfi_complex_set_zeros(MPFIComplex *x);
22
- void mpfi_complex_set_real_part(MPFIComplex *x, MPFI *a);
23
- void mpfi_complex_set_imaginary_part(MPFIComplex *x, MPFI *a);
24
- void mpfi_complex_set(MPFIComplex *new, MPFIComplex *x);
25
- void mpfi_complex_conjugate(MPFIComplex *new, MPFIComplex *x);
26
- void mpfi_complex_add(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
27
- void mpfi_complex_sub(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
28
- void mpfi_complex_mul(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
29
- void mpfi_complex_div(MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
19
+ void mpfi_complex_init (MPFIComplex *x);
20
+ void mpfi_complex_clear (MPFIComplex *x);
21
+ void mpfi_complex_set_zeros (MPFIComplex *x);
22
+ void mpfi_complex_set_real_part (MPFIComplex *x, MPFI *a);
23
+ void mpfi_complex_set_imaginary_part (MPFIComplex *x, MPFI *a);
24
+ void mpfi_complex_set (MPFIComplex *new, MPFIComplex *x);
25
+ void mpfi_complex_conjugate (MPFIComplex *new, MPFIComplex *x);
26
+ void mpfi_complex_add (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
27
+ void mpfi_complex_sub (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
28
+ void mpfi_complex_mul (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
29
+ void mpfi_complex_div (MPFIComplex *new, MPFIComplex *x, MPFIComplex *y);
30
30
 
31
- /* void mpfi_complex_mul_real(MPFIComplex *new, MPFIComplex *x, MPFI *y); */
32
- /* void mpfi_complex_mul_pure_imaginary(MPFIComplex *new, MPFIComplex *x, MPFI *y); */
33
- /* void mpfi_complex_div_real(MPFIComplex *new, MPFIComplex *x, MPFI *y); */
34
- /* void mpfi_complex_div_pure_imaginary(MPFIComplex *new, MPFIComplex *x, MPFI *y); */
35
- /* void mpfi_complex_abs(MPFI *new, MPFIComplex *x); */
31
+ /* void mpfi_complex_mul_real (MPFIComplex *new, MPFIComplex *x, MPFI *y); */
32
+ /* void mpfi_complex_mul_pure_imaginary (MPFIComplex *new, MPFIComplex *x, MPFI *y); */
33
+ /* void mpfi_complex_div_real (MPFIComplex *new, MPFIComplex *x, MPFI *y); */
34
+ /* void mpfi_complex_div_pure_imaginary (MPFIComplex *new, MPFIComplex *x, MPFI *y); */
35
+ /* void mpfi_complex_abs (MPFI *new, MPFIComplex *x); */
@@ -2,19 +2,19 @@
2
2
 
3
3
  static ID object_id;
4
4
 
5
- void r_mpfi_complex_free(void *ptr){
5
+ void r_mpfi_complex_free(void *ptr) {
6
6
  mpfi_complex_clear(ptr);
7
7
  free(ptr);
8
8
  }
9
9
 
10
10
  /* Allocation function for MPF::Complex. */
11
- static VALUE r_mpfi_complex_alloc (VALUE self){
11
+ static VALUE r_mpfi_complex_alloc (VALUE self) {
12
12
  MPFIComplex *ptr;
13
13
  r_mpfi_make_complex_struct(self, ptr);
14
14
  return self;
15
15
  }
16
16
 
17
- static void r_mpfi_complex_set_initial_value(MPFIComplex *ptr, int argc, VALUE *argv)
17
+ static void r_mpfi_complex_set_initial_value (MPFIComplex *ptr, int argc, VALUE *argv)
18
18
  {
19
19
  mpfi_complex_init(ptr);
20
20
  switch (argc) {
@@ -36,7 +36,7 @@ static void r_mpfi_complex_set_initial_value(MPFIComplex *ptr, int argc, VALUE *
36
36
  }
37
37
 
38
38
  /* Return new MPFI::Complex instance. The same arguments as MPFI::Complex.new is acceptable. */
39
- static VALUE r_mpfi_complex_global_new(int argc, VALUE *argv, VALUE self)
39
+ static VALUE r_mpfi_complex_global_new (int argc, VALUE *argv, VALUE self)
40
40
  {
41
41
  MPFIComplex *ptr;
42
42
  VALUE val;
@@ -46,7 +46,7 @@ static VALUE r_mpfi_complex_global_new(int argc, VALUE *argv, VALUE self)
46
46
  }
47
47
 
48
48
  /* Initialization function for MPF::Complex. */
49
- static VALUE r_mpfi_complex_initialize (int argc, VALUE *argv, VALUE self){
49
+ static VALUE r_mpfi_complex_initialize (int argc, VALUE *argv, VALUE self) {
50
50
  MPFIComplex *ptr;
51
51
  r_mpfi_get_complex_struct(ptr, self);
52
52
  r_mpfi_complex_set_initial_value(ptr, argc, argv);
@@ -54,7 +54,7 @@ static VALUE r_mpfi_complex_initialize (int argc, VALUE *argv, VALUE self){
54
54
  }
55
55
 
56
56
  /* initialize_copy */
57
- static VALUE r_mpfi_complex_initialize_copy (VALUE self, VALUE other){
57
+ static VALUE r_mpfi_complex_initialize_copy (VALUE self, VALUE other) {
58
58
  MPFIComplex *ptr_self, *ptr_other;
59
59
  r_mpfi_get_complex_struct(ptr_self, self);
60
60
  r_mpfi_get_complex_struct(ptr_other, other);
@@ -64,7 +64,7 @@ static VALUE r_mpfi_complex_initialize_copy (VALUE self, VALUE other){
64
64
  }
65
65
 
66
66
  /* Return real part. */
67
- static VALUE r_mpfi_complex_real (VALUE self){
67
+ static VALUE r_mpfi_complex_real (VALUE self) {
68
68
  MPFIComplex *ptr_self;
69
69
  VALUE ret;
70
70
  MPFI *ptr_ret;
@@ -75,7 +75,7 @@ static VALUE r_mpfi_complex_real (VALUE self){
75
75
  }
76
76
 
77
77
  /* Return imaginary part. */
78
- static VALUE r_mpfi_complex_imaginary (VALUE self){
78
+ static VALUE r_mpfi_complex_imaginary (VALUE self) {
79
79
  MPFIComplex *ptr_self;
80
80
  VALUE ret;
81
81
  MPFI *ptr_ret;
@@ -86,13 +86,13 @@ static VALUE r_mpfi_complex_imaginary (VALUE self){
86
86
  }
87
87
 
88
88
  /* If _p1_ is 0, return real part. If _p1_ is 1, return imaginary part. */
89
- static VALUE r_mpfi_complex_element (VALUE self, VALUE arg){
89
+ static VALUE r_mpfi_complex_element (VALUE self, VALUE arg) {
90
90
  MPFIComplex *ptr_self;
91
91
  VALUE ret;
92
92
  MPFI *ptr_ret;
93
93
  r_mpfi_get_complex_struct(ptr_self, self);
94
94
  r_mpfi_make_struct_init(ret, ptr_ret);
95
- switch(NUM2INT(arg)){
95
+ switch (NUM2INT(arg)) {
96
96
  case 0:
97
97
  mpfi_set(ptr_ret, ptr_self->re);
98
98
  break;
@@ -107,7 +107,7 @@ static VALUE r_mpfi_complex_element (VALUE self, VALUE arg){
107
107
  }
108
108
 
109
109
  /* Return conjugate complex number. */
110
- static VALUE r_mpfi_complex_conjugate (VALUE self){
110
+ static VALUE r_mpfi_complex_conjugate (VALUE self) {
111
111
  MPFIComplex *ptr_self, *ptr_ret;
112
112
  VALUE ret;
113
113
  r_mpfi_get_complex_struct(ptr_self, self);
@@ -116,7 +116,7 @@ static VALUE r_mpfi_complex_conjugate (VALUE self){
116
116
  return ret;
117
117
  }
118
118
 
119
- /* static VALUE r_mpfi_complex_abs (VALUE self){ */
119
+ /* static VALUE r_mpfi_complex_abs (VALUE self) { */
120
120
  /* MPFIComplex *ptr_self; */
121
121
  /* r_mpfi_get_complex_struct(ptr_self, self); */
122
122
  /* VALUE ret; */
@@ -128,7 +128,7 @@ static VALUE r_mpfi_complex_conjugate (VALUE self){
128
128
 
129
129
 
130
130
  /* String for inspect. */
131
- static VALUE r_mpfi_complex_inspect(VALUE self){
131
+ static VALUE r_mpfi_complex_inspect (VALUE self) {
132
132
  MPFIComplex *ptr_s;
133
133
  char *ret_str;
134
134
  VALUE ret_val;
@@ -145,7 +145,7 @@ static VALUE r_mpfi_complex_inspect(VALUE self){
145
145
  }
146
146
 
147
147
  /* Return array including strings which the elements is converted to by _p1_. */
148
- static VALUE r_mpfi_complex_str_ary(VALUE self, VALUE format_str){
148
+ static VALUE r_mpfi_complex_str_ary (VALUE self, VALUE format_str) {
149
149
  MPFIComplex *ptr_self;
150
150
  char *format, *tmp_str;
151
151
  VALUE ret_val[2];
@@ -161,7 +161,7 @@ static VALUE r_mpfi_complex_str_ary(VALUE self, VALUE format_str){
161
161
  }
162
162
 
163
163
  /* Return _self_ + _p1_.*/
164
- static VALUE r_mpfi_complex_add (VALUE self, VALUE other){
164
+ static VALUE r_mpfi_complex_add (VALUE self, VALUE other) {
165
165
  MPFIComplex *ptr_self, *ptr_other, *ptr_ret;
166
166
  VALUE ret;
167
167
  r_mpfi_get_complex_struct(ptr_self, self);
@@ -172,7 +172,7 @@ static VALUE r_mpfi_complex_add (VALUE self, VALUE other){
172
172
  }
173
173
 
174
174
  /* Return _self_ - _p1_.*/
175
- static VALUE r_mpfi_complex_sub (VALUE self, VALUE other){
175
+ static VALUE r_mpfi_complex_sub (VALUE self, VALUE other) {
176
176
  MPFIComplex *ptr_self, *ptr_other, *ptr_ret;
177
177
  VALUE ret;
178
178
  r_mpfi_get_complex_struct(ptr_self, self);
@@ -183,7 +183,7 @@ static VALUE r_mpfi_complex_sub (VALUE self, VALUE other){
183
183
  }
184
184
 
185
185
  /* Return _self_ * _p1_.*/
186
- static VALUE r_mpfi_complex_mul (VALUE self, VALUE other){
186
+ static VALUE r_mpfi_complex_mul (VALUE self, VALUE other) {
187
187
  MPFIComplex *ptr_self, *ptr_other, *ptr_ret;
188
188
  VALUE ret;
189
189
  r_mpfi_get_complex_struct(ptr_self, self);
@@ -194,7 +194,7 @@ static VALUE r_mpfi_complex_mul (VALUE self, VALUE other){
194
194
  }
195
195
 
196
196
  /* Return _self_ / _p1_.*/
197
- static VALUE r_mpfi_complex_div (VALUE self, VALUE other){
197
+ static VALUE r_mpfi_complex_div (VALUE self, VALUE other) {
198
198
  MPFIComplex *ptr_self, *ptr_other, *ptr_ret;
199
199
  VALUE ret;
200
200
  r_mpfi_get_complex_struct(ptr_self, self);
@@ -205,7 +205,7 @@ static VALUE r_mpfi_complex_div (VALUE self, VALUE other){
205
205
  }
206
206
 
207
207
 
208
- void Init_complex(){
208
+ void Init_complex() {
209
209
  VALUE tmp_mpfi_class = rb_define_class("MPFI", rb_cNumeric);
210
210
 
211
211
  r_mpfi_complex = rb_define_class_under(tmp_mpfi_class, "Complex", rb_cObject);
@@ -237,6 +237,4 @@ void Init_complex(){
237
237
  rb_define_alias(r_mpfi_complex, "/", "div");
238
238
 
239
239
  object_id = rb_intern("object_id");
240
-
241
240
  }
242
-
@@ -10,6 +10,6 @@
10
10
  #define r_mpfi_complex_temp_alloc_init(mpfi_complex_var) { mpfi_complex_var = ALLOC_N(MPFIComplex, 1); mpfi_complex_init(mpfi_complex_var); }
11
11
  #define r_mpfi_complex_temp_free(mpfi_complex_var) { mpfi_complex_clear(mpfi_complex_var); free(mpfi_complex_var); }
12
12
 
13
- void r_mpfi_complex_free(void *ptr);
13
+ void r_mpfi_complex_free (void *ptr);
14
14
 
15
15
  #endif
@@ -1,2 +1,2 @@
1
- void mpfi_mid_interval(mpfi_t ret, mpfi_t x);
2
- int mpfi_subdivision(int num, mpfi_t *ret, mpfi_t x);
1
+ void mpfi_mid_interval (mpfi_t ret, mpfi_t x);
2
+ int mpfi_subdivision (int num, mpfi_t *ret, mpfi_t x);
@@ -1,83 +1,83 @@
1
1
  #include "ruby_mpfi_matrix.h"
2
2
 
3
- void mpfi_matrix_init(MPFIMatrix *mat, int row, int column){
3
+ void mpfi_matrix_init (MPFIMatrix *mat, int row, int column) {
4
4
  int i;
5
5
  mat->row = row;
6
6
  mat->column = column;
7
7
  mat->size = row * column;
8
8
  /* mat->data = (MPFI *)malloc(sizeof(MPFI) * mat->size); */
9
9
  mat->data = ALLOC_N(MPFI, mat->size);
10
- for(i = 0; i < mat->size; i++){
10
+ for (i = 0; i < mat->size; i++) {
11
11
  mpfi_init(mat->data + i);
12
12
  }
13
13
  }
14
14
 
15
- void mpfi_matrix_set_zeros(MPFIMatrix *mat){
15
+ void mpfi_matrix_set_zeros (MPFIMatrix *mat) {
16
16
  int i;
17
- for(i = 0; i < mat->size; i++){
17
+ for (i = 0; i < mat->size; i++) {
18
18
  mpfi_set_si(mat->data + i, 0);
19
19
  }
20
20
  }
21
21
 
22
- void mpfi_matrix_clear(MPFIMatrix *mat){
22
+ void mpfi_matrix_clear (MPFIMatrix *mat) {
23
23
  int i;
24
- for(i = 0; i < mat->size; i++){
24
+ for (i = 0; i < mat->size; i++) {
25
25
  mpfi_clear(mat->data + i);
26
26
  }
27
27
  free(mat->data);
28
28
  }
29
29
 
30
- void mpfi_matrix_set_element(MPFIMatrix *mat, int row, int col, MPFI *a){
30
+ void mpfi_matrix_set_element (MPFIMatrix *mat, int row, int col, MPFI *a) {
31
31
  mpfi_set(mpfi_matrix_get_element(mat, row, col), a);
32
32
  }
33
33
 
34
- void mpfi_matrix_set(MPFIMatrix *new, MPFIMatrix *x){
34
+ void mpfi_matrix_set (MPFIMatrix *new, MPFIMatrix *x) {
35
35
  int i;
36
- for(i = 0; i < x->size; i++){
36
+ for (i = 0; i < x->size; i++) {
37
37
  mpfi_set(new->data + i, x->data + i);
38
38
  }
39
39
  }
40
40
 
41
- void mpfi_matrix_swap(MPFIMatrix *x, MPFIMatrix *y){
41
+ void mpfi_matrix_swap (MPFIMatrix *x, MPFIMatrix *y) {
42
42
  int i;
43
43
  for (i = 0; i < x->size; i++) {
44
44
  mpfi_swap(mpfi_matrix_get_ptr(x, i), mpfi_matrix_get_ptr(y, i));
45
45
  }
46
46
  }
47
47
 
48
- void mpfi_matrix_row(MPFIMatrix *new, MPFIMatrix *x, int row){
48
+ void mpfi_matrix_row (MPFIMatrix *new, MPFIMatrix *x, int row) {
49
49
  int i;
50
50
  for (i = 0; i < x->column; i++) {
51
51
  mpfi_set(new->data + i, mpfi_matrix_get_element(x, row, i));
52
52
  }
53
53
  }
54
54
 
55
- void mpfi_matrix_column(MPFIMatrix *new, MPFIMatrix *x, int column){
55
+ void mpfi_matrix_column (MPFIMatrix *new, MPFIMatrix *x, int column) {
56
56
  int i;
57
57
  for (i = 0; i < x->row; i++) {
58
58
  mpfi_set(new->data + i, mpfi_matrix_get_element(x, i, column));
59
59
  }
60
60
  }
61
61
 
62
- void mpfi_matrix_transpose(MPFIMatrix *new, MPFIMatrix *x){
62
+ void mpfi_matrix_transpose (MPFIMatrix *new, MPFIMatrix *x) {
63
63
  int i, j, index;
64
- for(j = 0; j < x->column; j++){
64
+ for (j = 0; j < x->column; j++) {
65
65
  index = j * x->row;
66
- for(i = 0; i < x->row; i++){
66
+ for (i = 0; i < x->row; i++) {
67
67
  mpfi_set(new->data + j + i * new->row, x->data + i + index);
68
68
  }
69
69
  }
70
70
  }
71
71
 
72
- void mpfi_matrix_neg(MPFIMatrix *new, MPFIMatrix *x){
72
+ void mpfi_matrix_neg (MPFIMatrix *new, MPFIMatrix *x) {
73
73
  int i;
74
- for(i = 0; i < x->size; i++){
74
+ for (i = 0; i < x->size; i++) {
75
75
  mpfi_neg(new->data + i, x->data + i);
76
76
  }
77
77
  }
78
78
 
79
79
  /* Return 0 if *x and *y has the same elements. Otherwise return 1. */
80
- int mpfi_matrix_equal_p(MPFIMatrix *x, MPFIMatrix *y){
80
+ int mpfi_matrix_equal_p (MPFIMatrix *x, MPFIMatrix *y) {
81
81
  int i, ret = 0;
82
82
  if (x->column == y->column && x->row == y->row) {
83
83
  for (i = 0; i < x->size; i++) {
@@ -87,65 +87,65 @@ int mpfi_matrix_equal_p(MPFIMatrix *x, MPFIMatrix *y){
87
87
  break;
88
88
  }
89
89
  }
90
- }else{
90
+ } else {
91
91
  ret = 1;
92
92
  }
93
93
  return ret;
94
94
  }
95
95
 
96
- void mpfi_matrix_add(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
96
+ void mpfi_matrix_add (MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y) {
97
97
  int i, j, index;
98
- for(j = 0; j < x->column; j++){
98
+ for (j = 0; j < x->column; j++) {
99
99
  index = j * x->row;
100
- for(i = 0; i < x->row; i++){
100
+ for (i = 0; i < x->row; i++) {
101
101
  mpfi_add(new->data + i + index, x->data + i + index, y->data + i + index);
102
102
  }
103
103
  }
104
104
  }
105
105
 
106
- void mpfi_matrix_add_fr(MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y){
106
+ void mpfi_matrix_add_fr (MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y) {
107
107
  int i, j, index;
108
- for(j = 0; j < x->column; j++){
108
+ for (j = 0; j < x->column; j++) {
109
109
  index = j * x->row;
110
- for(i = 0; i < x->row; i++){
110
+ for (i = 0; i < x->row; i++) {
111
111
  mpfi_add_fr(new->data + i + index, x->data + i + index, y->data + i + index);
112
112
  }
113
113
  }
114
114
  }
115
115
 
116
- void mpfi_matrix_sub(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
116
+ void mpfi_matrix_sub (MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y) {
117
117
  int i, j, index;
118
- for(j = 0; j < x->column; j++){
118
+ for (j = 0; j < x->column; j++) {
119
119
  index = j * x->row;
120
- for(i = 0; i < x->row; i++){
120
+ for (i = 0; i < x->row; i++) {
121
121
  mpfi_sub(new->data + i + index, x->data + i + index, y->data + i + index);
122
122
  }
123
123
  }
124
124
  }
125
125
 
126
- void mpfi_matrix_sub_fr(MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y){
126
+ void mpfi_matrix_sub_fr (MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y) {
127
127
  int i, j, index;
128
- for(j = 0; j < x->column; j++){
128
+ for (j = 0; j < x->column; j++) {
129
129
  index = j * x->row;
130
- for(i = 0; i < x->row; i++){
130
+ for (i = 0; i < x->row; i++) {
131
131
  mpfi_sub_fr(new->data + i + index, x->data + i + index, y->data + i + index);
132
132
  }
133
133
  }
134
134
  }
135
135
 
136
136
  /* x and new must be different pointer from each other. */
137
- void mpfi_matrix_mul(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
137
+ void mpfi_matrix_mul (MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y) {
138
138
  int i, j, k, index, index_y;
139
139
  MPFI *tmp;
140
140
  r_mpfi_temp_alloc_init(tmp);
141
- for(i = 0; i < new->size; i++){
141
+ for (i = 0; i < new->size; i++) {
142
142
  mpfi_set_si(new->data + i, 0);
143
143
  }
144
- for(j = 0; j < y->column; j++){
145
- for(i = 0; i < x->row; i++){
144
+ for (j = 0; j < y->column; j++) {
145
+ for (i = 0; i < x->row; i++) {
146
146
  index = i + j * new->row;
147
147
  index_y = j * y->row;
148
- for(k = 0; k < x->column; k++){
148
+ for (k = 0; k < x->column; k++) {
149
149
  mpfi_mul(tmp, x->data + i + k * x->row, y->data + k + index_y);
150
150
  mpfi_add(new->data + index, new->data + index, tmp);
151
151
  }
@@ -155,18 +155,18 @@ void mpfi_matrix_mul(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
155
155
  }
156
156
 
157
157
  /* x and new must be different pointer from each other. */
158
- void mpfi_matrix_mul_fr(MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y){
158
+ void mpfi_matrix_mul_fr (MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y) {
159
159
  int i, j, k, index, index_y;
160
160
  MPFI *tmp;
161
161
  r_mpfi_temp_alloc_init(tmp);
162
- for(i = 0; i < new->size; i++){
162
+ for (i = 0; i < new->size; i++) {
163
163
  mpfi_set_si(new->data + i, 0);
164
164
  }
165
- for(j = 0; j < y->column; j++){
166
- for(i = 0; i < x->row; i++){
165
+ for (j = 0; j < y->column; j++) {
166
+ for (i = 0; i < x->row; i++) {
167
167
  index = i + j * new->row;
168
168
  index_y = j * y->row;
169
- for(k = 0; k < x->column; k++){
169
+ for (k = 0; k < x->column; k++) {
170
170
  mpfi_mul_fr(tmp, x->data + i + k * x->row, y->data + k + index_y);
171
171
  mpfi_add(new->data + index, new->data + index, tmp);
172
172
  }
@@ -175,22 +175,22 @@ void mpfi_matrix_mul_fr(MPFIMatrix *new, MPFIMatrix *x, MPFRMatrix *y){
175
175
  r_mpfi_temp_free(tmp);
176
176
  }
177
177
 
178
- void mpfi_matrix_mul_scalar(MPFIMatrix *new, MPFIMatrix *x, MPFI *scalar){
178
+ void mpfi_matrix_mul_scalar (MPFIMatrix *new, MPFIMatrix *x, MPFI *scalar) {
179
179
  int i;
180
- for(i = 0; i < x->size; i++){
180
+ for (i = 0; i < x->size; i++) {
181
181
  mpfi_mul(new->data + i, x->data + i, scalar);
182
182
  }
183
183
  }
184
184
 
185
- void mpfi_matrix_div_scalar(MPFIMatrix *new, MPFIMatrix *x, MPFI *scalar){
185
+ void mpfi_matrix_div_scalar (MPFIMatrix *new, MPFIMatrix *x, MPFI *scalar) {
186
186
  int i;
187
- for(i = 0; i < x->size; i++){
187
+ for (i = 0; i < x->size; i++) {
188
188
  mpfi_div(new->data + i, x->data + i, scalar);
189
189
  }
190
190
  }
191
191
 
192
192
  /* Return 0 if *x includes *y. Otherwise return 1. */
193
- int mpfi_matrix_include_p(MPFIMatrix *x, MPFIMatrix *y){
193
+ int mpfi_matrix_include_p (MPFIMatrix *x, MPFIMatrix *y) {
194
194
  int i, ret = 0;
195
195
  if (x->column == y->column && x->row == y->row) {
196
196
  for (i = 0; i < x->size; i++) {
@@ -199,14 +199,14 @@ int mpfi_matrix_include_p(MPFIMatrix *x, MPFIMatrix *y){
199
199
  break;
200
200
  }
201
201
  }
202
- }else{
202
+ } else {
203
203
  ret = 1;
204
204
  }
205
205
  return ret;
206
206
  }
207
207
 
208
208
  /* Return 0 if *x includes *y. Otherwise return 1. */
209
- int mpfi_matrix_include_fr_p(MPFIMatrix *x, MPFRMatrix *y){
209
+ int mpfi_matrix_include_fr_p (MPFIMatrix *x, MPFRMatrix *y) {
210
210
  int i, ret = 0;
211
211
  if (x->column == y->column && x->row == y->row) {
212
212
  for (i = 0; i < x->size; i++) {
@@ -215,14 +215,14 @@ int mpfi_matrix_include_fr_p(MPFIMatrix *x, MPFRMatrix *y){
215
215
  break;
216
216
  }
217
217
  }
218
- }else{
218
+ } else {
219
219
  ret = 1;
220
220
  }
221
221
  return ret;
222
222
  }
223
223
 
224
224
  /* Return 0 if *x includes *y. Otherwise return 1. */
225
- int mpfi_matrix_strictly_include_p(MPFIMatrix *x, MPFIMatrix *y){
225
+ int mpfi_matrix_strictly_include_p (MPFIMatrix *x, MPFIMatrix *y) {
226
226
  int i, ret = 0;
227
227
  if (x->column == y->column && x->row == y->row) {
228
228
  for (i = 0; i < x->size; i++) {
@@ -231,14 +231,14 @@ int mpfi_matrix_strictly_include_p(MPFIMatrix *x, MPFIMatrix *y){
231
231
  break;
232
232
  }
233
233
  }
234
- }else{
234
+ } else {
235
235
  ret = 1;
236
236
  }
237
237
  return ret;
238
238
  }
239
239
 
240
240
  /* Return 0 if *x is bonded. Otherwise return 1. */
241
- int mpfi_matrix_bounded_p(MPFIMatrix *x){
241
+ int mpfi_matrix_bounded_p (MPFIMatrix *x) {
242
242
  int ret = 0, i;
243
243
  for (i = 0; i < x->size; i++) {
244
244
  if (mpfi_bounded_p(x->data + i) == 0) {
@@ -249,78 +249,78 @@ int mpfi_matrix_bounded_p(MPFIMatrix *x){
249
249
  return ret;
250
250
  }
251
251
 
252
- void mpfi_matrix_mid(MPFRMatrix *ret, MPFIMatrix *x){
252
+ void mpfi_matrix_mid (MPFRMatrix *ret, MPFIMatrix *x) {
253
253
  int i;
254
- for(i = 0; i < x->size; i++){
254
+ for (i = 0; i < x->size; i++) {
255
255
  mpfi_mid(ret->data + i, x->data + i);
256
256
  }
257
257
  }
258
258
 
259
- void mpfi_matrix_mid_interval(MPFIMatrix *ret, MPFIMatrix *x){
259
+ void mpfi_matrix_mid_interval (MPFIMatrix *ret, MPFIMatrix *x) {
260
260
  int i;
261
- for(i = 0; i < x->size; i++){
261
+ for (i = 0; i < x->size; i++) {
262
262
  mpfi_mid_interval(ret->data + i, x->data + i);
263
263
  }
264
264
  }
265
265
 
266
- void mpfi_matrix_from_mpfr_matrix(MPFIMatrix *ret, MPFRMatrix *x){
266
+ void mpfi_matrix_from_mpfr_matrix (MPFIMatrix *ret, MPFRMatrix *x) {
267
267
  int i;
268
- for(i = 0; i < x->size; i++){
268
+ for (i = 0; i < x->size; i++) {
269
269
  mpfi_set_fr(ret->data + i, x->data + i);
270
270
  }
271
271
  }
272
272
 
273
273
  /* This function returns 0 if the intersection of two boxes exists. */
274
274
  /* Otherwise, it returns nonzero. */
275
- int mpfi_matrix_intersect(MPFIMatrix *z, MPFIMatrix *x, MPFIMatrix *y){
275
+ int mpfi_matrix_intersect (MPFIMatrix *z, MPFIMatrix *x, MPFIMatrix *y) {
276
276
  int ret = 0;
277
277
  int i;
278
278
  if (x->column == y->column && x->row == y->row) {
279
- for(i = 0; i < x->size; i++){
279
+ for (i = 0; i < x->size; i++) {
280
280
  mpfi_intersect(z->data + i, x->data + i, y->data + i);
281
- if(ret == 0 && mpfi_is_empty(z->data + i)){
281
+ if (ret == 0 && mpfi_is_empty(z->data + i)) {
282
282
  ret = 1;
283
283
  }
284
284
  }
285
285
  return ret;
286
- }else{
286
+ } else {
287
287
  return -1;
288
288
  }
289
289
  }
290
290
 
291
291
  /* Return -1 if size of matrixies is not same. */
292
292
  /* Otherwise, return 0 and set convex hull to MPFIMatrix *z. */
293
- int mpfi_matrix_union(MPFIMatrix *z, MPFIMatrix *x, MPFIMatrix *y){
293
+ int mpfi_matrix_union (MPFIMatrix *z, MPFIMatrix *x, MPFIMatrix *y) {
294
294
  int ret = 0;
295
295
  int i;
296
296
  if (x->column == y->column && x->row == y->row) {
297
- for(i = 0; i < x->size; i++){
297
+ for (i = 0; i < x->size; i++) {
298
298
  mpfi_union(z->data + i, x->data + i, y->data + i);
299
299
  }
300
300
  return ret;
301
- }else{
301
+ } else {
302
302
  return -1;
303
303
  }
304
304
  }
305
305
 
306
- void mpfi_matrix_inner_product(MPFI *pr, MPFIMatrix *x, MPFIMatrix *y){
306
+ void mpfi_matrix_inner_product (MPFI *pr, MPFIMatrix *x, MPFIMatrix *y) {
307
307
  MPFI *tmp;
308
308
  int i;
309
309
  r_mpfi_temp_alloc_init(tmp);
310
310
  mpfi_set_si(pr, 0);
311
- for(i = 0; i < x->size; i++){
311
+ for (i = 0; i < x->size; i++) {
312
312
  mpfi_mul(tmp, x->data + i, y->data + i);
313
313
  mpfi_add(pr, pr, tmp);
314
314
  }
315
315
  r_mpfi_temp_free(tmp);
316
316
  }
317
317
 
318
- void mpfi_matrix_vector_distance(MPFI *distance, MPFIMatrix *x, MPFIMatrix *y){
318
+ void mpfi_matrix_vector_distance (MPFI *distance, MPFIMatrix *x, MPFIMatrix *y) {
319
319
  MPFI *tmp;
320
320
  int i;
321
321
  r_mpfi_temp_alloc_init(tmp);
322
322
  mpfi_set_si(distance, 0);
323
- for(i = 0; i < x->size; i++){
323
+ for (i = 0; i < x->size; i++) {
324
324
  mpfi_sub(tmp, x->data + i, y->data + i);
325
325
  mpfi_mul(tmp, tmp, tmp);
326
326
  mpfi_add(distance, distance, tmp);
@@ -329,7 +329,7 @@ void mpfi_matrix_vector_distance(MPFI *distance, MPFIMatrix *x, MPFIMatrix *y){
329
329
  r_mpfi_temp_free(tmp);
330
330
  }
331
331
 
332
- void mpfi_matrix_vector_distance_center_pts(MPFR *distance, MPFIMatrix *x, MPFIMatrix *y){
332
+ void mpfi_matrix_vector_distance_center_pts (MPFR *distance, MPFIMatrix *x, MPFIMatrix *y) {
333
333
  MPFRMatrix *tmp_x, *tmp_y;
334
334
  r_mpfr_matrix_temp_alloc_init(tmp_x, x->row, x->column);
335
335
  r_mpfr_matrix_temp_alloc_init(tmp_y, y->row, y->column);
@@ -342,12 +342,12 @@ void mpfi_matrix_vector_distance_center_pts(MPFR *distance, MPFIMatrix *x, MPFIM
342
342
  r_mpfr_matrix_temp_free(tmp_y);
343
343
  }
344
344
 
345
- void mpfi_matrix_vector_norm(MPFI *norm, MPFIMatrix *x){
345
+ void mpfi_matrix_vector_norm (MPFI *norm, MPFIMatrix *x) {
346
346
  MPFI *tmp;
347
347
  int i;
348
348
  r_mpfi_temp_alloc_init(tmp);
349
349
  mpfi_set_si(norm, 0);
350
- for(i = 0; i < x->size; i++){
350
+ for (i = 0; i < x->size; i++) {
351
351
  mpfi_mul(tmp, x->data + i, x->data + i);
352
352
  mpfi_add(norm, norm, tmp);
353
353
  }
@@ -355,20 +355,20 @@ void mpfi_matrix_vector_norm(MPFI *norm, MPFIMatrix *x){
355
355
  r_mpfi_temp_free(tmp);
356
356
  }
357
357
 
358
- void mpfi_matrix_max_norm(MPFI *norm, MPFIMatrix *x){
358
+ void mpfi_matrix_max_norm (MPFI *norm, MPFIMatrix *x) {
359
359
  MPFI *tmp, *abs;
360
360
  int i;
361
361
  r_mpfi_temp_alloc_init(tmp);
362
362
  r_mpfi_temp_alloc_init(abs);
363
363
  mpfi_set_si(norm, 0);
364
- for(i = 0; i < x->size; i++){
364
+ for (i = 0; i < x->size; i++) {
365
365
  mpfi_abs(abs, x->data + i);
366
366
  mpfi_intersect(tmp, abs, norm);
367
- if(mpfi_is_empty(tmp) > 0){
368
- if(mpfr_cmp(r_mpfi_right_ptr(abs), r_mpfi_left_ptr(norm)) > 0){
367
+ if (mpfi_is_empty(tmp) > 0) {
368
+ if (mpfr_cmp(r_mpfi_right_ptr(abs), r_mpfi_left_ptr(norm)) > 0) {
369
369
  mpfi_set(norm, abs);
370
370
  }
371
- }else{
371
+ } else {
372
372
  mpfi_union(norm, norm, abs);
373
373
  }
374
374
  }
@@ -376,7 +376,7 @@ void mpfi_matrix_max_norm(MPFI *norm, MPFIMatrix *x){
376
376
  r_mpfi_temp_free(abs);
377
377
  }
378
378
 
379
- void mpfi_matrix_max_diam_abs(MPFR *diam, MPFIMatrix *x){
379
+ void mpfi_matrix_max_diam_abs (MPFR *diam, MPFIMatrix *x) {
380
380
  int i;
381
381
  MPFR *tmp;
382
382
  r_mpfr_temp_alloc_init(tmp);
@@ -384,7 +384,7 @@ void mpfi_matrix_max_diam_abs(MPFR *diam, MPFIMatrix *x){
384
384
  mpfr_set_si(diam, 0, GMP_RNDN);
385
385
  for (i = 0; i < x->size; i++) {
386
386
  mpfi_diam_abs(tmp, x->data + i);
387
- if(mpfr_cmp(tmp, diam) > 0){
387
+ if (mpfr_cmp(tmp, diam) > 0) {
388
388
  mpfr_set(diam, tmp, GMP_RNDN);
389
389
  }
390
390
  }
@@ -394,32 +394,32 @@ void mpfi_matrix_max_diam_abs(MPFR *diam, MPFIMatrix *x){
394
394
 
395
395
  /* ------------------- vector --------------------- */
396
396
 
397
- void mpfi_col_vector_init(MPFIMatrix *mat, int row){
397
+ void mpfi_col_vector_init (MPFIMatrix *mat, int row) {
398
398
  int i;
399
399
  mat->row = row;
400
400
  mat->column = 1;
401
401
  mat->size = row;
402
402
  /* mat->data = (MPFI *)malloc(sizeof(MPF) * mat->size); */
403
403
  mat->data = ALLOC_N(MPFI, mat->size);
404
- for(i = 0; i < mat->size; i++){
404
+ for (i = 0; i < mat->size; i++) {
405
405
  mpfi_init(mat->data + i);
406
406
  }
407
407
  }
408
408
 
409
- void mpfi_row_vector_init(MPFIMatrix *mat, int column){
409
+ void mpfi_row_vector_init (MPFIMatrix *mat, int column) {
410
410
  int i;
411
411
  mat->row = 1;
412
412
  mat->column = column;
413
413
  mat->size = column;
414
414
  /* mat->data = (MPFI *)malloc(sizeof(MPF) * mat->size); */
415
415
  mat->data = ALLOC_N(MPFI, mat->size);
416
- for(i = 0; i < mat->size; i++){
416
+ for (i = 0; i < mat->size; i++) {
417
417
  mpfi_init(mat->data + i);
418
418
  }
419
419
  }
420
420
 
421
421
  /* If length of MPFIMatrix *x is zero, return 1. Otherwise return 0. */
422
- int mpfi_vector_normalize(MPFIMatrix *new, MPFIMatrix *x){
422
+ int mpfi_vector_normalize (MPFIMatrix *new, MPFIMatrix *x) {
423
423
  MPFRMatrix *fr_mat;
424
424
  MPFR *norm;
425
425
  int i, j, index, ret = 0;
@@ -427,14 +427,14 @@ int mpfi_vector_normalize(MPFIMatrix *new, MPFIMatrix *x){
427
427
  mpfi_matrix_mid(fr_mat, x);
428
428
  r_mpfr_temp_alloc_init(norm);
429
429
  mpfr_matrix_vector_norm(norm, fr_mat);
430
- if(mpfr_cmp_ui(norm, 0) > 0){
431
- for(j = 0; j < x->column; j++){
430
+ if (mpfr_cmp_ui(norm, 0) > 0) {
431
+ for (j = 0; j < x->column; j++) {
432
432
  index = j * x->row;
433
- for(i = 0; i < x->row; i++){
433
+ for (i = 0; i < x->row; i++) {
434
434
  mpfi_div_fr(new->data + i + index, x->data + i + index, norm);
435
435
  }
436
436
  }
437
- }else{
437
+ } else {
438
438
  ret = 1;
439
439
  }
440
440
  r_mpfr_matrix_temp_free(fr_mat);
@@ -442,7 +442,7 @@ int mpfi_vector_normalize(MPFIMatrix *new, MPFIMatrix *x){
442
442
  return ret;
443
443
  }
444
444
 
445
- void mpfi_vector_midpoint(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
445
+ void mpfi_vector_midpoint (MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y) {
446
446
  int i;
447
447
  for (i = 0; i < new->size; i++) {
448
448
  mpfi_add(mpfi_matrix_get_ptr(new, i), mpfi_matrix_get_ptr(x, i), mpfi_matrix_get_ptr(y, i));
@@ -451,7 +451,7 @@ void mpfi_vector_midpoint(MPFIMatrix *new, MPFIMatrix *x, MPFIMatrix *y){
451
451
  }
452
452
 
453
453
  /* If length of MPFIMatrix *x is zero, return 1. Otherwise return 0. */
454
- int mpfi_vector_set_length(MPFIMatrix *new, MPFIMatrix *x, MPFR *length){
454
+ int mpfi_vector_set_length (MPFIMatrix *new, MPFIMatrix *x, MPFR *length) {
455
455
  MPFI *norm_i;
456
456
  MPFR *factor_r;
457
457
  int i, j, index, ret = 0;
@@ -459,16 +459,16 @@ int mpfi_vector_set_length(MPFIMatrix *new, MPFIMatrix *x, MPFR *length){
459
459
  r_mpfr_temp_alloc_init(factor_r);
460
460
  mpfi_matrix_vector_norm(norm_i, x);
461
461
  mpfi_mid(factor_r, norm_i);
462
- if(mpfr_cmp_ui(factor_r, 0) > 0){
462
+ if (mpfr_cmp_ui(factor_r, 0) > 0) {
463
463
  mpfr_ui_div(factor_r, 1, factor_r, GMP_RNDN);
464
464
  mpfr_mul(factor_r, factor_r, length, GMP_RNDN);
465
- for(j = 0; j < x->column; j++){
465
+ for (j = 0; j < x->column; j++) {
466
466
  index = j * x->row;
467
- for(i = 0; i < x->row; i++){
467
+ for (i = 0; i < x->row; i++) {
468
468
  mpfi_mul_fr(new->data + i + index, x->data + i + index, factor_r);
469
469
  }
470
470
  }
471
- }else{
471
+ } else {
472
472
  ret = 1;
473
473
  }
474
474
  r_mpfi_temp_free(norm_i);
@@ -480,7 +480,7 @@ int mpfi_vector_set_length(MPFIMatrix *new, MPFIMatrix *x, MPFR *length){
480
480
 
481
481
  /* Return 0 if we execute even permutation for matrix, 1 if odd permutation or */
482
482
  /* -1 if matrix is singular. */
483
- int mpfi_square_matrix_lu_decomp (MPFIMatrix *ret, int *indx, MPFIMatrix *x){
483
+ int mpfi_square_matrix_lu_decomp (MPFIMatrix *ret, int *indx, MPFIMatrix *x) {
484
484
  int i, j, k, imax, ret_val = 0;
485
485
  MPFI *big, *sum, *dum, *tmp1, *tmp2;
486
486
  MPFIMatrix *vv, *tmp_ret;
@@ -500,11 +500,11 @@ int mpfi_square_matrix_lu_decomp (MPFIMatrix *ret, int *indx, MPFIMatrix *x){
500
500
  mpfi_abs(tmp1, mpfi_matrix_get_element(x, i, j));
501
501
 
502
502
  mpfi_intersect(tmp2, tmp1, big);
503
- if(mpfi_is_empty(tmp2) > 0){
504
- if(mpfr_cmp(r_mpfi_right_ptr(tmp1), r_mpfi_left_ptr(big)) > 0){
503
+ if (mpfi_is_empty(tmp2) > 0) {
504
+ if (mpfr_cmp(r_mpfi_right_ptr(tmp1), r_mpfi_left_ptr(big)) > 0) {
505
505
  mpfi_set(big, tmp1);
506
506
  }
507
- }else{
507
+ } else {
508
508
  mpfi_union(big, tmp1, big);
509
509
  }
510
510
  }
@@ -538,12 +538,12 @@ int mpfi_square_matrix_lu_decomp (MPFIMatrix *ret, int *indx, MPFIMatrix *x){
538
538
  mpfi_mul(dum, vv->data + i, dum);
539
539
 
540
540
  mpfi_intersect(tmp2, dum, big);
541
- if(mpfi_is_empty(tmp2) > 0){
542
- if(mpfr_cmp(r_mpfi_right_ptr(dum), r_mpfi_left_ptr(big)) > 0){
541
+ if (mpfi_is_empty(tmp2) > 0) {
542
+ if (mpfr_cmp(r_mpfi_right_ptr(dum), r_mpfi_left_ptr(big)) > 0) {
543
543
  mpfi_set(big, dum);
544
544
  imax = i;
545
545
  }
546
- }else{
546
+ } else {
547
547
  mpfi_union(big, dum, big);
548
548
  imax = i;
549
549
  }
@@ -582,7 +582,7 @@ int mpfi_square_matrix_lu_decomp (MPFIMatrix *ret, int *indx, MPFIMatrix *x){
582
582
  return ret_val;
583
583
  }
584
584
 
585
- static void mpfi_2d_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
585
+ static void mpfi_2d_square_matrix_determinant (MPFI *det, MPFIMatrix *x) {
586
586
  MPFI *tmp;
587
587
  r_mpfi_temp_alloc_init(tmp);
588
588
  mpfi_mul(det, x->data, x->data + 3);
@@ -591,7 +591,7 @@ static void mpfi_2d_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
591
591
  r_mpfi_temp_free(tmp);
592
592
  }
593
593
 
594
- static void mpfi_3d_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
594
+ static void mpfi_3d_square_matrix_determinant (MPFI *det, MPFIMatrix *x) {
595
595
  MPFI *tmp;
596
596
  r_mpfi_temp_alloc_init(tmp);
597
597
 
@@ -622,17 +622,17 @@ static void mpfi_3d_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
622
622
  r_mpfi_temp_free(tmp);
623
623
  }
624
624
 
625
- void mpfi_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
626
- if (x->column == 2 && x->row == 2){
625
+ void mpfi_square_matrix_determinant (MPFI *det, MPFIMatrix *x) {
626
+ if (x->column == 2 && x->row == 2) {
627
627
  mpfi_2d_square_matrix_determinant(det, x);
628
- }else if(x->column == 3 && x->row == 3){
628
+ } else if (x->column == 3 && x->row == 3) {
629
629
  mpfi_3d_square_matrix_determinant(det, x);
630
- }else{
630
+ } else {
631
631
  MPFIMatrix *ptr_lu;
632
632
  int *indx, i;
633
633
  r_mpfi_matrix_temp_alloc_init(ptr_lu, x->row, x->column);
634
634
  indx = (int *) malloc(sizeof(int) * x->row);
635
- if((i = mpfi_square_matrix_lu_decomp (ptr_lu, indx, x)) >= 0){
635
+ if ((i = mpfi_square_matrix_lu_decomp (ptr_lu, indx, x)) >= 0) {
636
636
  if (i == 0) {
637
637
  mpfi_set_si(det, 1);
638
638
  } else if (i == 1) {
@@ -641,7 +641,7 @@ void mpfi_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
641
641
  for (i = 0; i < x->row; i++) {
642
642
  mpfi_mul(det, det, mpfi_matrix_get_element(ptr_lu, i, i));
643
643
  }
644
- }else{
644
+ } else {
645
645
  mpfi_set_ui(det, 0);
646
646
  }
647
647
  r_mpfi_matrix_temp_free(ptr_lu);
@@ -649,7 +649,7 @@ void mpfi_square_matrix_determinant(MPFI *det, MPFIMatrix *x){
649
649
  }
650
650
  }
651
651
 
652
- void mpfi_square_matrix_qr_decomp(MPFIMatrix *q, MPFIMatrix *r, MPFIMatrix *x){
652
+ void mpfi_square_matrix_qr_decomp (MPFIMatrix *q, MPFIMatrix *r, MPFIMatrix *x) {
653
653
  MPFIMatrix *q_mat, *r_mat;
654
654
  int size, i, j, k, ind1, ind2, ind3;
655
655
  MPFIMatrix *ary;
@@ -696,14 +696,14 @@ void mpfi_square_matrix_qr_decomp(MPFIMatrix *q, MPFIMatrix *r, MPFIMatrix *x){
696
696
  r_mpfi_temp_free(tmp);
697
697
  }
698
698
 
699
- void mpfi_square_matrix_identity(MPFIMatrix *id){
699
+ void mpfi_square_matrix_identity (MPFIMatrix *id) {
700
700
  int i, j, index;
701
701
  for (j = 0; j < id->column; j++) {
702
702
  index = j * id->row;
703
703
  for (i = 0; i < id->row; i++) {
704
- if(i == j){
704
+ if (i == j) {
705
705
  mpfi_set_si(id->data + i + index, 1);
706
- }else{
706
+ } else {
707
707
  mpfi_set_si(id->data + i + index, 0);
708
708
  }
709
709
  }