- Timestamp:
- Oct 9, 2020, 11:46:49 AM (4 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- 7938f1f9861549cebc155093b665525017c7b077
- Parents:
- 151154f63894a3d7af83d316d9fce647674e45f6
- Location:
- factory
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/FLINTconvert.cc
r151154 r2e7e3dc 359 359 const fmpz_t p) 360 360 { 361 #if (__FLINT_RELEASE >= 20700) 362 fmpz_mod_ctx_t ctx; 363 fmpz_mod_ctx_init(ctx,p); 364 fmpz_mod_poly_init2 (result, degree (f) + 1, ctx); 365 #else 361 366 fmpz_mod_poly_init2 (result, p, degree (f) + 1); 367 #endif 362 368 fmpz_poly_t buf; 363 369 convertFacCF2Fmpz_poly_t (buf, f); 370 #if (__FLINT_RELEASE >= 20700) 371 fmpz_mod_poly_set_fmpz_poly (result, buf, ctx); 372 fmpz_mod_ctx_clear(ctx); 373 #else 364 374 fmpz_mod_poly_set_fmpz_poly (result, buf); 375 #endif 365 376 fmpz_poly_clear (buf); 366 377 } … … 372 383 fmpz_poly_t buf; 373 384 fmpz_poly_init (buf); 385 #if (__FLINT_RELEASE >= 20700) 386 fmpz_t FLINTp; 387 fmpz_init (FLINTp); 388 convertCF2Fmpz (FLINTp, b.getpk()); 389 fmpz_mod_ctx_t ctx; 390 fmpz_mod_ctx_init(ctx,FLINTp); 391 fmpz_clear(FLINTp); 392 fmpz_mod_poly_get_fmpz_poly (buf, poly, ctx); 393 #else 374 394 fmpz_mod_poly_get_fmpz_poly (buf, poly); 395 #endif 375 396 CanonicalForm result= convertFmpz_poly_t2FacCF (buf, x); 376 397 fmpz_poly_clear (buf); … … 430 451 for (CFIterator i= f; i.hasTerms(); i++) 431 452 convertCF2Fmpz (fmpz_poly_get_coeff_ptr(result, i.exp()), i.coeff()); 453 #if (__FLINT_RELEASE >= 20700) 454 _fmpz_vec_scalar_mod_fmpz (result->coeffs, result->coeffs, degree (f) + 1, 455 ctx->ctxp->n); 456 #else 432 457 _fmpz_vec_scalar_mod_fmpz (result->coeffs, result->coeffs, degree (f) + 1, 433 458 &ctx->p); 459 #endif 434 460 _fmpz_poly_normalise (result); 435 461 } … … 451 477 { 452 478 convertFacCF2Fmpz_poly_t (buf, i.coeff()); 479 #if (__FLINT_RELEASE >= 20700) 480 _fmpz_vec_scalar_mod_fmpz (buf->coeffs, buf->coeffs, degree (i.coeff()) + 1, 481 ctx->ctxp->n); 482 #else 453 483 _fmpz_vec_scalar_mod_fmpz (buf->coeffs, buf->coeffs, degree (i.coeff()) + 1, 454 484 &ctx->p); 485 #endif 455 486 _fmpz_poly_normalise (buf); 456 487 fq_poly_set_coeff (result, i.exp(), buf, ctx); -
factory/facMul.cc
r151154 r2e7e3dc 440 440 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, mipo, FLINTp); 441 441 442 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 443 fmpz_mod_ctx_t fmpz_ctx; 444 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 445 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 446 #else 442 447 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 448 #endif 443 449 444 450 convertFacCF2Fq_poly_t (FLINTF, F, fq_con); … … 451 457 452 458 fmpz_clear (FLINTp); 453 fmpz_mod_poly_clear (FLINTmipo);454 459 fq_poly_clear (FLINTF, fq_con); 455 460 fq_poly_clear (FLINTG, fq_con); 456 461 fq_ctx_clear (fq_con); 462 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 463 fmpz_mod_poly_clear (FLINTmipo,fmpz_ctx); 464 fmpz_mod_ctx_clear(fmpz_ctx); 465 #else 466 fmpz_mod_poly_clear(FLINTmipo); 467 #endif 457 468 return b (result); 458 469 #endif … … 486 497 convertFacCF2Fmpz_mod_poly_t (FLINTF, F, FLINTpk); 487 498 convertFacCF2Fmpz_mod_poly_t (FLINTG, G, FLINTpk); 499 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 500 fmpz_mod_ctx_t fmpz_ctx; 501 fmpz_mod_ctx_init(fmpz_ctx,FLINTpk); 502 fmpz_mod_poly_mul (FLINTF, FLINTF, FLINTG, fmpz_ctx); 503 #else 488 504 fmpz_mod_poly_mul (FLINTF, FLINTF, FLINTG); 505 #endif 489 506 CanonicalForm result= convertFmpz_mod_poly_t2FacCF (FLINTF, F.mvar(),b); 507 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 508 fmpz_mod_poly_clear (FLINTG,fmpz_ctx); 509 fmpz_mod_poly_clear (FLINTF,fmpz_ctx); 510 fmpz_mod_ctx_clear(fmpz_ctx); 511 #else 490 512 fmpz_mod_poly_clear (FLINTG); 491 513 fmpz_mod_poly_clear (FLINTF); 514 #endif 492 515 fmpz_clear (FLINTpk); 493 516 return result; … … 525 548 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp); 526 549 550 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 551 fmpz_mod_ctx_t fmpz_ctx; 552 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 553 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 554 #else 527 555 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 556 #endif 528 557 529 558 CanonicalForm result; … … 571 600 572 601 fmpz_clear (FLINTp); 602 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 603 fmpz_mod_poly_clear (FLINTmipo,fmpz_ctx); 604 fmpz_mod_ctx_clear(fmpz_ctx); 605 #else 573 606 fmpz_mod_poly_clear (FLINTmipo); 607 #endif 574 608 fq_ctx_clear (fq_con); 575 609 … … 726 760 convertFacCF2Fmpz_mod_poly_t (FLINTF, F, FLINTpk); 727 761 convertFacCF2Fmpz_mod_poly_t (FLINTG, G, FLINTpk); 762 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 763 fmpz_mod_ctx_t fmpz_ctx; 764 fmpz_mod_ctx_init(fmpz_ctx,FLINTpk); 765 fmpz_mod_poly_divrem (FLINTG, FLINTF, FLINTF, FLINTG, fmpz_ctx); 766 #else 728 767 fmpz_mod_poly_divrem (FLINTG, FLINTF, FLINTF, FLINTG); 768 #endif 729 769 CanonicalForm result= convertFmpz_mod_poly_t2FacCF (FLINTF,F.mvar(),b); 770 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 771 fmpz_mod_poly_clear (FLINTG, fmpz_ctx); 772 fmpz_mod_poly_clear (FLINTF, fmpz_ctx); 773 fmpz_mod_ctx_clear(fmpz_ctx); 774 #else 730 775 fmpz_mod_poly_clear (FLINTG); 731 776 fmpz_mod_poly_clear (FLINTF); 777 #endif 732 778 fmpz_clear (FLINTpk); 733 779 return result; … … 764 810 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp); 765 811 812 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 813 fmpz_mod_ctx_t fmpz_ctx; 814 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 815 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 816 #else 766 817 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 818 #endif 767 819 768 820 convertFacCF2Fq_poly_t (FLINTF, F, fq_con); … … 775 827 776 828 fmpz_clear (FLINTp); 777 fmpz_mod_poly_clear (FLINTmipo);778 829 fq_poly_clear (FLINTF, fq_con); 779 830 fq_poly_clear (FLINTG, fq_con); 780 831 fq_ctx_clear (fq_con); 832 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 833 fmpz_mod_poly_clear (FLINTmipo, fmpz_ctx); 834 fmpz_mod_ctx_clear(fmpz_ctx); 835 #else 836 fmpz_mod_poly_clear (FLINTmipo); 837 #endif 781 838 782 839 return b(result); … … 893 950 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp); 894 951 952 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 953 fmpz_mod_ctx_t fmpz_ctx; 954 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 955 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 956 #else 895 957 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 958 #endif 896 959 897 960 convertFacCF2Fq_t (FLINTF, F, fq_con); … … 904 967 905 968 fmpz_clear (FLINTp); 906 fmpz_mod_poly_clear (FLINTmipo);907 969 fq_clear (FLINTF, fq_con); 908 970 fq_clear (FLINTG, fq_con); 909 971 fq_ctx_clear (fq_con); 972 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 973 fmpz_mod_poly_clear (FLINTmipo, fmpz_ctx); 974 fmpz_mod_ctx_clear(fmpz_ctx); 975 #else 976 fmpz_mod_poly_clear (FLINTmipo); 977 #endif 910 978 return b (result); 911 979 #else … … 944 1012 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp); 945 1013 1014 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1015 fmpz_mod_ctx_t fmpz_ctx; 1016 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 1017 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 1018 #else 946 1019 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 1020 #endif 947 1021 948 1022 convertFacCF2Fq_poly_t (FLINTF, F, fq_con); … … 956 1030 957 1031 fmpz_clear (FLINTp); 958 fmpz_mod_poly_clear (FLINTmipo);959 1032 fq_poly_clear (FLINTF, fq_con); 960 1033 fq_clear (FLINTG, fq_con); 961 1034 fq_ctx_clear (fq_con); 1035 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1036 fmpz_mod_poly_clear (FLINTmipo, fmpz_ctx); 1037 fmpz_mod_ctx_clear(fmpz_ctx); 1038 #else 1039 fmpz_mod_poly_clear (FLINTmipo); 1040 #endif 962 1041 return b (result); 963 1042 #else … … 991 1070 convertFacCF2Fmpz_mod_poly_t (FLINTF, F, FLINTpk); 992 1071 convertFacCF2Fmpz_mod_poly_t (FLINTG, G, FLINTpk); 1072 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1073 fmpz_mod_ctx_t fmpz_ctx; 1074 fmpz_mod_ctx_init(fmpz_ctx,FLINTpk); 1075 fmpz_mod_poly_divrem (FLINTF, FLINTG, FLINTF, FLINTG, fmpz_ctx); 1076 #else 993 1077 fmpz_mod_poly_divrem (FLINTF, FLINTG, FLINTF, FLINTG); 1078 #endif 994 1079 CanonicalForm result= convertFmpz_mod_poly_t2FacCF (FLINTF,F.mvar(),b); 1080 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1081 fmpz_mod_poly_clear (FLINTG, fmpz_ctx); 1082 fmpz_mod_poly_clear (FLINTF, fmpz_ctx); 1083 fmpz_mod_ctx_clear(fmpz_ctx); 1084 #else 995 1085 fmpz_mod_poly_clear (FLINTG); 996 1086 fmpz_mod_poly_clear (FLINTF); 1087 #endif 997 1088 fmpz_clear (FLINTpk); 998 1089 return result; … … 1028 1119 convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp); 1029 1120 1121 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1122 fmpz_mod_ctx_t fmpz_ctx; 1123 fmpz_mod_ctx_init(fmpz_ctx,FLINTp); 1124 fq_ctx_init_modulus (fq_con, FLINTmipo, fmpz_ctx, "Z"); 1125 #else 1030 1126 fq_ctx_init_modulus (fq_con, FLINTmipo, "Z"); 1127 #endif 1031 1128 1032 1129 convertFacCF2Fq_poly_t (FLINTF, F, fq_con); … … 1039 1136 1040 1137 fmpz_clear (FLINTp); 1041 fmpz_mod_poly_clear (FLINTmipo);1042 fq_ctx_clear (fq_con);1043 1138 fq_poly_clear (FLINTF, fq_con); 1044 1139 fq_poly_clear (FLINTG, fq_con); 1140 fq_ctx_clear (fq_con); 1141 #if (HAVE_FLINT && __FLINT_RELEASE >= 20700) 1142 fmpz_mod_poly_clear (FLINTmipo, fmpz_ctx); 1143 fmpz_mod_ctx_clear(fmpz_ctx); 1144 #else 1145 fmpz_mod_poly_clear (FLINTmipo); 1146 #endif 1045 1147 return b (result); 1046 1148 #else
Note: See TracChangeset
for help on using the changeset viewer.