Автор: Davide Carpi. Создано в рамках проекта SMath. Опубликовано пользователем Davide Carpi.
Это проект с открытыми исходными кодами. Исходные коды опубликованы под лицензией MIT и доступны в публичном хранилище SVN.

Функциональность Set Operations

Версия 0.4.8992.40087

Функции

Дополнительные компоненты, добавляющие в программу SMath Studio новые математические функции, необходимые для решения задач из различных областей.

  1. set_Cardinality("матрица")
    Returns the number of unique elements in "матрица".
  2. set_CartesianProduct(...)
    Cartesian product of "1:set", "2:set", ..., "n:set".
  3. set_Choose("матрица")
    Returns all combinations of the elements contained in the set "матрица". Duplicate elements are taken into account.
  4. set_Choose("1:матрица", "2:число")
    Returns all combinations of size "2:число" of the elements contained in the set "1:матрица". Duplicate elements are taken into account.
  5. set_Complement("матрица")
    Returns the set of elements in "set_Universe" not in "матрица".
  6. set_Contains("1:матрица", "2:переменная")
    Returns 1 if "1:матрица" contains "2:переменная", 0 otherwise.
  7. set_Difference(...)
    Returns a set of elements that are in "1:set" but not in "2:set", ...,"n:set".
  8. set_DoesNotContain("1:матрица", "2:переменная")
    Returns 1 if "1:матрица" does not contain "2:переменная", 0 otherwise.
  9. set_DoesNotExist("1:матрица", "2:функция")
    Non existential quantifier. Returns 1 if for all elements of "1:матрица" the predicate "2:функция" is always false, 0 otherwise.
  10. set_ElementOf("1:переменная", "2:матрица")
    Returns 1 if "1:переменная" is an element of "2:матрица", 0 otherwise.
  11. set_Exists("1:матрица", "2:функция")
    Existential quantifier. Returns 1 if for at least one element of "1:матрица" the predicate "2:функция" is true, 0 otherwise.
  12. set_Exists1("1:матрица", "2:функция")
    Unique existential quantifier. Returns 1 if for one and only one element of "1:матрица" the predicate "2:функция" is true, 0 otherwise.
  13. set_ForAll("1:матрица", "2:функция")
    Universal quantifier. Returns 1 if for all elements of "1:матрица" the predicate "2:функция" is always true, 0 otherwise.
  14. set_Intersection(...)
    Returns a set of elements that are in all sets "1:set", "2:set", ..., "n:set".
  15. set_NotElementOf("1:переменная", "2:матрица")
    Returns 1 if "1:переменная" is an element of "2:матрица", 0 otherwise.
  16. set_NotSubset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is not a subset of "2:матрица", 0 otherwise.
  17. set_NotSuperset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is not a superset of "2:матрица", 0 otherwise.
  18. set_Permute("матрица")
    Returns all permutations from the elements contained in the set "матрица". Duplicate elements are taken into account.
  19. set_Permute("1:матрица", "2:число")
    Returns all permutations from the elements contained in the set "1:матрица" taken "2:число" at a time. Duplicate elements are taken into account.
  20. set_PowerSet("матрица")
    Returns the set of all subsets of "матрица".
  21. set_ProperSubset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is a proper subset of "2:матрица", 0 otherwise.
  22. set_ProperSuperset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is a proper superset of "2:матрица", 0 otherwise.
  23. set_SetBuilder(...)
    Definition of a set by predicate.
  24. set_Shuffle("матрица")
    Shuffle the elements of a set "матрица". Duplicate elements are kept.
  25. set_Shuffle("1:матрица", "2:число")
    Shuffle the elements of a set "1:матрица" using a seed "2:число". Duplicate elements are kept.
  26. set_Sort("матрица")
    Sort elements of a set "матрица" in natural order. Duplicate elements are kept.
  27. set_Subset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is a subset of "2:матрица", 0 otherwise.
  28. set_Superset("1:матрица", "2:матрица")
    Returns 1 if "1:матрица" is a superset of "2:матрица", 0 otherwise.
  29. set_SymmetricDifference(...)
    Returns a set of elements that belongs to any one of "1:set", "2:set", ...,"n:set", but are not present in multiple sets.
  30. set_Union(...)
    Returns a set of elements that are in "1:set" or "2:set" ... or "n:set" sets.
  31. set_Unique("матрица")
    Remove duplicate elements from a set "матрица"; output elements are sorted in natural order.