/dports/math/cvc3/cvc3-2.4.1/src/search/ |
H A D | circuit.cpp | 70 case vals3(0,0,0): case vals3(0,0,1): case vals3(0,1,0): in propagate() 71 case vals3(1,1,1): case vals3(-1,0,0): case vals3(-1,0,-1): in propagate() 72 case vals3(-1,1,-1): case vals3(-1,-1,0): case vals3(-1,-1,1): in propagate() 76 case vals3(0,0,-1): case vals3(0,1,-1): case vals3(0,-1,0): in propagate() 77 case vals3(0,-1,1): case vals3(0,-1,-1): in propagate() 87 case vals3(1,1,0): case vals3(1,0,1): case vals3(1,0,0): in propagate() 100 case vals3(1,0,-1): case vals3(1,1,-1): case vals3(1,-1,0): in propagate() 116 case vals3(0,0,0): case vals3(0,0,1): case vals3(0,0,-1): in propagate() 117 case vals3(0,1,0): case vals3(0,-1,0): case vals3(1,0,0): in propagate() 118 case vals3(1,1,1): case vals3(1,-1,-1): case vals3(-1,0,0): in propagate() [all …]
|
/dports/math/e-antic/flint2-ae7ec89/fmpq_mpoly/test/ |
H A D | t-compose_fmpq_poly.c | 34 fmpq ** vals3; in main() local 74 fmpq_init(vals3[v]); in main() 98 fmpq_clear(vals3[v]); in main() 99 flint_free(vals3[v]); in main() 101 flint_free(vals3); in main() 129 fmpq ** vals3; in main() local 154 fmpq_init(vals3[v]); in main() 194 flint_free(vals3); in main() 219 fmpq ** vals3; in main() local 243 fmpq_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpq_mpoly.c | 231 fmpq ** vals2, ** vals3; in main() local 272 vals3 = (fmpq **) flint_malloc(nvars1*sizeof(fmpq*)); in main() 275 vals3[v] = (fmpq *) flint_malloc(sizeof(fmpq)); in main() 276 fmpq_init(vals3[v]); in main() 277 if (!fmpq_mpoly_evaluate_all_fmpq(vals3[v], vals1[v], vals2, ctx2)) in main() 295 if (!fmpq_mpoly_evaluate_all_fmpq(fe, f, vals3, ctx1) || in main() 326 fmpq_clear(vals3[v]); in main() 327 flint_free(vals3[v]); in main() 329 flint_free(vals3); in main()
|
/dports/math/flint2/flint-2.8.4/fmpq_mpoly/test/ |
H A D | t-compose_fmpq_poly.c | 34 fmpq ** vals3; in main() local 74 fmpq_init(vals3[v]); in main() 98 fmpq_clear(vals3[v]); in main() 99 flint_free(vals3[v]); in main() 101 flint_free(vals3); in main() 129 fmpq ** vals3; in main() local 154 fmpq_init(vals3[v]); in main() 194 flint_free(vals3); in main() 219 fmpq ** vals3; in main() local 243 fmpq_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpq_mpoly.c | 231 fmpq ** vals2, ** vals3; in main() local 272 vals3 = (fmpq **) flint_malloc(nvars1*sizeof(fmpq*)); in main() 275 vals3[v] = (fmpq *) flint_malloc(sizeof(fmpq)); in main() 276 fmpq_init(vals3[v]); in main() 277 if (!fmpq_mpoly_evaluate_all_fmpq(vals3[v], vals1[v], vals2, ctx2)) in main() 295 if (!fmpq_mpoly_evaluate_all_fmpq(fe, f, vals3, ctx1) || in main() 326 fmpq_clear(vals3[v]); in main() 327 flint_free(vals3[v]); in main() 329 flint_free(vals3); in main()
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpq_mpoly/test/ |
H A D | t-compose_fmpq_poly.c | 34 fmpq ** vals3; in main() local 74 fmpq_init(vals3[v]); in main() 98 fmpq_clear(vals3[v]); in main() 99 flint_free(vals3[v]); in main() 101 flint_free(vals3); in main() 129 fmpq ** vals3; in main() local 154 fmpq_init(vals3[v]); in main() 194 flint_free(vals3); in main() 219 fmpq ** vals3; in main() local 243 fmpq_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpq_mpoly.c | 231 fmpq ** vals2, ** vals3; in main() local 272 vals3 = (fmpq **) flint_malloc(nvars1*sizeof(fmpq*)); in main() 275 vals3[v] = (fmpq *) flint_malloc(sizeof(fmpq)); in main() 276 fmpq_init(vals3[v]); in main() 277 if (!fmpq_mpoly_evaluate_all_fmpq(vals3[v], vals1[v], vals2, ctx2)) in main() 295 if (!fmpq_mpoly_evaluate_all_fmpq(fe, f, vals3, ctx1) || in main() 326 fmpq_clear(vals3[v]); in main() 327 flint_free(vals3[v]); in main() 329 flint_free(vals3); in main()
|
/dports/math/e-antic/flint2-ae7ec89/fmpz_mpoly/test/ |
H A D | t-compose_fmpz_poly.c | 97 fmpz ** vals3; in main() local 137 fmpz_init(vals3[v]); in main() 163 fmpz_clear(vals3[v]); in main() 164 flint_free(vals3[v]); in main() 166 flint_free(vals3); in main() 194 fmpz ** vals3; in main() local 218 fmpz_init(vals3[v]); in main() 260 flint_free(vals3); in main() 285 fmpz ** vals3; in main() local 310 fmpz_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpz_mpoly.c | 262 fmpz ** vals2, ** vals3; in main() local 307 vals3 = (fmpz **) flint_malloc(nvars1*sizeof(fmpz*)); in main() 310 vals3[v] = (fmpz *) flint_malloc(sizeof(fmpz)); in main() 311 fmpz_init(vals3[v]); in main() 312 if (!fmpz_mpoly_evaluate_all_fmpz(vals3[v], vals1[v], vals2, ctx2)) in main() 337 if (!fmpz_mpoly_evaluate_all_fmpz(fe, f, vals3, ctx1) || in main() 368 fmpz_clear(vals3[v]); in main() 369 flint_free(vals3[v]); in main() 371 flint_free(vals3); in main()
|
/dports/math/flint2/flint-2.8.4/fmpz_mpoly/test/ |
H A D | t-compose_fmpz_poly.c | 97 fmpz ** vals3; in main() local 137 fmpz_init(vals3[v]); in main() 163 fmpz_clear(vals3[v]); in main() 164 flint_free(vals3[v]); in main() 166 flint_free(vals3); in main() 194 fmpz ** vals3; in main() local 218 fmpz_init(vals3[v]); in main() 260 flint_free(vals3); in main() 285 fmpz ** vals3; in main() local 310 fmpz_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpz_mpoly.c | 262 fmpz ** vals2, ** vals3; in main() local 307 vals3 = (fmpz **) flint_malloc(nvars1*sizeof(fmpz*)); in main() 310 vals3[v] = (fmpz *) flint_malloc(sizeof(fmpz)); in main() 311 fmpz_init(vals3[v]); in main() 312 if (!fmpz_mpoly_evaluate_all_fmpz(vals3[v], vals1[v], vals2, ctx2)) in main() 337 if (!fmpz_mpoly_evaluate_all_fmpz(fe, f, vals3, ctx1) || in main() 368 fmpz_clear(vals3[v]); in main() 369 flint_free(vals3[v]); in main() 371 flint_free(vals3); in main()
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mpoly/test/ |
H A D | t-compose_fmpz_poly.c | 97 fmpz ** vals3; in main() local 137 fmpz_init(vals3[v]); in main() 163 fmpz_clear(vals3[v]); in main() 164 flint_free(vals3[v]); in main() 166 flint_free(vals3); in main() 194 fmpz ** vals3; in main() local 218 fmpz_init(vals3[v]); in main() 260 flint_free(vals3); in main() 285 fmpz ** vals3; in main() local 310 fmpz_init(vals3[v]); in main() [all …]
|
H A D | t-compose_fmpz_mpoly.c | 262 fmpz ** vals2, ** vals3; in main() local 307 vals3 = (fmpz **) flint_malloc(nvars1*sizeof(fmpz*)); in main() 310 vals3[v] = (fmpz *) flint_malloc(sizeof(fmpz)); in main() 311 fmpz_init(vals3[v]); in main() 312 if (!fmpz_mpoly_evaluate_all_fmpz(vals3[v], vals1[v], vals2, ctx2)) in main() 337 if (!fmpz_mpoly_evaluate_all_fmpz(fe, f, vals3, ctx1) || in main() 368 fmpz_clear(vals3[v]); in main() 369 flint_free(vals3[v]); in main() 371 flint_free(vals3); in main()
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fq_nmod_mpoly/test/ |
H A D | t-compose_fq_nmod_poly.c | 96 fq_nmod_struct ** vals3; in main() local 128 vals3 = (fq_nmod_struct **) flint_malloc(nvars1*sizeof(fq_nmod_struct *)); in main() 131 vals3[v] = (fq_nmod_struct *) flint_malloc(sizeof(fq_nmod_struct)); in main() 132 fq_nmod_init(vals3[v], ctx->fqctx); in main() 133 fq_nmod_poly_evaluate_fq_nmod(vals3[v], vals1[v], vals2, ctx->fqctx); in main() 145 fq_nmod_mpoly_evaluate_all_fq_nmod(fe, f, vals3, ctx); in main() 167 fq_nmod_clear(vals3[v], ctx->fqctx); in main() 168 flint_free(vals3[v]); in main() 170 flint_free(vals3); in main()
|
H A D | t-compose_fq_nmod_mpoly.c | 260 fq_nmod_struct ** vals2, ** vals3; in main() local 305 vals3 = (fq_nmod_struct **) flint_malloc(nvars1*sizeof(fq_nmod_struct*)); in main() 308 vals3[v] = (fq_nmod_struct *) flint_malloc(sizeof(fq_nmod_struct)); in main() 309 fq_nmod_init(vals3[v], ctx1->fqctx); in main() 310 fq_nmod_mpoly_evaluate_all_fq_nmod(vals3[v], vals1[v], vals2, ctx2); in main() 328 fq_nmod_mpoly_evaluate_all_fq_nmod(fe, f, vals3, ctx1); in main() 354 fq_nmod_clear(vals3[v], ctx1->fqctx); in main() 355 flint_free(vals3[v]); in main() 357 flint_free(vals3); in main()
|
/dports/math/e-antic/flint2-ae7ec89/fq_nmod_mpoly/test/ |
H A D | t-compose_fq_nmod_poly.c | 96 fq_nmod_struct ** vals3; in main() local 128 vals3 = (fq_nmod_struct **) flint_malloc(nvars1*sizeof(fq_nmod_struct *)); in main() 131 vals3[v] = (fq_nmod_struct *) flint_malloc(sizeof(fq_nmod_struct)); in main() 132 fq_nmod_init(vals3[v], ctx->fqctx); in main() 133 fq_nmod_poly_evaluate_fq_nmod(vals3[v], vals1[v], vals2, ctx->fqctx); in main() 145 fq_nmod_mpoly_evaluate_all_fq_nmod(fe, f, vals3, ctx); in main() 167 fq_nmod_clear(vals3[v], ctx->fqctx); in main() 168 flint_free(vals3[v]); in main() 170 flint_free(vals3); in main()
|
/dports/math/flint2/flint-2.8.4/fq_nmod_mpoly/test/ |
H A D | t-compose_fq_nmod_poly.c | 96 fq_nmod_struct ** vals3; in main() local 128 vals3 = (fq_nmod_struct **) flint_malloc(nvars1*sizeof(fq_nmod_struct *)); in main() 131 vals3[v] = (fq_nmod_struct *) flint_malloc(sizeof(fq_nmod_struct)); in main() 132 fq_nmod_init(vals3[v], ctx->fqctx); in main() 133 fq_nmod_poly_evaluate_fq_nmod(vals3[v], vals1[v], vals2, ctx->fqctx); in main() 145 fq_nmod_mpoly_evaluate_all_fq_nmod(fe, f, vals3, ctx); in main() 167 fq_nmod_clear(vals3[v], ctx->fqctx); in main() 168 flint_free(vals3[v]); in main() 170 flint_free(vals3); in main()
|
/dports/lang/gnustep-base/libs-base-base-1_27_0/Tests/base/NSMutableArray/ |
H A D | general.m | 8 NSMutableArray *arr,*vals1,*vals2,*vals3; 18 vals3 = AUTORELEASE([vals2 mutableCopy]); 19 [vals3 addObject: val3]; 26 PASS(vals3 != nil && [vals3 containsObject:val2], "-containsObject works"); 27 PASS(vals3 != nil && [vals3 indexOfObject:@"A Goodbye"] == 1, 29 PASS(vals3 != nil && [vals3 indexOfObjectIdenticalTo:val2],
|
/dports/lang/gnustep-base/libs-base-base-1_27_0/Tests/base/NSArray/ |
H A D | general.m | 8 NSArray *arr,*vals1,*vals2,*vals3; 15 vals3 = [[vals1 arrayByAddingObject:val3] retain]; 22 PASS(vals3 != nil && [vals3 containsObject:val2], "-containsObject works"); 23 PASS(vals3 != nil && [vals3 indexOfObject:@"A Goodbye"] == 1, 25 PASS(vals3 != nil && [vals3 indexOfObjectIdenticalTo:val2],
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/nmod_mpoly/test/ |
H A D | t-compose_nmod_poly.c | 94 mp_limb_t vals2, * vals3; in main() local 126 vals3 = (mp_limb_t *) flint_malloc(nvars1*sizeof(mp_limb_t)); in main() 129 vals3[v] = nmod_poly_evaluate_nmod(vals1[v], vals2); in main() 141 fe = nmod_mpoly_evaluate_all_ui(f, vals3, ctx1); in main() 159 flint_free(vals3); in main()
|
/dports/math/e-antic/flint2-ae7ec89/nmod_mpoly/test/ |
H A D | t-compose_nmod_poly.c | 94 mp_limb_t vals2, * vals3; in main() local 126 vals3 = (mp_limb_t *) flint_malloc(nvars1*sizeof(mp_limb_t)); in main() 129 vals3[v] = nmod_poly_evaluate_nmod(vals1[v], vals2); in main() 141 fe = nmod_mpoly_evaluate_all_ui(f, vals3, ctx1); in main() 159 flint_free(vals3); in main()
|
/dports/math/flint2/flint-2.8.4/nmod_mpoly/test/ |
H A D | t-compose_nmod_poly.c | 94 mp_limb_t vals2, * vals3; in main() local 126 vals3 = (mp_limb_t *) flint_malloc(nvars1*sizeof(mp_limb_t)); in main() 129 vals3[v] = nmod_poly_evaluate_nmod(vals1[v], vals2); in main() 141 fe = nmod_mpoly_evaluate_all_ui(f, vals3, ctx1); in main() 159 flint_free(vals3); in main()
|
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/tests/ |
H A D | test_sparse_lu.cxx | 12 std::vector<double> vals0(2), vals1(3), vals2(3), vals3(2); in test_sparse_lu() local 23 vals3[0]=-1.0; vals3[1]=3.0; in test_sparse_lu() 24 A.set_row(3, cols3, vals3); in test_sparse_lu()
|
/dports/lang/gnustep-base/libs-base-base-1_27_0/Tests/base/NSMutableSet/ |
H A D | general.m | 9 NSMutableSet *vals1, *vals2, *vals3, *vals4; 18 vals3 = [vals1 setByAddingObject: val3]; 35 PASS(YES == [obj intersectsSet: vals3], "test for intersection"); 42 [obj intersectSet: vals3];
|
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/tests/ |
H A D | test_sparse_lu.cxx | 13 std::vector<double> vals0(2), vals1(3), vals2(3), vals3(2); in test_sparse_lu() local 35 vals3[0] = -1.0; in test_sparse_lu() 36 vals3[1] = 3.0; in test_sparse_lu() 37 A.set_row(3, cols3, vals3); in test_sparse_lu()
|