Home
last modified time | relevance | path

Searched refs:vals3 (Results 1 – 25 of 174) sorted by relevance

1234567

/dports/math/cvc3/cvc3-2.4.1/src/search/
H A Dcircuit.cpp70 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 Dt-compose_fmpq_poly.c34 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 Dt-compose_fmpq_mpoly.c231 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 Dt-compose_fmpq_poly.c34 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 Dt-compose_fmpq_mpoly.c231 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 Dt-compose_fmpq_poly.c34 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 Dt-compose_fmpq_mpoly.c231 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 Dt-compose_fmpz_poly.c97 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 Dt-compose_fmpz_mpoly.c262 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 Dt-compose_fmpz_poly.c97 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 Dt-compose_fmpz_mpoly.c262 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 Dt-compose_fmpz_poly.c97 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 Dt-compose_fmpz_mpoly.c262 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 Dt-compose_fq_nmod_poly.c96 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 Dt-compose_fq_nmod_mpoly.c260 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 Dt-compose_fq_nmod_poly.c96 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 Dt-compose_fq_nmod_poly.c96 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 Dgeneral.m8 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 Dgeneral.m8 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 Dt-compose_nmod_poly.c94 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 Dt-compose_nmod_poly.c94 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 Dt-compose_nmod_poly.c94 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 Dtest_sparse_lu.cxx12 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 Dgeneral.m9 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 Dtest_sparse_lu.cxx13 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()

1234567