1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/*=============================================================================
This file is part of FLINT.
FLINT is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
FLINT is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with FLINT; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
=============================================================================*/
/******************************************************************************
Copyright (C) 2014 Abhinav Baid
******************************************************************************/
#include "mpf_mat.h"
void
mpf_mat_gso(mpf_mat_t B, const mpf_mat_t A)
{
slong i, j, k, flag;
mpf_t t, s, tmp, eps;
mp_bitcnt_t exp;
if (B->r != A->r || B->c != A->c)
{
flint_printf("Exception (mpf_mat_gso). Incompatible dimensions.\n");
abort();
}
if (B == A)
{
mpf_mat_t T;
mpf_mat_init(T, A->r, A->c, B->prec);
mpf_mat_gso(T, A);
mpf_mat_swap(B, T);
mpf_mat_clear(T);
return;
}
if (A->r == 0)
{
return;
}
mpf_init2(t, B->prec);
mpf_init2(s, B->prec);
mpf_init2(tmp, B->prec);
mpf_init2(eps, B->prec);
exp = ceil((A->prec) / 64.0) * 64;
flint_mpf_set_ui(eps, 1);
mpf_div_2exp(eps, eps, exp);
for (k = 0; k < A->c; k++)
{
for (j = 0; j < A->r; j++)
{
mpf_set(mpf_mat_entry(B, j, k), mpf_mat_entry(A, j, k));
}
flag = 1;
while (flag)
{
flint_mpf_set_ui(t, 0);
for (i = 0; i < k; i++)
{
flint_mpf_set_ui(s, 0);
for (j = 0; j < A->r; j++)
{
mpf_mul(tmp, mpf_mat_entry(B, j, i),
mpf_mat_entry(B, j, k));
mpf_add(s, s, tmp);
}
mpf_mul(tmp, s, s);
mpf_add(t, t, tmp);
for (j = 0; j < A->r; j++)
{
mpf_mul(tmp, s, mpf_mat_entry(B, j, i));
mpf_sub(mpf_mat_entry(B, j, k), mpf_mat_entry(B, j, k),
tmp);
}
}
flint_mpf_set_ui(s, 0);
for (j = 0; j < A->r; j++)
{
mpf_mul(tmp, mpf_mat_entry(B, j, k), mpf_mat_entry(B, j, k));
mpf_add(s, s, tmp);
}
mpf_add(t, t, s);
flag = 0;
if (mpf_cmp(s, t) < 0)
{
if (mpf_cmp(s, eps) < 0)
flint_mpf_set_ui(s, 0);
else
flag = 1;
}
}
mpf_sqrt(s, s);
if (flint_mpf_cmp_ui(s, 0) != 0)
mpf_ui_div(s, 1, s);
for (j = 0; j < A->r; j++)
{
mpf_mul(mpf_mat_entry(B, j, k), mpf_mat_entry(B, j, k), s);
}
}
mpf_clears(t, s, tmp, eps, NULL);
}
|
