Home
last modified time | relevance | path

Searched refs:leq (Results 1 – 25 of 2061) sorted by relevance

12345678910>>...83

/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/
H A Dofsfvslists-alists.red1208 {2, 1, 'leq, {1 . 1}} . 'vsub!-2!-1!-leq!-1,
1209 {2, 1, 'leq, {1 . 2}} . 'vsub!-2!-1!-leq!-2,
1210 {2, 1, 'leq, {2 . 1}} . 'vsub!-2!-1!-leq!-3,
1246 {3, 1, 'leq, {1 . 1}} . 'vsub!-3!-1!-leq!-1,
1247 {3, 1, 'leq, {2 . 1}} . 'vsub!-3!-1!-leq!-2,
1248 {3, 1, 'leq, {2 . 2}} . 'vsub!-3!-1!-leq!-3,
1249 {3, 1, 'leq, {3 . 1}} . 'vsub!-3!-1!-leq!-4,
1250 {3, 1, 'leq, {3 . 2}} . 'vsub!-3!-1!-leq!-5,
1251 {3, 1, 'leq, {4 . 1}} . 'vsub!-3!-1!-leq!-6,
1252 {3, 1, 'leq, {4 . 2}} . 'vsub!-3!-1!-leq!-7,
[all …]
/dports/math/gap/gap-4.11.0/pkg/ctbllib/tst/
H A Dmultfree.dat66 [[1,2,5],"$A_6 \\leq A_6.2_3$"],
68 [[1,5,6,7,9,10],"$11:5 \\leq L_2(11)$"],
70 [[1,2,8,10],"$3^2:8 \\leq 3^2:Q_8.2$"],
77 [[1,2,3,8,11],"$L_2(11) \\leq M_{11}$"],
79 [[1,2,3,7,8],"$A_6.2_1 \\leq A_6.2^2$"],
80 [[1,2,7,11],"$A_6.2_2 \\leq A_6.2^2$"],
83 [[1,3,7,11],"$A_6.2_2 \\leq A_6.2^2$"],
185 [[1,2,5,7],"$U_3(5) \\leq U_3(5).2$"],
187 [[1,2,6,7],"$U_3(5) \\leq U_3(5).2$"],
312 {4+6}:3A_6 \\leq 2^{4+6}:3S_6$"],
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/logic/
H A Dineq.rkt57 (leq-imp-leq? (Leq->leq l1)
82 (fme-imp-leq? (Leqs->sli ls) (leq-negate (Leq->leq l))))
388 (-> leq? leq?)
415 (-> leq? any/c leq?)
485 (-> leq? leq? any/c leq?)
729 (-> leq? leq? boolean?)
735 (check-true (leq-imp-leq? (leq (lexp* '(1 x))
739 (check-true (leq-imp-leq? (leq (lexp* '(1 x))
743 (check-true (leq-imp-leq? (leq (lexp* '(1 x) '(1 y))
747 (check-false (leq-imp-leq? (leq (lexp* '(1 x) '(1 y))
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/
H A Dmtp3.tst19 0 leq x111 and 0 leq x112 and 0 leq x113 and
20 0 leq x121 and 0 leq x122 and 0 leq x123 and
21 0 leq x131 and 0 leq x132 and 0 leq x133 and
22 0 leq x211 and 0 leq x212 and 0 leq x213 and
23 0 leq x221 and 0 leq x222 and 0 leq x223 and
24 0 leq x231 and 0 leq x232 and 0 leq x233 and
25 0 leq x311 and 0 leq x312 and 0 leq x313 and
26 0 leq x321 and 0 leq x322 and 0 leq x323 and
27 0 leq x331 and 0 leq x332 and 0 leq x333)))))))))))))))))))))))))))$
H A Dmtp2.tst9 0 leq x11 and 0 leq x12 and 0 leq x13 and
10 0 leq x21 and 0 leq x22 and 0 leq x23 and
11 0 leq x31 and 0 leq x32 and 0 leq x33
/dports/lang/yap/yap-6.2.2/packages/chr/Tests/
H A Dleq.chr8 :- module(leq,[leq/0]).
11 :- chr_constraint leq/2.
13 reflexivity @ leq(X,X) <=> true.
14 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
15 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
16 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
18 leq :-
25 leq(X, Y),
26 leq(Y, Z),
27 leq(Z, X).
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Tests/
H A Dleq.chr8 :- module(leq,[leq/0]).
11 :- chr_constraint leq/2.
13 reflexivity @ leq(X,X) <=> true.
14 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
15 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
16 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
18 leq :-
25 leq(X, Y),
26 leq(Y, Z),
27 leq(Z, X).
/dports/lang/yap/yap-6.2.2/packages/chr/Benchmarks/
H A Dleq.chr8 :- module(leq,[main/0,main/1]).
10 :- constraints leq/2.
11 reflexivity @ leq(X,X) <=> true.
12 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
13 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
14 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
24 leq(Last,First),
27 write(bench(leq ,N,Time,0,hprolog)), write('.'),nl.
31 leq(X,Y),
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Benchmarks/
H A Dleq.chr8 :- module(leq,[main/0,main/1]).
11 :- chr_constraint leq/2.
13 reflexivity @ leq(X,X) <=> true.
14 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
15 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
16 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
26 leq(Last,First),
29 write(bench(leq ,N,Time,0,hprolog)), write('.'),nl.
33 leq(X,Y),
/dports/lang/yap/yap-6.2.2/packages/chr/Examples/
H A Dleq.chr8 :- module(leq,[]).
11 :- constraints leq/2.
12 reflexivity @ leq(X,X) <=> true.
13 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
14 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
15 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
22 leq(Last,First),
29 leq(X,Y),
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Examples/
H A Dleq.chr8 :- module(leq,[]).
11 :- constraints leq/2.
12 reflexivity @ leq(X,X) <=> true.
13 antisymmetry @ leq(X,Y), leq(Y,X) <=> X = Y.
14 idempotence @ leq(X,Y) \ leq(X,Y) <=> true.
15 transitivity @ leq(X,Y), leq(Y,Z) ==> leq(X,Z).
22 leq(Last,First),
29 leq(X,Y),
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/docs/KeywordMetadata/
H A Dvariables-linear_inequality_constraint_matrix6 \f[a_l \leq Ax \leq a_u\f]
12 \f[Ax \leq 0.0\f].
23 \f[ 1.5 \cdot x1 + 1.0 \cdot x2 \leq 5.0 \f]
24 \f[ x1 \leq x2 \Longrightarrow x1 - x2 \leq 0.0 \f]
37 \leq
68 \f[ -2.0 \leq 5.0 \cdot x1 + 2.0 \cdot x2 \leq 9.0 \f]
69 \f[ 0.0 \leq x1 + x3 \f]
70 \f[ -8.0 \leq x2 + 6.0 \cdot x4 \leq 8.0 \f]
71 \f[ x1 + x2 + x3 \leq 9.0 \f]
83 \leq
[all …]
/dports/math/openturns/openturns-1.18/python/src/
H A DTrapezoidal_doc.i.in11 b : float, :math:`a \leq b < c`
13 c : float, :math:`b < c \leq d`
15 d : float, :math:`c \leq d`
26 \displaystyle h \frac{x - a}{b - a} & a \leq x < b \\
27 \displaystyle h & b \leq x < c \\
28 \displaystyle h \frac{d - x}{d - c} & c \leq x \leq d \\
108 a : float, :math:`a \leq b < c \leq d`
118 b : float, :math:`a \leq b < c \leq d`
128 c : float, :math:`a \leq b < c \leq d`
138 d : float, :math:`a \leq b < c \leq d`
H A DHypergeometric_doc.i.in11 k : int, :math:`0 \leq k \leq n`
13 m : int, :math:`0 \leq m \leq n`
53 k : int, :math:`0\leq k\leq n`
63 m : int, :math:`0\leq m\leq n`
83 k : int, :math:`0\leq k\leq n`
93 m : int, :math:`0\leq m\leq n`
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/heaps-0.4/src/Data/
H A DHeap.hs181 a@(Heap _ leq _) `compare` b = go leq (F.toList a) (F.toList b)
236 insertWith leq x Empty = singletonWith leq x function
238 | leq x y = Heap (s+1) leq (Node 0 x (t `Cons` Nil)) function
252 | leq x1 x2 = Heap (s1 + s2) leq (Node 0 x1 (skewInsert leq t2 f1)) function
315 f2 = skewMeld leq (skewMeld leq ts1 ts2) f1
325 adjustMin f (Heap s leq (Node r x xs)) = Heap s leq (heapify leq (Node r (f x) xs))
369 minZ' leq lo z = minZ' leq (if leq (rootZ lo) (rootZ z) then lo else z) (rightZ z) function
374 | leq a a' = n function
592 nub h@(Heap _ leq t) = insertWith leq x (nub zs)
614 group h@(Heap _ leq _) = groupBy (flip leq) h
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/heaps-0.4/src/Data/
H A DHeap.hs181 a@(Heap _ leq _) `compare` b = go leq (F.toList a) (F.toList b)
236 insertWith leq x Empty = singletonWith leq x function
238 | leq x y = Heap (s+1) leq (Node 0 x (t `Cons` Nil)) function
252 | leq x1 x2 = Heap (s1 + s2) leq (Node 0 x1 (skewInsert leq t2 f1)) function
315 f2 = skewMeld leq (skewMeld leq ts1 ts2) f1
325 adjustMin f (Heap s leq (Node r x xs)) = Heap s leq (heapify leq (Node r (f x) xs))
369 minZ' leq lo z = minZ' leq (if leq (rootZ lo) (rootZ z) then lo else z) (rightZ z) function
374 | leq a a' = n function
592 nub h@(Heap _ leq t) = insertWith leq x (nub zs)
614 group h@(Heap _ leq _) = groupBy (flip leq) h
[all …]
/dports/devel/hs-shake/shake-0.19.6/_cabal_deps/heaps-0.3.6.1/src/Data/
H A DHeap.hs163 a@(Heap _ leq _) `compare` b = go leq (toList a) (toList b)
218 insertWith leq x Empty = singletonWith leq x function
220 | leq x y = Heap (s+1) leq (Node 0 x (t `Cons` Nil)) function
234 | leq x1 x2 = Heap (s1 + s2) leq (Node 0 x1 (skewInsert leq t2 f1)) function
297 f2 = skewMeld leq (skewMeld leq ts1 ts2) f1
307 adjustMin f (Heap s leq (Node r x xs)) = Heap s leq (heapify leq (Node r (f x) xs))
350 minZ' leq lo z = minZ' leq (if leq (rootZ lo) (rootZ z) then lo else z) (rightZ z) function
355 | leq a a' = n function
577 nub h@(Heap _ leq t) = insertWith leq x (nub zs)
599 group h@(Heap _ leq _) = groupBy (flip leq) h
[all …]
/dports/net-mgmt/netmagis-database/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-metro/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-www/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-utils/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-servers/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-topo/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-common/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]
/dports/net-mgmt/netmagis-detecteq/netmagis-2.3.4/topo/src/
H A Dtopographd116 set leq {}
130 foreach e $leq {
313 set leqanaconf $leq
381 proc rancid {{leq {}}} {
437 proc anaconf {{leq {}}} {
452 foreach eq $leq {
726 set leq {}
730 lappend leq $eq
732 lappend leq $eq
745 return $leq
[all …]

12345678910>>...83