int
main(void)
{
int i, j, result;
flint_rand_t state;
ctx_t ctx;
printf("decompose_poly... ");
fflush(stdout);
_randinit(state);
ctx_init_mpq(ctx);
{
mpoly_t P;
mon_t *B;
long *iB, lenB, l, u, k;
long n, d;
printf("\n");
fflush(stdout);
mpoly_init(P, 3, ctx);
mpoly_set_str(P, "3 [3 0 0] [0 3 0] [0 0 3] (2)[1 1 1]", ctx);
n = P->n - 1;
d = mpoly_degree(P, -1, ctx);
gmc_basis_sets(&B, &iB, &lenB, &l, &u, n, d);
printf("P = "), mpoly_print(P, ctx), printf("\n");
printf("n = %ld\n", n);
printf("d = %ld\n", d);
printf("l u = %ld %ld\n", l, u);
printf("B = "), gmc_basis_print(B, iB, lenB, n, d), printf("\n");
for (k = l + 1; k <= u + 1; k++)
{
mat_csr_t mat;
mat_csr_solve_t s;
mon_t *rows, *cols;
long *p;
mpoly_t *A, *D;
p = malloc((n + 2) * sizeof(long));
gmc_init_auxmatrix(mat, &rows, &cols, p, P, k, ctx);
mat_csr_solve_init(s, mat, ctx);
A = malloc((n + 1) * sizeof(mpoly_t));
for (j = 0; j <= n; j++)
mpoly_init(A[j], n + 1, ctx);
D = malloc((n + 1) * sizeof(mpoly_t));
for (j = 0; j <= n; j++)
mpoly_init(D[j], n + 1, ctx);
gmc_derivatives(D, P, ctx);
printf("k = %ld\n", k);
printf("[");
for (i = 0; i < RUNS; i++)
{
mpoly_t poly1, poly2, poly3;
char *zero;
mpoly_init(poly1, n + 1, ctx);
mpoly_init(poly2, n + 1, ctx);
mpoly_init(poly3, n + 1, ctx);
zero = malloc(ctx->size);
ctx->init(ctx, zero);
ctx->zero(ctx, zero);
mpoly_randtest_hom(poly1, state, k * d - (n + 1), 20, ctx);
for (j = iB[k]; j < iB[k + 1]; j++)
mpoly_set_coeff(poly1, B[j], zero, ctx);
gmc_decompose_poly(A, poly1, s, rows, cols, p, ctx);
for (j = 0; j <= n; j++)
mpoly_addmul(poly2, A[j], D[j], ctx);
for (j = iB[k]; j < iB[k + 1]; j++)
mpoly_set_coeff(poly2, B[j], zero, ctx);
if (!mpoly_is_zero(poly1, ctx))
printf("."), fflush(stdout);
result = (mpoly_equal(poly1, poly2, ctx));
if (!result)
{
printf("FAIL:\n\n");
printf("poly1 = "), mpoly_print(poly1, ctx), printf("\n");
printf("poly2 = "), mpoly_print(poly2, ctx), printf("\n");
for (j = 0; j <= n; j++)
printf("D[%d] = ", j), mpoly_print(D[j], ctx), printf("\n");
for (j = 0; j <= n; j++)
printf("A[%d] = ", j), mpoly_print(A[j], ctx), printf("\n");
abort();
}
mpoly_clear(poly1, ctx);
mpoly_clear(poly2, ctx);
mpoly_clear(poly3, ctx);
ctx->clear(ctx, zero);
free(zero);
}
printf("]\n");
mat_csr_clear(mat, ctx);
mat_csr_solve_clear(s, ctx);
free(rows);
free(cols);
free(p);
for (j = 0; j <= n; j++)
mpoly_clear(A[j], ctx);
free(A);
for (j = 0; j <= n; j++)
mpoly_clear(D[j], ctx);
free(D);
}
mpoly_clear(P, ctx);
free(B);
free(iB);
}
ctx_clear(ctx);
_randclear(state);
_fmpz_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}
int
main(void)
{
int i, result;
flint_rand_t state;
ctx_t ctx;
printf("addmul... ");
fflush(stdout);
_randinit(state);
ctx_init_mpq(ctx);
/* Check aliasing of a and c */
for (i = 0; i < 1000; i++)
{
mpoly_t a, b, c;
long n, d, N;
n = n_randint(state, MON_MAX_VARS) + 1;
d = n_randint(state, 50) + 1;
N = n_randint(state, 50) + 1;
mpoly_init(a, n, ctx);
mpoly_init(b, n, ctx);
mpoly_init(c, n, ctx);
mpoly_randtest(a, state, d, N, ctx);
mpoly_randtest(b, state, d, N, ctx);
mpoly_set(c, a, ctx);
mpoly_addmul(c, a, b, ctx);
mpoly_addmul(a, a, b, ctx);
result = (mpoly_equal(a, c, ctx));
if (!result)
{
printf("FAIL:\n");
mpoly_print(a, ctx); printf("\n");
mpoly_print(b, ctx); printf("\n");
mpoly_print(c, ctx); printf("\n");
abort();
}
mpoly_clear(a, ctx);
mpoly_clear(b, ctx);
mpoly_clear(c, ctx);
}
/* Check aliasing of b and c */
for (i = 0; i < 1000; i++)
{
mpoly_t a, b, c;
long n, d, N;
n = n_randint(state, MON_MAX_VARS) + 1;
d = n_randint(state, 50) + 1;
N = n_randint(state, 50) + 1;
mpoly_init(a, n, ctx);
mpoly_init(b, n, ctx);
mpoly_init(c, n, ctx);
mpoly_randtest(a, state, d, N, ctx);
mpoly_randtest(b, state, d, N, ctx);
mpoly_set(c, b, ctx);
mpoly_addmul(c, a, b, ctx);
mpoly_addmul(b, a, b, ctx);
result = (mpoly_equal(b, c, ctx));
if (!result)
{
printf("FAIL:\n");
mpoly_print(a, ctx); printf("\n");
mpoly_print(b, ctx); printf("\n");
mpoly_print(c, ctx); printf("\n");
abort();
}
mpoly_clear(a, ctx);
mpoly_clear(b, ctx);
mpoly_clear(c, ctx);
}
_randclear(state);
_fmpz_cleanup();
printf("PASS\n");
return EXIT_SUCCESS;
}
