/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
H A D | ofsfvslists-alists.red | 1208 {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 D | multfree.dat | 66 [[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 D | ineq.rkt | 57 (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 D | mtp3.tst | 19 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 D | mtp2.tst | 9 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 D | leq.chr | 8 :- 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 D | leq.chr | 8 :- 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 D | leq.chr | 8 :- 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 D | leq.chr | 8 :- 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 D | leq.chr | 8 :- 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 D | leq.chr | 8 :- 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 D | variables-linear_inequality_constraint_matrix | 6 \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 D | Trapezoidal_doc.i.in | 11 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 D | Hypergeometric_doc.i.in | 11 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 D | Heap.hs | 181 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 D | Heap.hs | 181 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 D | Heap.hs | 163 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 D | topographd | 116 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 …]
|