Home
last modified time | relevance | path

Searched refs:finite (Results 1 – 25 of 5068) sorted by relevance

12345678910>>...203

/dports/math/spot/spot-2.10.2/tests/ltsmin/
H A Dfinite.test34 run 0 ../modelcheck --dot=model --model $srcdir/finite.dve \
39 run 0 ../modelcheck --selfloopize true --dot=model --model $srcdir/finite.dve \
50 --dot model --model $srcdir/finite.dve --formula '"P.a < 10"' > stdout
54 run 0 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
57 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
60 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
63 run 1 ../modelcheck --cndfs --selfloopize dead --model $srcdir/finite.dve \
66 run 1 ../modelcheck --swarming --selfloopize dead --model $srcdir/finite.dve \
70 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
112 run 1 ../modelcheck --model $srcdir/finite.dve \
[all …]
H A Dfinite3.test25 if ! gal2c $srcdir/finite.gal; then
31 run 0 ../modelcheck --model $srcdir/finite.gal \
37 --model $srcdir/finite.gal \
41 run 0 ../modelcheck --selfloopize false --model $srcdir/finite.gal \
48 --model $srcdir/finite.gal \
53 run 0 ../modelcheck --selfloopize dead --is-empty --model $srcdir/finite.gal \
56 run 1 ../modelcheck --selfloopize dead --is-empty --model $srcdir/finite.gal \
61 run 0 ../modelcheck --dot product --model $srcdir/finite.gal --formula 'true'
H A Dfinite2.test26 if ! spins $srcdir/finite.pm; then
31 run 0 ../modelcheck --dot model --model $srcdir/finite.pm \
37 --model $srcdir/finite.pm \
42 --model $srcdir/finite.pm \
49 --model $srcdir/finite.pm --formula '"P_0.a < 10"' > stdout
54 --model $srcdir/finite.pm \
58 --model $srcdir/finite.pm \
61 run 0 ../modelcheck --dot product --model $srcdir/finite.pm \
/dports/math/py-spot/spot-2.10.2/tests/ltsmin/
H A Dfinite.test34 run 0 ../modelcheck --dot=model --model $srcdir/finite.dve \
39 run 0 ../modelcheck --selfloopize true --dot=model --model $srcdir/finite.dve \
50 --dot model --model $srcdir/finite.dve --formula '"P.a < 10"' > stdout
54 run 0 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
57 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
60 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
63 run 1 ../modelcheck --cndfs --selfloopize dead --model $srcdir/finite.dve \
66 run 1 ../modelcheck --swarming --selfloopize dead --model $srcdir/finite.dve \
70 run 1 ../modelcheck --is-empty --selfloopize dead --model $srcdir/finite.dve \
112 run 1 ../modelcheck --model $srcdir/finite.dve \
[all …]
H A Dfinite2.test26 if ! spins $srcdir/finite.pm; then
31 run 0 ../modelcheck --dot model --model $srcdir/finite.pm \
37 --model $srcdir/finite.pm \
42 --model $srcdir/finite.pm \
49 --model $srcdir/finite.pm --formula '"P_0.a < 10"' > stdout
54 --model $srcdir/finite.pm \
58 --model $srcdir/finite.pm \
61 run 0 ../modelcheck --dot product --model $srcdir/finite.pm \
H A Dfinite3.test25 if ! gal2c $srcdir/finite.gal; then
31 run 0 ../modelcheck --model $srcdir/finite.gal \
37 --model $srcdir/finite.gal \
41 run 0 ../modelcheck --selfloopize false --model $srcdir/finite.gal \
48 --model $srcdir/finite.gal \
53 run 0 ../modelcheck --selfloopize dead --is-empty --model $srcdir/finite.gal \
56 run 1 ../modelcheck --selfloopize dead --is-empty --model $srcdir/finite.gal \
61 run 0 ../modelcheck --dot product --model $srcdir/finite.gal --formula 'true'
/dports/math/py-sympy/sympy-1.9/sympy/assumptions/tests/
H A Dtest_query.py784 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
786 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
788 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
790 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
792 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
794 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
797 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
824 assert ask(Q.finite(a), Q.finite(x) & ~Q.finite(y)
826 assert ask(Q.finite(a), Q.finite(x) & ~Q.finite(y)
1028 assert ask(Q.finite(a), Q.finite(x) & Q.finite(y)
[all …]
/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/tests/res/
H A Dunit_collection.res126 T_1 : Space "V1" of type finite element space on the geometrical domain "Omega".
129 T_1 : Space "V1" of type finite element space on the geometrical domain "Omega".
130 T_2 : Space "V2" of type finite element space on the geometrical domain "Omega".
133 T_1 : Space "V1" of type finite element space on the geometrical domain "Omega".
134 T_2 : Space "V2" of type finite element space on the geometrical domain "Omega".
135 T_3 : Space "V3" of type finite element space on the geometrical domain "Omega".
138 T_1 : Space "V1" of type finite element space on the geometrical domain "Omega".
139 T_2 : Space "V2" of type finite element space on the geometrical domain "Omega".
140 T_3 : Space "V3" of type finite element space on the geometrical domain "Omega".
141 T_4 : Space "V1" of type finite element space on the geometrical domain "Omega".
[all …]
/dports/math/mppp/mppp-0.26/test/
H A Dreal128_naninffinite.cpp27 REQUIRE(r.finite());
30 REQUIRE(finite(r));
53 REQUIRE(r.finite());
56 REQUIRE(finite(r));
79 REQUIRE(r.finite());
82 REQUIRE(finite(r));
90 REQUIRE(!r.finite());
93 REQUIRE(!finite(r));
116 REQUIRE(!r.finite());
117 REQUIRE(!finite(r));
[all …]
/dports/math/openturns/openturns-1.18/lib/test/
H A Dt_Interval_std.expout1 …] upper bound=class=Point name=Unnamed dimension=1 values=[5] finite lower bound=[1] finite upper …
2 …pper bound=class=Point name=Unnamed dimension=2 values=[1,1] finite lower bound=[1,1] finite upper…
3 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
4 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[0,0] finite upper…
11 …finite lower bound=[1,1] finite upper bound=[1,1] and class=Interval name=Unnamed dimension=2 lowe…
12 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
13 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
/dports/math/openturns/openturns-1.18/python/test/
H A Dt_Interval_std.expout2 …pper bound=class=Point name=Unnamed dimension=2 values=[1,1] finite lower bound=[1,1] finite upper…
3 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
7 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[0,0] finite upper…
17 …finite lower bound=[1,1] finite upper bound=[1,1] and class=Interval name=Unnamed dimension=2 lo…
18 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
19 …pper bound=class=Point name=Unnamed dimension=2 values=[2,2] finite lower bound=[1,1] finite upper…
/dports/math/p5-Math-BigRat/Math-BigRat-0.2620/xt/author/
H A Dblog-mbr.t103 2:-4:NaN:non-real and finite:(log(2))/(log(4)+i pi)
104 4:-4:NaN:non-real and finite:(log(4))/(log(4)+i pi)
112 -1:-2:NaN:non-real and finite:(i pi)/(log(2)+i pi)
117 2:-2:NaN:non-real and finite:(log(2))/(log(2)+i pi)
118 4:-2:NaN:non-real and finite:(log(4))/(log(2)+i pi)
125 -4:-1:NaN:non-real and finite:-(i (log(4)+i pi))/pi
131 1/2:-1:NaN:non-real and finite:(i log(2))/pi
132 2:-1:NaN:non-real and finite:-(i log(2))/pi
133 4:-1:NaN:non-real and finite:-(i log(4))/pi
171 -1:1/2:NaN:non-real and finite:-(i pi)/(log(2))
[all …]
/dports/math/gap/gap-4.11.0/pkg/ctbllib/data/
H A Dctborth1.tbl60 "origin: modular ATLAS of finite groups",
99 "origin: modular ATLAS of finite groups",
115 "origin: modular ATLAS of finite groups",
131 "origin: modular ATLAS of finite groups",
161 "origin: modular ATLAS of finite groups",
176 "origin: modular ATLAS of finite groups",
191 "origin: modular ATLAS of finite groups",
219 "origin: modular ATLAS of finite groups",
234 "origin: modular ATLAS of finite groups",
248 "origin: modular ATLAS of finite groups",
[all …]
/dports/math/p5-Math-BigInt/Math-BigInt-1.999827/xt/author/
H A Dblog-mbf.t117 2:-4:NaN:non-real and finite:(log(2))/(log(4)+i pi)
118 4:-4:NaN:non-real and finite:(log(4))/(log(4)+i pi)
126 -1:-2:NaN:non-real and finite:(i pi)/(log(2)+i pi)
131 2:-2:NaN:non-real and finite:(log(2))/(log(2)+i pi)
132 4:-2:NaN:non-real and finite:(log(4))/(log(2)+i pi)
139 -4:-1:NaN:non-real and finite:-(i (log(4)+i pi))/pi
145 1/2:-1:NaN:non-real and finite:(i log(2))/pi
146 2:-1:NaN:non-real and finite:-(i log(2))/pi
147 4:-1:NaN:non-real and finite:-(i log(4))/pi
185 -1:1/2:NaN:non-real and finite:-(i pi)/(log(2))
[all …]
H A Dblog-mbi.t116 2:-4:NaN:non-real and finite:(log(2))/(log(4)+i pi)
117 4:-4:NaN:non-real and finite:(log(4))/(log(4)+i pi)
125 -1:-2:NaN:non-real and finite:(i pi)/(log(2)+i pi)
130 2:-2:NaN:non-real and finite:(log(2))/(log(2)+i pi)
131 4:-2:NaN:non-real and finite:(log(4))/(log(2)+i pi)
138 -4:-1:NaN:non-real and finite:-(i (log(4)+i pi))/pi
144 1/2:-1:NaN:non-real and finite:(i log(2))/pi
145 2:-1:NaN:non-real and finite:-(i log(2))/pi
146 4:-1:NaN:non-real and finite:-(i log(4))/pi
184 -1:1/2:NaN:non-real and finite:-(i pi)/(log(2))
[all …]
/dports/math/p5-Math-BigInt-Pari/Math-BigInt-Pari-1.3008/xt/author/
H A Dblog-mbf.t117 2:-4:NaN:non-real and finite:(log(2))/(log(4)+i pi)
118 4:-4:NaN:non-real and finite:(log(4))/(log(4)+i pi)
126 -1:-2:NaN:non-real and finite:(i pi)/(log(2)+i pi)
131 2:-2:NaN:non-real and finite:(log(2))/(log(2)+i pi)
132 4:-2:NaN:non-real and finite:(log(4))/(log(2)+i pi)
139 -4:-1:NaN:non-real and finite:-(i (log(4)+i pi))/pi
145 1/2:-1:NaN:non-real and finite:(i log(2))/pi
146 2:-1:NaN:non-real and finite:-(i log(2))/pi
147 4:-1:NaN:non-real and finite:-(i log(4))/pi
185 -1:1/2:NaN:non-real and finite:-(i pi)/(log(2))
[all …]
H A Dblog-mbi.t116 2:-4:NaN:non-real and finite:(log(2))/(log(4)+i pi)
117 4:-4:NaN:non-real and finite:(log(4))/(log(4)+i pi)
125 -1:-2:NaN:non-real and finite:(i pi)/(log(2)+i pi)
130 2:-2:NaN:non-real and finite:(log(2))/(log(2)+i pi)
131 4:-2:NaN:non-real and finite:(log(4))/(log(2)+i pi)
138 -4:-1:NaN:non-real and finite:-(i (log(4)+i pi))/pi
144 1/2:-1:NaN:non-real and finite:(i log(2))/pi
145 2:-1:NaN:non-real and finite:-(i log(2))/pi
146 4:-1:NaN:non-real and finite:-(i log(4))/pi
184 -1:1/2:NaN:non-real and finite:-(i pi)/(log(2))
[all …]
/dports/www/firefox-esr/firefox-91.8.0/dom/media/gtest/
H A DTestTimeUnit.cpp61 const TimeUnit finite = TimeUnit::FromSeconds(42.0); in TEST() local
62 EXPECT_EQ(posInf - finite, posInf); in TEST()
63 EXPECT_EQ(posInf + finite, posInf); in TEST()
64 EXPECT_EQ(negInf - finite, negInf); in TEST()
65 EXPECT_EQ(negInf + finite, negInf); in TEST()
67 EXPECT_EQ(finite + posInf, posInf); in TEST()
68 EXPECT_EQ(finite - posInf, negInf); in TEST()
69 EXPECT_EQ(finite + negInf, negInf); in TEST()
70 EXPECT_EQ(finite - negInf, posInf); in TEST()
/dports/lang/spidermonkey78/firefox-78.9.0/dom/media/gtest/
H A DTestTimeUnit.cpp61 const TimeUnit finite = TimeUnit::FromSeconds(42.0); in TEST() local
62 EXPECT_EQ(posInf - finite, posInf); in TEST()
63 EXPECT_EQ(posInf + finite, posInf); in TEST()
64 EXPECT_EQ(negInf - finite, negInf); in TEST()
65 EXPECT_EQ(negInf + finite, negInf); in TEST()
67 EXPECT_EQ(finite + posInf, posInf); in TEST()
68 EXPECT_EQ(finite - posInf, negInf); in TEST()
69 EXPECT_EQ(finite + negInf, negInf); in TEST()
70 EXPECT_EQ(finite - negInf, posInf); in TEST()
/dports/www/firefox/firefox-99.0/dom/media/gtest/
H A DTestTimeUnit.cpp61 const TimeUnit finite = TimeUnit::FromSeconds(42.0); in TEST() local
62 EXPECT_EQ(posInf - finite, posInf); in TEST()
63 EXPECT_EQ(posInf + finite, posInf); in TEST()
64 EXPECT_EQ(negInf - finite, negInf); in TEST()
65 EXPECT_EQ(negInf + finite, negInf); in TEST()
67 EXPECT_EQ(finite + posInf, posInf); in TEST()
68 EXPECT_EQ(finite - posInf, negInf); in TEST()
69 EXPECT_EQ(finite + negInf, negInf); in TEST()
70 EXPECT_EQ(finite - negInf, posInf); in TEST()
/dports/mail/thunderbird/thunderbird-91.8.0/dom/media/gtest/
H A DTestTimeUnit.cpp61 const TimeUnit finite = TimeUnit::FromSeconds(42.0); in TEST() local
62 EXPECT_EQ(posInf - finite, posInf); in TEST()
63 EXPECT_EQ(posInf + finite, posInf); in TEST()
64 EXPECT_EQ(negInf - finite, negInf); in TEST()
65 EXPECT_EQ(negInf + finite, negInf); in TEST()
67 EXPECT_EQ(finite + posInf, posInf); in TEST()
68 EXPECT_EQ(finite - posInf, negInf); in TEST()
69 EXPECT_EQ(finite + negInf, negInf); in TEST()
70 EXPECT_EQ(finite - negInf, posInf); in TEST()
/dports/devel/R-cran-progress/progress/R/
H A Dutils.R79 assert_scalar <- function(x, finite = TRUE, na = FALSE) { argument
83 na || !finite || is.finite(x))
86 assert_positive_scalar <- function(x, finite = TRUE) { argument
87 assert_scalar(x, finite = finite)
91 assert_nonnegative_scalar <- function(x, finite = TRUE, na = FALSE) { argument
92 assert_scalar(x, finite = finite, na = na)
102 assert_nonzero_count <- function(x, finite = TRUE) { argument
103 assert_positive_scalar(x, finite = TRUE)
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/gap/semigroups/
H A Dgrpffmat.gi12 # TODO special cases for 0 dimensional matrices over finite fields
31 "for a matrix over finite field group with generators",
53 "for a matrix over finite field collection",
65 "for a matrix over finite field group with group generators",
69 "for a matrix over finite field group as semigroup",
130 "for a matrix over finite field group as semigroup",
139 InstallMethod(Size, "for a matrix over finite field group",
160 "for a matrix over finite field group and matrix over finite field",
178 "for a matrix over finite field group and matrix over finite field",
194 "for a matrix over finite field group and collection",
[all …]
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/h2s_finite/
H A Dh2s_finite.nw1 title "H2S with finite nucleus at 134pm, 95 degrees"
6 geometry "finite" units ang
7 S 0.00000000 0.00000000 0.00000000 nucleus finite
8 H 0.00000000 0.987951631325566 -0.905290878204984 nucleus finite
9 H 0.00000000 -0.987951631325566 -0.905290878204984 nucleus finite
12 geometry "finite default" units ang nucleus finite
24 geometry "mixed" units ang nucleus finite
81 set geometry "finite"
95 set geometry "finite default"
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/h2s_finite/
H A Dh2s_finite.nw1 title "H2S with finite nucleus at 134pm, 95 degrees"
6 geometry "finite" units ang
7 S 0.00000000 0.00000000 0.00000000 nucleus finite
8 H 0.00000000 0.987951631325566 -0.905290878204984 nucleus finite
9 H 0.00000000 -0.987951631325566 -0.905290878204984 nucleus finite
12 geometry "finite default" units ang nucleus finite
24 geometry "mixed" units ang nucleus finite
81 set geometry "finite"
95 set geometry "finite default"

12345678910>>...203