1 /*
2 Copyright (C) 2012 Fredrik Johansson
3
4 This file is part of Arb.
5
6 Arb is free software: you can redistribute it and/or modify it under
7 the terms of the GNU Lesser General Public License (LGPL) as published
8 by the Free Software Foundation; either version 2.1 of the License, or
9 (at your option) any later version. See <http://www.gnu.org/licenses/>.
10 */
11
12 #include "acb_poly.h"
13
14
main()15 int main()
16 {
17 slong iter;
18 flint_rand_t state;
19
20 flint_printf("mullow....");
21 fflush(stdout);
22
23 flint_randinit(state);
24
25 /* compare with fmpq_poly */
26 for (iter = 0; iter < 10000 * arb_test_multiplier(); iter++)
27 {
28 slong qbits1, qbits2, rbits1, rbits2, rbits3, trunc;
29 fmpq_poly_t A, B, C;
30 acb_poly_t a, b, c, d;
31
32 qbits1 = 2 + n_randint(state, 200);
33 qbits2 = 2 + n_randint(state, 200);
34 rbits1 = 2 + n_randint(state, 200);
35 rbits2 = 2 + n_randint(state, 200);
36 rbits3 = 2 + n_randint(state, 200);
37 trunc = n_randint(state, 10);
38
39 fmpq_poly_init(A);
40 fmpq_poly_init(B);
41 fmpq_poly_init(C);
42
43 acb_poly_init(a);
44 acb_poly_init(b);
45 acb_poly_init(c);
46 acb_poly_init(d);
47
48 fmpq_poly_randtest(A, state, 1 + n_randint(state, 10), qbits1);
49 fmpq_poly_randtest(B, state, 1 + n_randint(state, 10), qbits2);
50
51 fmpq_poly_mullow(C, A, B, trunc);
52
53 acb_poly_set_fmpq_poly(a, A, rbits1);
54 acb_poly_set_fmpq_poly(b, B, rbits2);
55
56 acb_poly_mullow(c, a, b, trunc, rbits3);
57
58 if (!acb_poly_contains_fmpq_poly(c, C))
59 {
60 flint_printf("FAIL\n\n");
61 flint_printf("bits3 = %wd\n", rbits3);
62 flint_printf("trunc = %wd\n", trunc);
63
64 flint_printf("A = "); fmpq_poly_print(A); flint_printf("\n\n");
65 flint_printf("B = "); fmpq_poly_print(B); flint_printf("\n\n");
66 flint_printf("C = "); fmpq_poly_print(C); flint_printf("\n\n");
67
68 flint_printf("a = "); acb_poly_printd(a, 15); flint_printf("\n\n");
69 flint_printf("b = "); acb_poly_printd(b, 15); flint_printf("\n\n");
70 flint_printf("c = "); acb_poly_printd(c, 15); flint_printf("\n\n");
71
72 flint_abort();
73 }
74
75 acb_poly_set(d, a);
76 acb_poly_mullow(d, d, b, trunc, rbits3);
77 if (!acb_poly_equal(d, c))
78 {
79 flint_printf("FAIL (aliasing 1)\n\n");
80 flint_abort();
81 }
82
83 acb_poly_set(d, b);
84 acb_poly_mullow(d, a, d, trunc, rbits3);
85 if (!acb_poly_equal(d, c))
86 {
87 flint_printf("FAIL (aliasing 2)\n\n");
88 flint_abort();
89 }
90
91 /* test squaring */
92 acb_poly_set(b, a);
93 acb_poly_mullow(c, a, b, trunc, rbits3);
94 acb_poly_mullow(d, a, a, trunc, rbits3);
95 if (!acb_poly_overlaps(c, d)) /* not guaranteed to be identical */
96 {
97 flint_printf("FAIL (squaring)\n\n");
98
99 flint_printf("a = "); acb_poly_printd(a, 15); flint_printf("\n\n");
100 flint_printf("b = "); acb_poly_printd(b, 15); flint_printf("\n\n");
101 flint_printf("c = "); acb_poly_printd(c, 15); flint_printf("\n\n");
102
103 flint_abort();
104 }
105
106 acb_poly_mullow(a, a, a, trunc, rbits3);
107 if (!acb_poly_equal(d, a))
108 {
109 flint_printf("FAIL (aliasing, squaring)\n\n");
110
111 flint_printf("a = "); acb_poly_printd(a, 15); flint_printf("\n\n");
112 flint_printf("b = "); acb_poly_printd(b, 15); flint_printf("\n\n");
113 flint_printf("d = "); acb_poly_printd(d, 15); flint_printf("\n\n");
114
115 flint_abort();
116 }
117
118 fmpq_poly_clear(A);
119 fmpq_poly_clear(B);
120 fmpq_poly_clear(C);
121
122 acb_poly_clear(a);
123 acb_poly_clear(b);
124 acb_poly_clear(c);
125 acb_poly_clear(d);
126 }
127
128 /* compare with classical */
129 for (iter = 0; iter < 10000 * arb_test_multiplier(); iter++)
130 {
131 slong bits, trunc;
132 acb_poly_t a, b, ab, ab2;
133
134 bits = 2 + n_randint(state, 200);
135 trunc = n_randint(state, 10);
136
137 acb_poly_init(a);
138 acb_poly_init(b);
139 acb_poly_init(ab);
140 acb_poly_init(ab2);
141
142 acb_poly_randtest(a, state, 1 + n_randint(state, 10), bits, 5);
143 acb_poly_randtest(b, state, 1 + n_randint(state, 10), bits, 5);
144
145 acb_poly_mullow_classical(ab, a, b, trunc, bits);
146 acb_poly_mullow(ab2, a, b, trunc, bits);
147
148 if (!acb_poly_overlaps(ab, ab2))
149 {
150 flint_printf("FAIL\n\n");
151 flint_printf("bits = %wd\n", bits);
152 flint_printf("trunc = %wd\n", trunc);
153
154 flint_printf("a = "); acb_poly_printd(a, 15); flint_printf("\n\n");
155 flint_printf("b = "); acb_poly_printd(b, 15); flint_printf("\n\n");
156 flint_printf("ab = "); acb_poly_printd(ab, 15); flint_printf("\n\n");
157 flint_printf("ab2 = "); acb_poly_printd(ab2, 15); flint_printf("\n\n");
158
159 flint_abort();
160 }
161
162 acb_poly_clear(a);
163 acb_poly_clear(b);
164 acb_poly_clear(ab);
165 acb_poly_clear(ab2);
166 }
167
168 flint_randclear(state);
169 flint_cleanup();
170 flint_printf("PASS\n");
171 return EXIT_SUCCESS;
172 }
173
174