Home
last modified time | relevance | path

Searched refs:solve (Results 1 – 25 of 11464) sorted by relevance

12345678910>>...459

/dports/math/clingo/clingo-5.5.1/libgringo/tests/output/
H A Dlparse.cc107 IO::to_string(solve(
121 IO::to_string(solve(
127 IO::to_string(solve(
135 IO::to_string(solve(
141 IO::to_string(solve(
148 IO::to_string(solve(
155 IO::to_string(solve(
163 IO::to_string(solve(
170 IO::to_string(solve(
987 576 == solve(
[all …]
H A Dwarnings.cc36 …REQUIRE("([[]],[-:1:3-6: info: operation undefined:\n (a+0)\n])" == IO::to_string(solve("p(a+0)."…
37 …REQUIRE("([[]],[-:1:8-11: info: operation undefined:\n (a+0)\n])" == IO::to_string(solve("q :- X=…
38 …REQUIRE("([[]],[-:1:8-11: info: operation undefined:\n (a+0)\n])" == IO::to_string(solve("q :- p(…
42 …REQUIRE("([[]],[-:1:7-10: info: operation undefined:\n (a+0)\n])" == IO::to_string(solve(":~ . [a…
44 …REQUIRE("([[]],[-:1:5-8: info: operation undefined:\n (a+0)\n])" == IO::to_string(solve("{ p(a+0)…
60 …REQUIRE("([[]],[-:1:3-7: info: interval undefined:\n 1..f\n])" == IO::to_string(solve("p(1..f).")…
69 REQUIRE("([[a]],[])" == IO::to_string(solve("a:-#sum{-1:a;1:a}>=0.\n")));
70 REQUIRE("([[a]],[])" == IO::to_string(solve("a:-#sum{1:a;2:a}!=1.\n")));
71 REQUIRE("([[a]],[])" == IO::to_string(solve("a:-X=#sum{-1:a;1:a},X>=0,X<=0.\n")));
73 REQUIRE("([[]],[])" == IO::to_string(solve("#const a=a.\n")));
[all …]
H A Daspcomp13.cc44 IO::to_string(solve(
78 "])" == IO::to_string(solve(
256 "[value(a,3),value(b,2),value(c,0)]],[])" == IO::to_string(solve(
291 IO::to_string(solve(
321 …[-:91:42-43: info: global variable in tuple of aggregate element:\n S\n])" == IO::to_string(solve(
428 …-:135:39-40: info: global variable in tuple of aggregate element:\n T\n])" == IO::to_string(solve(
1013 … "([[match(m_1,w_1),match(m_2,w_3),match(m_3,w_2),match(m_4,w_4)]],[])" == IO::to_string(solve(
1240 "[label(0,1,rpi),label(0,2,rpi),label(1,2,rd)]],[])" == IO::to_string(solve(
2090 "([[clique(1),clique(2),clique(5)]],[])" == IO::to_string(solve(
2123 "([[push(1,w,1),push(2,n,2)],[push(1,w,1),push(3,s,2)]],[])" == IO::to_string(solve(
[all …]
/dports/science/PETSc/petsc-3.14.1/src/ts/tutorials/output/
H A Dex18_adv_2.out14 Linear solve converged due to CONVERGED_RTOL iterations 1
15 Linear solve converged due to CONVERGED_RTOL iterations 1
16 Linear solve converged due to CONVERGED_RTOL iterations 1
17 Linear solve converged due to CONVERGED_RTOL iterations 1
18 Linear solve converged due to CONVERGED_RTOL iterations 1
19 Linear solve converged due to CONVERGED_RTOL iterations 1
20 Linear solve converged due to CONVERGED_RTOL iterations 1
21 Linear solve converged due to CONVERGED_RTOL iterations 1
22 Linear solve converged due to CONVERGED_RTOL iterations 1
23 Linear solve converged due to CONVERGED_RTOL iterations 1
[all …]
H A Dex18_adv_delta_yper_im_2.out14 Nonlinear solve converged due to CONVERGED_FNORM_RELATIVE iterations 1
16 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 1
18 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
20 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
22 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
24 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
26 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
28 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
30 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
32 Nonlinear solve converged due to CONVERGED_FNORM_ABS iterations 0
[all …]
H A Dex3_pod_guess_Ainner.out3 Linear solve converged due to CONVERGED_RTOL iterations 2
5 Linear solve converged due to CONVERGED_RTOL iterations 2
7 Linear solve converged due to CONVERGED_RTOL iterations 0
9 Linear solve converged due to CONVERGED_RTOL iterations 0
11 Linear solve converged due to CONVERGED_RTOL iterations 0
13 Linear solve converged due to CONVERGED_RTOL iterations 0
15 Linear solve converged due to CONVERGED_RTOL iterations 0
17 Linear solve converged due to CONVERGED_RTOL iterations 0
19 Linear solve converged due to CONVERGED_RTOL iterations 0
21 Linear solve converged due to CONVERGED_RTOL iterations 0
[all …]
H A Dex3_fischer_guess_2.out3 Linear solve converged due to CONVERGED_RTOL iterations 2
5 Linear solve converged due to CONVERGED_RTOL iterations 2
7 Linear solve converged due to CONVERGED_RTOL iterations 0
9 Linear solve converged due to CONVERGED_RTOL iterations 0
11 Linear solve converged due to CONVERGED_RTOL iterations 0
13 Linear solve converged due to CONVERGED_RTOL iterations 0
15 Linear solve converged due to CONVERGED_RTOL iterations 0
17 Linear solve converged due to CONVERGED_RTOL iterations 0
19 Linear solve converged due to CONVERGED_RTOL iterations 0
21 Linear solve converged due to CONVERGED_RTOL iterations 0
[all …]
H A Dex3_fischer_guess.out3 Linear solve converged due to CONVERGED_RTOL iterations 2
5 Linear solve converged due to CONVERGED_RTOL iterations 2
7 Linear solve converged due to CONVERGED_RTOL iterations 0
9 Linear solve converged due to CONVERGED_RTOL iterations 0
11 Linear solve converged due to CONVERGED_RTOL iterations 0
13 Linear solve converged due to CONVERGED_RTOL iterations 0
15 Linear solve converged due to CONVERGED_RTOL iterations 0
17 Linear solve converged due to CONVERGED_RTOL iterations 0
19 Linear solve converged due to CONVERGED_RTOL iterations 0
21 Linear solve converged due to CONVERGED_RTOL iterations 0
[all …]
H A Dex3_pod_guess.out3 Linear solve converged due to CONVERGED_RTOL iterations 2
5 Linear solve converged due to CONVERGED_RTOL iterations 2
7 Linear solve converged due to CONVERGED_RTOL iterations 0
9 Linear solve converged due to CONVERGED_RTOL iterations 0
11 Linear solve converged due to CONVERGED_RTOL iterations 0
13 Linear solve converged due to CONVERGED_RTOL iterations 0
15 Linear solve converged due to CONVERGED_RTOL iterations 0
17 Linear solve converged due to CONVERGED_RTOL iterations 0
19 Linear solve converged due to CONVERGED_RTOL iterations 0
21 Linear solve converged due to CONVERGED_RTOL iterations 0
[all …]
/dports/math/fricas/fricas-1.3.7/src/input/
H A Dsolvetra.input3 solve(sin(x)-8=0)
4 solve(sin(x)-8=0,x)
5 solve(sin(x)-8)
6 solve(sin(x)-8,x)
7 solve(sin(x^2)-2,x)
8 solve(sin(x^2)-3,x)
9 solve(sin(x^2)^2-3,x)
10 solve(sin(x+2)-2,x)
11 solve(sin(x^2+2)-2,x)
15 solve(sin(x)*cos(x)-2,x)
[all …]
H A Dequation2.input5 solve([3*x^3 + y + 1,y - 1],[x,y])
6 solve([x^3 + x - y^2 + 4, x*y + 2], [x, y])
9 solve([x^2*y - 1, x*y^2 - 2], .01)
10 solve([x^2/a = 1, a^2 - a*x = 0], .001)
16 solve(x^3 + 1 = 0,x)
17 solve(x^3*y + x*y + 1, x)
18 solve(3*x + 1/4*y = 1,x)
21 solve(x^3 - sqrt(2))
22 solve(x^3/a + x/a + 1,x)
23 solve(1/x^3 + 1/x^2 + 1/x = 0, x)
[all …]
/dports/science/PETSc/petsc-3.14.1/src/ksp/ksp/tutorials/output/
H A Dex50_3.out2 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
3 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
4 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
5 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
7 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
8 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
10 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
11 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
13 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
14 Linear mg_coarse_ solve did not converge due to DIVERGED_ITS iterations 5
[all …]
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/solvers/
H A Dtest_solvers.py44 assert solve(42) == []
45 assert solve([1, 2]) == []
398 assert solve(eq) == []
463 result = solve(eq, x)
692 ans = solve(eq, x)
706 assert solve(sqrt(x)) == solve(sqrt(x**3)) == [{x: 0}]
1184 assert solve(2*x**w - 4*y**w, w) == solve((x/y)**w - 2, w)
1327 sol = solve(eq, R)
1378 assert solve(eq) == solve(eq, x)
1471 A = solve(F, v)
[all …]
/dports/math/py-sympy/sympy-1.9/sympy/solvers/tests/
H A Dtest_solvers.py110 assert solve(42) == solve(42, x) == []
153 assert solve(
252 s = solve(f)
275 s = solve(f)
289 assert solve(y) == solve(-y) == []
759 assert solve(sqrt(x)) == solve(sqrt(x**3)) == [0]
787 assert solve(
1666 assert solve(eq) == solve(eq, x)
1673 assert solve(2*x**w - 4*y**w, w) == solve((x/y)**w - 2, w)
2174 assert solve([
[all …]
/dports/math/Imath/Imath-3.1.4/src/ImathTest/
H A DtestRoots.cpp61 solve (double a, in solve() function
123 solve (double a, in solve() function
209 solve (36, -37, 0, 12, 1, -0.4715155, 0, 0); in testRoots()
221 solve (1, 0, -9, 2, -3, 3); // real solutions: -3, 3 in testRoots()
222 solve (1, -4, 0, 2, 4, 0); // real solutions: 0, 4 in testRoots()
223 solve (2, -4, 2, 1, 1, 0); // real solutions: 1 in testRoots()
224 solve (0, -4, 8, 1, 2, 0); // real solutions: 2 in testRoots()
225 solve (0, 7, 0, 1, 0, 0); // real solutions: 0 in testRoots()
226 solve (10, 0, 0, 1, 0, 0); // real solutions: 0 in testRoots()
228 solve (0, 0, 1, 0, 0, 0); // real solutions: none in testRoots()
[all …]
/dports/textproc/p5-Parse-BooleanLogic/Parse-BooleanLogic-0.09/t/
H A Dsolve.t13 ok $p->solve( [{ v => 1 }], $cb ), "true";
14 ok !$p->solve( [{ v => 0 }], $cb ), "false";
16 ok !$p->solve( [{v => 0}, 'AND', {v => 0}], $cb ), "0 AND 0";
17 ok !$p->solve( [{v => 0}, 'AND', {v => 1}], $cb ), "0 AND 1";
18 ok !$p->solve( [{v => 1}, 'AND', {v => 0}], $cb ), "1 AND 0";
19 ok $p->solve( [{v => 1}, 'AND', {v => 1}], $cb ), "1 AND 1";
21 ok !$p->solve( [{v => 0}, 'OR', {v => 0}], $cb ), "0 OR 0";
22 ok $p->solve( [{v => 0}, 'OR', {v => 1}], $cb ), "0 OR 1";
23 ok $p->solve( [{v => 1}, 'OR', {v => 0}], $cb ), "1 OR 0";
24 ok $p->solve( [{v => 1}, 'OR', {v => 1}], $cb ), "1 OR 1";
[all …]
/dports/science/PETSc/petsc-3.14.1/src/snes/tutorials/output/
H A Dex15_lag_jac.out2 Linear npc_ solve converged due to CONVERGED_RTOL iterations 18
4 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
6 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
8 Linear npc_ solve converged due to CONVERGED_RTOL iterations 15
10 Linear npc_ solve converged due to CONVERGED_RTOL iterations 13
12 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
14 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
16 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
18 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
20 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
[all …]
H A Dex28_4_alt.out2 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 3
4 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 3
6 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
8 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
10 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
13 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
15 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
17 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
19 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
21 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
[all …]
H A Dex28_4.out2 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 3
4 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 3
6 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
8 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
10 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 4
13 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
15 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
17 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
19 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
21 Linear fieldsplit_u_ solve converged due to CONVERGED_RTOL iterations 5
[all …]
H A Dex15_lag_pc.out2 Linear npc_ solve converged due to CONVERGED_RTOL iterations 18
4 Linear npc_ solve converged due to CONVERGED_RTOL iterations 25
6 Linear npc_ solve converged due to CONVERGED_RTOL iterations 30
8 Linear npc_ solve converged due to CONVERGED_RTOL iterations 44
10 Linear npc_ solve converged due to CONVERGED_RTOL iterations 54
12 Linear npc_ solve converged due to CONVERGED_RTOL iterations 15
14 Linear npc_ solve converged due to CONVERGED_RTOL iterations 17
16 Linear npc_ solve converged due to CONVERGED_RTOL iterations 20
18 Linear npc_ solve converged due to CONVERGED_RTOL iterations 22
20 Linear npc_ solve converged due to CONVERGED_RTOL iterations 55
[all …]
/dports/net/evans/evans-0.9.1/vendor/golang.org/x/tools/go/pointer/
H A Dsolve.go22 func (a *analysis) solve() { func
48 delta.Difference(&n.solve.pts.Sparse, &n.solve.prevPTS.Sparse)
56 n.solve.prevPTS.Copy(&n.solve.pts.Sparse)
72 n.solve.complex = nil
73 n.solve.copyTo.Clear()
74 n.solve.prevPTS.Clear()
111 if !dst.solve.copyTo.IsEmpty() || len(dst.solve.complex) > 0 {
132 solve := a.nodes[id].solve
133 solve.complex = append(solve.complex, c)
165 c.solve(a, delta)
[all …]
/dports/www/bugzilla2atom/bugzilla2atom-56126912bf314a80744827758d582e5e60e7178c/vendor/golang.org/x/tools/go/pointer/
H A Dsolve.go22 func (a *analysis) solve() { func
48 delta.Difference(&n.solve.pts.Sparse, &n.solve.prevPTS.Sparse)
56 n.solve.prevPTS.Copy(&n.solve.pts.Sparse)
72 n.solve.complex = nil
73 n.solve.copyTo.Clear()
74 n.solve.prevPTS.Clear()
111 if !dst.solve.copyTo.IsEmpty() || len(dst.solve.complex) > 0 {
132 solve := a.nodes[id].solve
133 solve.complex = append(solve.complex, c)
165 c.solve(a, delta)
[all …]
/dports/security/vault/vault-1.8.2/vendor/golang.org/x/tools/go/pointer/
H A Dsolve.go22 func (a *analysis) solve() { func
48 delta.Difference(&n.solve.pts.Sparse, &n.solve.prevPTS.Sparse)
56 n.solve.prevPTS.Copy(&n.solve.pts.Sparse)
72 n.solve.complex = nil
73 n.solve.copyTo.Clear()
74 n.solve.prevPTS.Clear()
111 if !dst.solve.copyTo.IsEmpty() || len(dst.solve.complex) > 0 {
132 solve := a.nodes[id].solve
133 solve.complex = append(solve.complex, c)
165 c.solve(a, delta)
[all …]
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/golang.org/x/tools/go/pointer/
H A Dsolve.go22 func (a *analysis) solve() { func
48 delta.Difference(&n.solve.pts.Sparse, &n.solve.prevPTS.Sparse)
56 n.solve.prevPTS.Copy(&n.solve.pts.Sparse)
72 n.solve.complex = nil
73 n.solve.copyTo.Clear()
74 n.solve.prevPTS.Clear()
111 if !dst.solve.copyTo.IsEmpty() || len(dst.solve.complex) > 0 {
132 solve := a.nodes[id].solve
133 solve.complex = append(solve.complex, c)
165 c.solve(a, delta)
[all …]
/dports/devel/liteide/liteide-x37.4/liteidex/vendor/golang.org/x/tools/go/pointer/
H A Dsolve.go22 func (a *analysis) solve() { func
48 delta.Difference(&n.solve.pts.Sparse, &n.solve.prevPTS.Sparse)
56 n.solve.prevPTS.Copy(&n.solve.pts.Sparse)
72 n.solve.complex = nil
73 n.solve.copyTo.Clear()
74 n.solve.prevPTS.Clear()
111 if !dst.solve.copyTo.IsEmpty() || len(dst.solve.complex) > 0 {
132 solve := a.nodes[id].solve
133 solve.complex = append(solve.complex, c)
165 c.solve(a, delta)
[all …]

12345678910>>...459