| /dports/math/py-sympy/sympy-1.9/sympy/assumptions/handlers/ |
| H A D | matrices.py | 35 def _(expr, assumptions): argument
42 def _(expr, assumptions): argument
56 def _(expr, assumptions): argument
69 def _(expr, assumptions): argument
73 def _(expr, assumptions): argument
84 def _(expr, assumptions): argument
88 def _(expr, assumptions): argument
92 def _(expr, assumptions): argument
103 def _(expr, assumptions): argument
110 def _(expr, assumptions): argument
[all …]
|
| H A D | sets.py | 39 def _(expr, assumptions): argument
44 def _(expr, assumptions): argument
48 def _(expr, assumptions): argument
55 def _(expr, assumptions): argument
66 def _(expr, assumptions): argument
94 def _(expr, assumptions): argument
98 def _(expr, assumptions): argument
105 def _(expr, assumptions): argument
109 def _(expr, assumptions): argument
114 def _(expr, assumptions): argument
[all …]
|
| H A D | order.py | 44 def _(expr, assumptions): argument
49 def _(expr, assumptions): argument
56 def _(expr, assumptions): argument
80 def _(expr, assumptions): argument
96 def _(expr, assumptions): argument
120 def _(expr, assumptions): argument
124 def _(expr, assumptions): argument
133 def _(expr, assumptions): argument
420 assumptions)
429 assumptions)
[all …]
|
| H A D | ntheory.py | 35 def _(expr, assumptions): argument
42 def _(expr, assumptions): argument
47 def _(expr, assumptions): argument
58 def _(expr, assumptions): argument
69 def _(expr, assumptions): argument
73 def _(expr, assumptions): argument
77 def _(expr, assumptions): argument
81 def _(expr, assumptions): argument
85 def _(expr, assumptions): argument
92 def _(expr, assumptions): argument
[all …]
|
| H A D | common.py | 51 def _(expr, assumptions): argument
63 def _(expr, assumptions): argument
70 def _(expr, assumptions): argument
74 def _(expr, assumptions): argument
81 def _(expr, assumptions): argument
102 value = ask(arg, assumptions=assumptions)
112 p = ask(arg, assumptions=assumptions)
123 p = ask(arg, assumptions=assumptions)
133 return ask(~p | q, assumptions=assumptions)
138 pt = ask(p, assumptions=assumptions)
[all …]
|
| H A D | calculus.py | 21 def _(expr, assumptions): argument
32 def _(expr, assumptions): argument
114 def _(expr, assumptions): argument
169 def _(expr, assumptions): argument
201 def _(expr, assumptions): argument
205 def _(expr, assumptions): argument
214 def _(expr, assumptions): argument
218 def _(expr, assumptions): argument
222 def _(expr, assumptions): argument
230 def _(expr, assumptions): argument
[all …]
|
| /dports/math/py-sympy/sympy-1.9/doc/src/modules/assumptions/ |
| H A D | predicates.rst | 3 .. module:: sympy.assumptions.predicates
15 .. autoclass:: sympy.assumptions.predicates.common.IsTruePredicate
21 .. autoclass:: sympy.assumptions.predicates.common.CommutativePredicate
30 .. autoclass:: sympy.assumptions.predicates.calculus.FinitePredicate
36 .. autoclass:: sympy.assumptions.predicates.calculus.InfinitePredicate
63 .. autoclass:: sympy.assumptions.predicates.matrices.UnitaryPredicate
150 .. autoclass:: sympy.assumptions.predicates.ntheory.EvenPredicate
156 .. autoclass:: sympy.assumptions.predicates.ntheory.OddPredicate
189 .. autoclass:: sympy.assumptions.predicates.order.ZeroPredicate
216 .. autoclass:: sympy.assumptions.predicates.sets.IntegerPredicate
[all …]
|
| /dports/math/py-sympy/sympy-1.9/sympy/assumptions/ |
| H A D | refine.py | 9 def refine(expr, assumptions=True): argument
66 return refine(new_expr, assumptions)
69 def refine_abs(expr, assumptions): argument
108 def refine_Pow(expr, assumptions): argument
209 def refine_atan2(expr, assumptions): argument
255 def refine_re(expr, assumptions): argument
271 if ask(Q.real(arg), assumptions):
278 def refine_im(expr, assumptions): argument
300 def refine_arg(expr, assumptions): argument
323 def _refine_reim(expr, assumptions): argument
[all …]
|
| H A D | wrapper.py | 46 from sympy.assumptions import ask, Q
121 def __new__(cls, expr, assumptions=None): argument
122 if assumptions is None:
126 obj.assumptions = assumptions
132 def is_infinite(obj, assumptions=None): argument
133 if assumptions is None:
135 return ask(Q.infinite(obj), assumptions)
138 def is_extended_real(obj, assumptions=None): argument
139 if assumptions is None:
141 return ask(Q.extended_real(obj), assumptions)
[all …]
|
| /dports/math/py-sympy/sympy-1.9/sympy/assumptions/relation/ |
| H A D | equality.py | 16 from sympy.assumptions import Q
63 if assumptions == True:
65 assumptions = None
107 if assumptions == True:
109 assumptions = None
155 if assumptions == True:
157 assumptions = None
203 if assumptions == True:
205 assumptions = None
253 assumptions = None
[all …]
|
| /dports/cad/py-lcapy/lcapy-23c940f/lcapy/ |
| H A D | core.py | 118 new_context.assumptions.update(self.assumptions)
198 assumptions = arg.assumptions.copy()
212 self.assumptions = assumptions.copy()
393 assumptions = self.assumptions
395 assumptions = self.assumptions
447 if self.assumptions == x.assumptions:
448 assumptions = self.assumptions
699 assumptions = self.assumptions.copy()
710 assumptions = self.assumptions.copy()
1242 assumptions = self.assumptions.copy()
[all …]
|
| /dports/math/octave-forge-symbolic/symbolic-2.9.0/inst/ |
| H A D | assume.m | 32 %% assumptions
46 %% assumptions
68 valid_asm = assumptions ('possible');
132 %!error <no assumptions>
147 %! a = assumptions(x);
150 %! a = assumptions(x);
154 %! % multiple assumptions
167 %! a = assumptions(x);
169 %! a = assumptions(x2);
171 %! a = assumptions(f);
[all …]
|
| H A D | assumptions.m | 32 %% assumptions
39 %% assumptions(n)
51 %% assumptions(f)
67 %% A = assumptions('possible');
164 %! a = assumptions(x);
181 %! B = assumptions('possible');
185 %! A = assumptions('possible');
188 %! a = assumptions(x);
200 %! a = assumptions(f);
230 %! %% assumptions in cell/struct
[all …]
|
| /dports/math/octave-forge-symbolic/symbolic-2.9.0/inst/@sym/ |
| H A D | assume.m | 39 %% assumptions(x)
56 %% assumptions(x1)
61 %% assumptions(x2)
80 %% assumptions(x)
85 %% assumptions(x1)
90 %% assumptions(f)
173 %! a = assumptions(x);
176 %! a = assumptions(x);
179 %! a = assumptions(x);
212 %! a = assumptions(x);
[all …]
|
| H A D | assumeAlso.m | 36 %% assumptions(x1)
43 %% assumptions(x)
54 %% assumptions(x1)
128 %! a = assumptions(x);
143 %! % multiple assumptions
166 %! a = assumptions(x);
168 %! a = assumptions(x2);
170 %! a = assumptions(f);
179 %! a = assumptions(x);
181 %! a = assumptions(x2);
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
| H A D | Assumptions.java | 53 Assumption[] assumptions; field in Assumptions.AssumptionResult
60 this.assumptions = assumptions; in AssumptionResult()
76 …ssumption[] newAssumptions = Arrays.copyOf(this.assumptions, this.assumptions.length + other.assum… in add()
77 …System.arraycopy(other.assumptions, 0, newAssumptions, this.assumptions.length, other.assumptions.… in add()
92 if (assumptions.length > 0) { in recordTo()
315 return assumptions.isEmpty(); in isEmpty()
330 if (!this.assumptions.equals(that.assumptions)) { in equals()
340 return assumptions.iterator(); in iterator()
376 assumptions.add(assumption); in record()
383 return assumptions.toArray(new Assumption[assumptions.size()]); in toArray()
[all …]
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/ |
| H A D | api.py | 41 return self._prove(goal, assumptions, verbose)[0]
106 def assumptions(self): member in TheoremToolCommand
194 def __init__(self, goal=None, assumptions=None): argument
204 if not assumptions:
207 self._assumptions = list(assumptions)
242 def assumptions(self): member in BaseTheoremToolCommand
262 for a in self.assumptions():
292 self.goal(), self.assumptions(), verbose
391 def assumptions(self): member in TheoremToolCommandDecorator
392 return self._command.assumptions()
[all …]
|
| /dports/audio/festival/speech_tools/grammar/wfst/ |
| H A D | wfst_aux.cc | 104 if (assumptions.list(p).k == y) in add_assumption()
106 assumptions.list(p).v.append(z); in add_assumption()
109 if (assumptions.list(p).k == z) in add_assumption()
111 assumptions.list(p).v.append(y); in add_assumption()
121 assumptions.add_item(z,b); in add_assumption()
127 assumptions.add_item(y,b); in add_assumption()
142 if (assumptions.list(p).k == y) in equivalent_to()
144 EST_IList &b = assumptions.list(p).v; in equivalent_to()
149 if (assumptions.list(p).k == z) in equivalent_to()
167 int x = assumptions.list(p).k; in mark_undistinguished()
[all …]
|