1 /*
2     Copyright (C) 2013 Mike Hansen
3 
4     This file is part of FLINT.
5 
6     FLINT 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 <https://www.gnu.org/licenses/>.
10 */
11 
12 #ifdef T
13 
14 #include "templates.h"
15 
16 int
main(void)17 main(void)
18 {
19     int i, len;
20     char *str;
21     TEMPLATE(T, poly_t) a;
22     TEMPLATE(T, ctx_t) ctx;
23     FLINT_TEST_INIT(state);
24 
25     flint_printf("get_str_pretty....");
26     fflush(stdout);
27 
28     TEMPLATE(T, ctx_randtest) (ctx, state);
29 
30     TEMPLATE(T, poly_init) (a, ctx);
31     for (len = 0; len < 100; len++)
32         for (i = 0; i < 1 * flint_test_multiplier(); i++)
33         {
34             TEMPLATE(T, poly_randtest) (a, state, len, ctx);
35             str = TEMPLATE(T, poly_get_str_pretty) (a, "x", ctx);
36             /* flint_printf("\n\n"); */
37             /* TEMPLATE(T, poly_print_pretty)(a, "x", ctx); */
38             /* flint_printf("\n%s\n", str); */
39             flint_free(str);
40         }
41 
42     TEMPLATE(T, poly_clear) (a, ctx);
43     TEMPLATE(T, ctx_clear) (ctx);
44 
45     FLINT_TEST_CLEANUP(state);
46     flint_printf("PASS\n");
47     return 0;
48 }
49 
50 
51 #endif
52