def test_membership(self):
self.assertTrue(is_member(Multiset(Set(Couplet(1, 2)))))
self.assertFalse(is_member(Multiset(Couplet(3, 4))))
self.assertTrue(is_absolute_member(Multiset(Set(Couplet(1, 2)))))
self.assertFalse(is_absolute_member(Multiset(Set(Couplet(Set([2, 3]), 4)))))
# noinspection PyTypeChecker
self.assertRaises(TypeError, lambda: is_member(3))
def test_membership(self):
self.assertTrue(is_member(Multiset(Set(Couplet(1, 2)))))
self.assertFalse(is_member(Multiset(Couplet(3, 4))))
self.assertTrue(is_absolute_member(Multiset(Set(Couplet(1, 2)))))
self.assertFalse(
is_absolute_member(Multiset(Set(Couplet(Set(2, 3), 4)))))
self.assertFalse(is_absolute_member(Set(2, 3)))
# noinspection PyTypeChecker
self.assertRaises(AttributeError, lambda: is_member(3))
def export_csv(absolute_clan: 'PP(A x A)', file_or_path, column_order=None, sort_key=None):
"""This function takes an absolute, left regular clan and produces a CSV file, where the
left components are in the header line and the rows are the individual relations.
:param absolute_clan: A :class:`algebraixlib.mathobjects.set.Set`. It must be an absolute and
left-regular clan.
:param file_or_path: Either a file path (in this case the CSV data is written to a file at this
location) or a file object (in this case the CSV data is written to its ``.write()``
function).
:param column_order: The optional left set to be exported in the specified order.
:param sort_key: The optional key to be provided to sorted (sorted not called if None).
:return: ``True`` if the CSV export succeeded.
"""
if not _clans.is_absolute_member(absolute_clan) \
and not _multiclans.is_absolute_member(absolute_clan):
return _ud.make_or_raise_undef()
if column_order is None and not absolute_clan.is_left_regular():
return _ud.make_or_raise_undef()
if column_order is None:
# Since this clan is left regular, get first relation to acquire left set.
rel = next(iter(absolute_clan))
# left_set is sorted to guarantee consistent iterations
column_order = sorted([left.value for left in rel.get_left_set()])
# Build list of dictionaries that associates left components with their right components for each relation.
clan_as_list_of_dicts = _convert_clan_to_list_of_dicts(column_order,
(absolute_clan if sort_key is None else
sorted(absolute_clan, key=sort_key)))
# Write that dictionary.
_csv_dict_writer(file_or_path, column_order, clan_as_list_of_dicts)
return True
def export_csv(absolute_clan_or_multiclan,
file_or_path,
ordered_lefts=None,
sort_key=None):
r"""Export an absolute clan or absolute multiclan as CSV file with header row.
The :term:`left component`\s of the :term:`clan` or term:`multiclan` are interpreted as
column names and are exported as header row. Every :term:`relation` in the input becomes a
data row in the CSV file.
:param absolute_clan_or_multiclan: An :term:`absolute clan` or term:`absolute multiclan`. If
it is not :term:`regular`, ``ordered_lefts`` must be given.
:param file_or_path: Either a file path (in this case the CSV data is written to a file at this
location) or a file object (in this case the CSV data is written to its ``.write()``
function).
:param ordered_lefts: (Optional) A ``Sequence`` of :term:`left`\s that are exported in the
given order. Default is the sequence that is the lexically sorted :term:`left set` of the
(multi)clan. This parameter is required if ``absolute_clan_or_multiclan`` is not
term:`regular`.
:param sort_key: (Optional) A function that compares two row-:term:`relation`\s and provides an
order (for use with :func:`sorted`). The output is not sorted if ``sort_key`` is missing.
:return: ``True`` if the CSV export succeeded, ``False`` if not.
"""
if not _clans.is_absolute_member(absolute_clan_or_multiclan) \
and not _multiclans.is_absolute_member(absolute_clan_or_multiclan):
return False
regular_clan = _clans.is_member(absolute_clan_or_multiclan) \
and _clans.is_regular(absolute_clan_or_multiclan)
regular_mclan = _multiclans.is_member(absolute_clan_or_multiclan) \
and _multiclans.is_regular(absolute_clan_or_multiclan)
if ordered_lefts is None and not (regular_clan or regular_mclan):
return False
if ordered_lefts is None:
# Since this clan is regular, get first relation to acquire left set.
rel = next(iter(absolute_clan_or_multiclan))
# left_set is sorted to guarantee consistent iterations
ordered_lefts = sorted([left.value for left in rel.get_left_set()])
# Generate dictionaries that associates left components with their right components for each
# relation.
clan_as_list_of_dicts = _convert_clan_to_list_of_dicts(
ordered_lefts, (absolute_clan_or_multiclan if sort_key is None else
sorted(absolute_clan_or_multiclan, key=sort_key)))
# Write the dictionaries.
_csv_dict_writer(file_or_path, ordered_lefts, clan_as_list_of_dicts)
return True
def test_multiset_with_one_empty_element(self):
m = Multiset(Set())
self.assertEqual(m.cardinality, 1)
m_repr = repr(m)
m_str = str(m)
self.assertEqual(m_repr, "Multiset({Set(): 1})")
self.assertEqual(m_str, "[{}:1]")
self.assertEqual(m.get_multiplicity(Set()), 1)
self.assertEqual(m.get_multiplicity(Atom('b')), 0)
m_struct = m.get_ground_set()
m_expected_struct = PowerSet(CartesianProduct(Structure(), GenesisSetN()))
self.assertEqual(m_struct, m_expected_struct)
import algebraixlib.algebras.multiclans as _multiclans
self.assertTrue(_multiclans.is_member(m))
self.assertTrue(_multiclans.is_absolute_member(m))
def test_multiset_with_one_empty_element(self):
m = Multiset(Set())
self.assertEqual(m.cardinality, 1)
m_repr = repr(m)
m_str = str(m)
self.assertEqual(m_repr, "Multiset({Set(): 1})")
self.assertEqual(m_str, "[{}:1]")
self.assertEqual(m.get_multiplicity(Set()), 1)
self.assertEqual(m.get_multiplicity(Atom('b')), 0)
m_struct = m.get_ground_set()
m_expected_struct = PowerSet(
CartesianProduct(Structure(), GenesisSetN()))
self.assertEqual(m_struct, m_expected_struct)
import algebraixlib.algebras.multiclans as _multiclans
self.assertTrue(_multiclans.is_member(m))
self.assertTrue(_multiclans.is_absolute_member(m))
def export_csv(absolute_clan_or_multiclan, file_or_path, ordered_lefts=None, sort_key=None):
r"""Export an absolute clan or absolute multiclan as CSV file with header row.
The :term:`left component`\s of the :term:`clan` or term:`multiclan` are interpreted as
column names and are exported as header row. Every :term:`relation` in the input becomes a
data row in the CSV file.
:param absolute_clan_or_multiclan: An :term:`absolute clan` or term:`absolute multiclan`. If
it is not :term:`regular`, ``ordered_lefts`` must be given.
:param file_or_path: Either a file path (in this case the CSV data is written to a file at this
location) or a file object (in this case the CSV data is written to its ``.write()``
function).
:param ordered_lefts: (Optional) A ``Sequence`` of :term:`left`\s that are exported in the
given order. Default is the sequence that is the lexically sorted :term:`left set` of the
(multi)clan. This parameter is required if ``absolute_clan_or_multiclan`` is not
term:`regular`.
:param sort_key: (Optional) A function that compares two row-:term:`relation`\s and provides an
order (for use with :func:`sorted`). The output is not sorted if ``sort_key`` is missing.
:return: ``True`` if the CSV export succeeded, ``False`` if not.
"""
if not _clans.is_absolute_member(absolute_clan_or_multiclan) \
and not _multiclans.is_absolute_member(absolute_clan_or_multiclan):
return False
regular_clan = _clans.is_member(absolute_clan_or_multiclan) \
and _clans.is_regular(absolute_clan_or_multiclan)
regular_mclan = _multiclans.is_member(absolute_clan_or_multiclan) \
and _multiclans.is_regular(absolute_clan_or_multiclan)
if ordered_lefts is None and not (regular_clan or regular_mclan):
return False
if ordered_lefts is None:
# Since this clan is regular, get first relation to acquire left set.
rel = next(iter(absolute_clan_or_multiclan))
# left_set is sorted to guarantee consistent iterations
ordered_lefts = sorted([left.value for left in rel.get_left_set()])
# Generate dictionaries that associates left components with their right components for each
# relation.
clan_as_list_of_dicts = _convert_clan_to_list_of_dicts(
ordered_lefts, (absolute_clan_or_multiclan if sort_key is None else sorted(absolute_clan_or_multiclan, key=sort_key)))
# Write the dictionaries.
_csv_dict_writer(file_or_path, ordered_lefts, clan_as_list_of_dicts)
return True
