/dports/math/py-sympy/sympy-1.9/sympy/sets/handlers/ |
H A D | union.py | 6 from sympy.sets.sets import UniversalSet 61 @dispatch(UniversalSet, Set) # type: ignore # noqa:F811 106 @dispatch(Interval, UniversalSet) # type: ignore # noqa:F811 108 return S.UniversalSet
|
H A D | intersection.py | 7 from sympy.sets.sets import UniversalSet, imageset, ProductSet 448 @dispatch(UniversalSet, Set) # type: ignore # noqa:F811
|
/dports/math/py-sympy/sympy-1.9/sympy/sets/ |
H A D | __init__.py | 15 UniversalSet = S.UniversalSet variable
|
H A D | sets.py | 1187 return S.UniversalSet 1347 return S.UniversalSet 1576 if B == S.UniversalSet or A.is_subset(B): 1691 class UniversalSet(Set, metaclass=Singleton): class 2410 return S.UniversalSet
|
H A D | conditionset.py | 89 def __new__(cls, sym, condition, base_set=S.UniversalSet):
|
/dports/math/symengine/symengine-0.8.1/symengine/ |
H A D | sets.cpp | 295 if (is_a<UniversalSet>(*o)) { in set_complement() 369 if (is_a<UniversalSet>(*o) or is_a<Complexes>(*o)) { in set_complement() 514 } else if (is_a<UniversalSet>(*o)) { in set_union() 628 hash_t UniversalSet::__hash__() const in __hash__() 634 bool UniversalSet::__eq__(const Basic &o) const in __eq__() 636 if (is_a<UniversalSet>(o)) in __eq__() 641 int UniversalSet::compare(const Basic &o) const in compare() 643 SYMENGINE_ASSERT(is_a<UniversalSet>(o)) in compare() 647 const RCP<const UniversalSet> &UniversalSet::getInstance() in getInstance() 1306 } else if (is_a<UniversalSet>(**it)) { in set_union() [all …]
|
H A D | sets.h | 82 class UniversalSet : public Set 85 UniversalSet() in UniversalSet() function 93 void operator=(UniversalSet const &) = delete; 94 const static RCP<const UniversalSet> &getInstance(); 496 inline RCP<const UniversalSet> universalset() in universalset() 498 return UniversalSet::getInstance(); in universalset()
|
H A D | type_codes.inc | 108 SYMENGINE_ENUM(SYMENGINE_UNIVERSALSET, UniversalSet)
|
/dports/math/py-sympy/sympy-1.9/doc/src/modules/ |
H A D | sets.rst | 69 UniversalSet subsection 71 .. autoclass:: UniversalSet
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/sets/ |
H A D | test_sets.py | 166 assert Complement(S.Integers, S.UniversalSet) == EmptySet() 167 assert S.UniversalSet.complement(S.Integers) == EmptySet() 189 assert S.UniversalSet.complement(S.EmptySet) == S.EmptySet 190 assert S.UniversalSet.complement(S.Reals) == S.EmptySet 191 assert S.UniversalSet.complement(S.UniversalSet) == S.EmptySet 230 assert Intersection() == S.UniversalSet 596 assert S.EmptySet.intersection(S.UniversalSet) == S.EmptySet 741 U = S.UniversalSet 1011 assert (Complement(S.UniversalSet, a) == 1012 Complement(S.UniversalSet, [all …]
|
/dports/math/py-Diofant/Diofant-0.13.0/docs/modules/ |
H A D | sets.rst | 41 .. autoclass:: UniversalSet
|
/dports/math/py-sympy/sympy-1.9/sympy/sets/tests/ |
H A D | test_sets.py | 58 S.UniversalSet]: 66 S.UniversalSet]: 311 assert Complement(S.Integers, S.UniversalSet) == EmptySet 312 assert S.UniversalSet.complement(S.Integers) == EmptySet 383 assert S.UniversalSet.complement(S.EmptySet) == S.EmptySet 384 assert S.UniversalSet.complement(S.Reals) == S.EmptySet 385 assert S.UniversalSet.complement(S.UniversalSet) == S.EmptySet 514 assert Intersection() == S.UniversalSet 1076 U = S.UniversalSet 1367 assert Complement(S.UniversalSet, a) == Complement( [all …]
|
/dports/math/symengine/symengine-0.8.1/symengine/printers/ |
H A D | unicode.h | 38 void bvisit(const UniversalSet &x);
|
H A D | codegen.h | 28 void bvisit(const UniversalSet &x);
|
H A D | strprinter.h | 142 void bvisit(const UniversalSet &x);
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/blink/renderer/modules/mediastream/ |
H A D | media_stream_constraints_util_sets.cc | 551 return DiscreteSet<std::string>::UniversalSet(); in StringSetFromConstraint() 562 return DiscreteSet<bool>::UniversalSet(); in BoolSetFromConstraint() 577 return DiscreteSet<bool>::UniversalSet(); in RescaleSetFromConstraint()
|
H A D | media_stream_constraints_util_sets.h | 158 static DiscreteSet UniversalSet() { return DiscreteSet(); } in UniversalSet() function
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/blink/renderer/modules/mediastream/ |
H A D | media_stream_constraints_util_sets.cc | 552 return DiscreteSet<std::string>::UniversalSet(); in StringSetFromConstraint() 563 return DiscreteSet<bool>::UniversalSet(); in BoolSetFromConstraint() 578 return DiscreteSet<bool>::UniversalSet(); in RescaleSetFromConstraint()
|
H A D | media_stream_constraints_util_sets.h | 158 static DiscreteSet UniversalSet() { return DiscreteSet(); } in UniversalSet() function
|
/dports/net/h323plus/h323plus-1_27_2/include/ |
H A D | gccpdu.h | 386 GCC_UserData(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2512 GCC_ArrayOf_ChallengeItem(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2598 …GCC_ApplicationRecord_nonCollapsingCapabilities(unsigned tag = UniversalSet, TagClass tagClass = U… 2618 …GCC_ApplicationInvokeSpecifier_expectedCapabilitySet(unsigned tag = UniversalSet, TagClass tagClas… 2664 GCC_ArrayOf_Privilege(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2709 …GCC_ArrayOf_ConferenceDescriptor(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClas… 3007 GCC_ArrayOf_UserID(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 3049 …GCC_RosterUpdateIndication_applicationInformation(unsigned tag = UniversalSet, TagClass tagClass =… 3069 …GCC_ArrayOf_ApplicationInvokeSpecifier(unsigned tag = UniversalSet, TagClass tagClass = UniversalT… 3362 …GCC_RosterUpdateIndication_nodeInformation_nodeRecordList_refresh(unsigned tag = UniversalSet, Tag… [all …]
|
H A D | mcspdu.h | 1549 … MCS_ArrayOf_ChannelAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1569 MCS_ArrayOf_ChannelId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1589 MCS_ArrayOf_UserId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1740 MCS_ArrayOf_TokenAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1760 MCS_ArrayOf_TokenId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
|
/dports/net/opal/opal-3.10.10/include/asn/ |
H A D | gcc.h | 388 GCC_UserData(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2514 GCC_ArrayOf_ChallengeItem(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2600 …GCC_ApplicationRecord_nonCollapsingCapabilities(unsigned tag = UniversalSet, TagClass tagClass = U… 2620 …GCC_ApplicationInvokeSpecifier_expectedCapabilitySet(unsigned tag = UniversalSet, TagClass tagClas… 2666 GCC_ArrayOf_Privilege(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 2711 …GCC_ArrayOf_ConferenceDescriptor(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClas… 3009 GCC_ArrayOf_UserID(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 3051 …GCC_RosterUpdateIndication_applicationInformation(unsigned tag = UniversalSet, TagClass tagClass =… 3071 …GCC_ArrayOf_ApplicationInvokeSpecifier(unsigned tag = UniversalSet, TagClass tagClass = UniversalT… 3364 …GCC_RosterUpdateIndication_nodeInformation_nodeRecordList_refresh(unsigned tag = UniversalSet, Tag… [all …]
|
H A D | mcs.h | 1551 … MCS_ArrayOf_ChannelAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1571 MCS_ArrayOf_ChannelId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1591 MCS_ArrayOf_UserId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1742 MCS_ArrayOf_TokenAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass); 1762 MCS_ArrayOf_TokenId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
|
/dports/net/h323plus/h323plus-1_27_2/include/h450/ |
H A D | h4503.h | 91 H4503_IntResultList(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
|
/dports/math/symengine/symengine-0.8.1/symengine/tests/basic/ |
H A D | test_sets.cpp | 75 using SymEngine::UniversalSet; 95 REQUIRE(not is_a<UniversalSet>(*r1)); 259 REQUIRE(not is_a<UniversalSet>(*r0)); 330 REQUIRE(not is_a<UniversalSet>(*r1)); 404 REQUIRE(not is_a<UniversalSet>(*r1)); 557 REQUIRE(not is_a<UniversalSet>(*r1)); 587 REQUIRE(is_a<UniversalSet>(*r1));
|