GroupsMath 0.7.2__tar.gz → 1.0.0__tar.gz

{groupsmath-0.7.2 → groupsmath-1.0.0}/GroupsMath.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: GroupsMath
-Version: 0.7.2
+Version: 1.0.0
 Summary: The educational Python library for Group Theory
 Author-email: Mario Sultan Romero <mariosultan.uem@gmail.com>
 License: PolyForm Strict License 1.0.0.
@@ -20,26 +20,25 @@ Requires-Dist: matplotlib>=3.0.0
 Requires-Dist: numpy>=1.20.0
 Dynamic: license-file
 
-# GroupsMath – v0.7.2 – release candidate for v1.0.0
+# GroupsMath – v1.0.0
 
 [![PyPI Downloads](https://img.shields.io/pypi/dm/groupsmath)](https://pypistats.org/packages/groupsmath)
 [![PyPI Version](https://img.shields.io/pypi/v/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 [![Python Versions](https://img.shields.io/pypi/pyversions/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 ![Last Commit](https://img.shields.io/github/last-commit/MarioSultan/groupsmath?color=2A646E)
-![coverage](https://img.shields.io/badge/road%20to%20v1.0.0-97%25-yellowgreen?color=2A646E)
 <!-- ![GitHub Stars](https://img.shields.io/github/stars/MarioSultan/groupsmath?style=social) -->
 
 
 ![GroupsMath Logo](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/logo.png)
 
 
-**GroupsMath** is a Python module for constructing, studying, and manipulating finite and infinite groups.
+**GroupsMath** is an open-source Python library for exploring and computing with mathematical groups. It lets you construct groups, perform operations on their elements, and study their structure through concepts such as subgroups, quotient groups, products, automorphisms, and conjugacy classes. Its goal is to make group theory **accessible, intuitive, and computational**, connecting abstract mathematics with hands-on experimentation in Python.
 
-The project aims to provide a **simple** and **intuitive** interface for working with groups and their algebraic properties.
 
 ![Examples](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/examples.png)
 
-> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
+
+📚 Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
 
 
 ---
@@ -115,7 +114,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **GROUPS:**
 * Construction of finite groups with classes `CayleyGroup` and `ExplicitGroup`.
 * Determination of the order of a group and its elements.
-* Operation with group elements (multiplication, inverse, powers, ...)
+* Operation with group elements (multiplication, inverse, powers, ...).
 * Computation of Cayley tables with `matplotlib.pyplot`.
 * Detection of algebraic properties such as cyclicity, commutativity and solubility.
 * Centralizers, conjugacy classes and conmutator.
@@ -128,7 +127,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 * Normal subgroups.
 * Quotient groups $Q=G/H$.
 * Conmutator and derived subgroups $G'$.
-* Abelianization $G/G'$
+* Abelianization $G/G'$.
 * Hasse diagrams. (*experimental feature*)
 
 **AUTOMORPHISMS:**
@@ -148,6 +147,10 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **PRESENTED GROUPS**
 * Presentation of groups, generators and class `PresentedGroup`. (*experimental feature*)
 
+**EDUCATION**
+* Jupyter notebook [A swift introduction to group theory with *GroupsMath*](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb) in Binder.
+
+
 The available functionality will expand as the project develops.
 
 ---

{groupsmath-0.7.2 → groupsmath-1.0.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: GroupsMath
-Version: 0.7.2
+Version: 1.0.0
 Summary: The educational Python library for Group Theory
 Author-email: Mario Sultan Romero <mariosultan.uem@gmail.com>
 License: PolyForm Strict License 1.0.0.
@@ -20,26 +20,25 @@ Requires-Dist: matplotlib>=3.0.0
 Requires-Dist: numpy>=1.20.0
 Dynamic: license-file
 
-# GroupsMath – v0.7.2 – release candidate for v1.0.0
+# GroupsMath – v1.0.0
 
 [![PyPI Downloads](https://img.shields.io/pypi/dm/groupsmath)](https://pypistats.org/packages/groupsmath)
 [![PyPI Version](https://img.shields.io/pypi/v/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 [![Python Versions](https://img.shields.io/pypi/pyversions/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 ![Last Commit](https://img.shields.io/github/last-commit/MarioSultan/groupsmath?color=2A646E)
-![coverage](https://img.shields.io/badge/road%20to%20v1.0.0-97%25-yellowgreen?color=2A646E)
 <!-- ![GitHub Stars](https://img.shields.io/github/stars/MarioSultan/groupsmath?style=social) -->
 
 
 ![GroupsMath Logo](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/logo.png)
 
 
-**GroupsMath** is a Python module for constructing, studying, and manipulating finite and infinite groups.
+**GroupsMath** is an open-source Python library for exploring and computing with mathematical groups. It lets you construct groups, perform operations on their elements, and study their structure through concepts such as subgroups, quotient groups, products, automorphisms, and conjugacy classes. Its goal is to make group theory **accessible, intuitive, and computational**, connecting abstract mathematics with hands-on experimentation in Python.
 
-The project aims to provide a **simple** and **intuitive** interface for working with groups and their algebraic properties.
 
 ![Examples](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/examples.png)
 
-> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
+
+📚 Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
 
 
 ---
@@ -115,7 +114,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **GROUPS:**
 * Construction of finite groups with classes `CayleyGroup` and `ExplicitGroup`.
 * Determination of the order of a group and its elements.
-* Operation with group elements (multiplication, inverse, powers, ...)
+* Operation with group elements (multiplication, inverse, powers, ...).
 * Computation of Cayley tables with `matplotlib.pyplot`.
 * Detection of algebraic properties such as cyclicity, commutativity and solubility.
 * Centralizers, conjugacy classes and conmutator.
@@ -128,7 +127,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 * Normal subgroups.
 * Quotient groups $Q=G/H$.
 * Conmutator and derived subgroups $G'$.
-* Abelianization $G/G'$
+* Abelianization $G/G'$.
 * Hasse diagrams. (*experimental feature*)
 
 **AUTOMORPHISMS:**
@@ -148,6 +147,10 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **PRESENTED GROUPS**
 * Presentation of groups, generators and class `PresentedGroup`. (*experimental feature*)
 
+**EDUCATION**
+* Jupyter notebook [A swift introduction to group theory with *GroupsMath*](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb) in Binder.
+
+
 The available functionality will expand as the project develops.
 
 ---

{groupsmath-0.7.2 → groupsmath-1.0.0}/README.md

@@ -1,23 +1,22 @@
-# GroupsMath – v0.7.2 – release candidate for v1.0.0
+# GroupsMath – v1.0.0
 
 [![PyPI Downloads](https://img.shields.io/pypi/dm/groupsmath)](https://pypistats.org/packages/groupsmath)
 [![PyPI Version](https://img.shields.io/pypi/v/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 [![Python Versions](https://img.shields.io/pypi/pyversions/groupsmath?color=2A646E)](https://pypi.org/project/groupsmath/)
 ![Last Commit](https://img.shields.io/github/last-commit/MarioSultan/groupsmath?color=2A646E)
-![coverage](https://img.shields.io/badge/road%20to%20v1.0.0-97%25-yellowgreen?color=2A646E)
 <!-- ![GitHub Stars](https://img.shields.io/github/stars/MarioSultan/groupsmath?style=social) -->
 
 
 ![GroupsMath Logo](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/logo.png)
 
 
-**GroupsMath** is a Python module for constructing, studying, and manipulating finite and infinite groups.
+**GroupsMath** is an open-source Python library for exploring and computing with mathematical groups. It lets you construct groups, perform operations on their elements, and study their structure through concepts such as subgroups, quotient groups, products, automorphisms, and conjugacy classes. Its goal is to make group theory **accessible, intuitive, and computational**, connecting abstract mathematics with hands-on experimentation in Python.
 
-The project aims to provide a **simple** and **intuitive** interface for working with groups and their algebraic properties.
 
 ![Examples](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/examples.png)
 
-> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
+
+📚 Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
 
 
 ---
@@ -93,7 +92,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **GROUPS:**
 * Construction of finite groups with classes `CayleyGroup` and `ExplicitGroup`.
 * Determination of the order of a group and its elements.
-* Operation with group elements (multiplication, inverse, powers, ...)
+* Operation with group elements (multiplication, inverse, powers, ...).
 * Computation of Cayley tables with `matplotlib.pyplot`.
 * Detection of algebraic properties such as cyclicity, commutativity and solubility.
 * Centralizers, conjugacy classes and conmutator.
@@ -106,7 +105,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 * Normal subgroups.
 * Quotient groups $Q=G/H$.
 * Conmutator and derived subgroups $G'$.
-* Abelianization $G/G'$
+* Abelianization $G/G'$.
 * Hasse diagrams. (*experimental feature*)
 
 **AUTOMORPHISMS:**
@@ -126,6 +125,10 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
 **PRESENTED GROUPS**
 * Presentation of groups, generators and class `PresentedGroup`. (*experimental feature*)
 
+**EDUCATION**
+* Jupyter notebook [A swift introduction to group theory with *GroupsMath*](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb) in Binder.
+
+
 The available functionality will expand as the project develops.
 
 ---

{groupsmath-0.7.2 → groupsmath-1.0.0}/groupsmath/core.py

@@ -21,7 +21,7 @@ from    math                import  gcd
 
 #################### DEFINITIONS ####################
 
-__version__ = "0.7.2"
+__version__ = "1.0.0"
 __errorcolor__ = "\033[31m"
 
 tgl_color = "#2A646E"
@@ -183,11 +183,11 @@ class ExplicitGroup(Group):
     def is_abelian(self):
         return self.order()==len(self.center())
 
-    def cayley_table(self, title="", colormap=rainbow, names=None, math_mode=True):
-        return self.toCayleyGroup().cayley_table(title=title, colormap=colormap, names=names, math_mode=math_mode)
+    def cayley_table(self, **kwargs):
+        return self.toCayleyGroup().cayley_table(**kwargs)
 
-    def cayley_graph(self, generators=None, title="", colormap=standard, names=None, edgenames=None, math_mode=True, node_size=1000):
-        return self.toCayleyGroup.cayley_graph(generators=generators, title=title, colormap=colormap, names=names, edgenames=edgenames, math_mode=math_mode, node_size=node_size)
+    def cayley_graph(self, **kwargs):
+        return self.toCayleyGroup().cayley_graph(**kwargs)
 
     #–> SUBGROUPS 
 
@@ -336,6 +336,9 @@ class ExplicitGroup(Group):
 
     def is_solvable(self):
         return len(self.derived_series()[-1]) == 1
+
+    def hasse_diagram(self):
+        self.toCayleyGroup().hasse_diagram()
     
     #–> AUTOMORPHISMS 
 
@@ -366,6 +369,9 @@ class ExplicitGroup(Group):
         sub_indices = _subgroup_generated_by(cayley_grp.cayley, subset_indices)
         return len(sub_indices) == len(self)
 
+    def rank(self):
+        return len(self.generators())
+
     #-> ISOMORPHISMS
 
     def is_isomorphic_to(self, target):
@@ -885,10 +891,6 @@ class CayleyGroup(Group):
         #nx.draw_networkx_edges(gr,pos,arrows=False)
         plt.show()
 
-
-
-
-
     #–> AUTOMORPHISMS 
 
     def is_automorphism(self, phi):
@@ -1020,6 +1022,9 @@ class CayleyGroup(Group):
         sub_indices = _subgroup_generated_by(self.cayley, subset_indices)
         return len(sub_indices) == self.order()
 
+    def rank(self):
+        return len(self.generators())
+
     #-> ISOMORPHISMS
 
     def is_isomorphic_to(self, target):         #Revisar, pues es demasiado grande y algo puede salir mal
@@ -1138,6 +1143,17 @@ class ExplicitSubgroup(ExplicitGroup, Subgroup):
     def __lt__(self, group):
         return group == self.group and self.subgroup.order() < self.group.order()
 
+    #-> GRAPHS
+
+    def cayley_table(self, **kwargs):
+        return self.subgroup.cayley_table(**kwargs)
+
+    def cayley_graph(self, **kwargs):
+        return self.subgroup.cayley_graph(**kwargs)
+
+    def hasse_diagram(self, **kwargs):
+        return self.subgroup.hasse_diagram(**kwargs)
+
     #–> QUOTIENTS & COSETS
 
     def coset(self, element, side="left", return_names=True):
@@ -1269,6 +1285,17 @@ class CayleySubgroup(CayleyGroup, Subgroup):
 
         return True
 
+    #-> GRAPHS
+
+    def cayley_table(self, **kwargs):
+        return self.subgroup.cayley_table(**kwargs)
+
+    def cayley_graph(self, **kwargs):
+        return self.subgroup.cayley_graph(**kwargs)
+
+    def hasse_diagram(self, **kwargs):
+        return self.subgroup.hasse_diagram(**kwargs)
+
     #–> QUOTIENTS 
 
     def coset(self, element, side="left", return_names=True):
@@ -1435,12 +1462,6 @@ class AutomorphismFunction:
 
 #################### HIDDEN FUNCTIONS ####################
 
-def _obtener_nombre(var_obj):
-    for nombre, valor in globals().items():
-        if valor is var_obj:
-            return nombre
-    return None
-
 def _is_closed(tabla):
     n = len(tabla)
     E = _get_elements(tabla)
@@ -1581,24 +1602,6 @@ def _check_explicit_group(elements: list, operation) -> tuple[bool, str]:
 
     return True, "Valid Group"
 
-def _identity(G):
-    neutro = None
-    for e in range(len(G)):
-        ok = True
-        for a in range(len(G)):
-            if G[e][a] != a:
-                ok = False
-                break
-            if G[a][e] != a:
-                ok = False
-                break
-        if ok:
-            neutro = e
-            break
-    if neutro is None:
-        return (False,"IndentityError – no identity element found")
-    return neutro
-
 def _subset(G, elements):
     return [[G[r][c] for c in elements] for r in elements]
 
@@ -1726,24 +1729,6 @@ def _subgroup_generated_by(cayley, generators_indices):
                 
     return sorted(list(generated))
 
-def _order_preserving_permutations(orders):
-
-    classes = {}
-
-    for i, order in enumerate(orders):
-        classes.setdefault(order, []).append(i)
-
-    classes = list(classes.values())
-
-    for perms in product(*(permutations(c) for c in classes)):
-        result = list(range(len(orders)))
-
-        for domain, image in zip(classes, perms):
-            for x, y in zip(domain, image):
-                result[x] = y
-
-        yield tuple(result)
-
 
 #################### PRODUCTS ####################
 
@@ -2010,53 +1995,7 @@ def icosahedral_group():
     return CayleyGroup((alternating_group(5) * cyclic_group(2)).cayley,_skip_validation=True)
 
 
-#################### VISUALIZATION AND RENAMING HELPERS ####################
-
-def cayley_table(G, title="", colormap=rainbow, names="", renaming=[], math_mode=True):
-
-    if title=="":
-        if _obtener_nombre(G)==None:
-            title = f"Cayley table"
-        else:
-            title = f"Cayley table of {_obtener_nombre(G)}"
-    if names=="":
-        if len(G)<=20:
-            names=True
-        else:
-            names=False
-    if renaming==[]:
-        if math_mode:
-            renaming = [rf"${e}$" for e in range(len(G))]
-        else:
-            renaming = [rf"{e}" for e in range(len(G))]
-
-    elements = range(len(G))
-    fig, ax = plt.subplots(figsize=(6, 5))
-    im = ax.imshow(G, cmap=colormap)
-    ax.set_xticks(np.arange(len(elements)))
-    ax.set_yticks(np.arange(len(elements)))
-    ax.set_xticklabels(renaming)
-    ax.set_yticklabels(renaming)
-
-    ax.xaxis.tick_top()
-    
-    if names:
-        for i in range(len(elements)):
-            for j in range(len(elements)):
-                color_texto = "black"
-                ax.text(
-                    i,
-                    j,
-                    f"{renaming[G[j][i]]}",
-                    ha="center",
-                    va="center",
-                    color=color_texto,
-                    fontsize=12,
-                )
-    
-    plt.title(title)
-    plt.tight_layout()
-    plt.show()
+#################### RENAMING HELPERS ####################
 
 def _renaming_C(n):
     r = []

{groupsmath-0.7.2 → groupsmath-1.0.0}/groupsmath/presentations.py

@@ -555,4 +555,4 @@ class PresentedGroup(Group):
 
 
     def __repr__(self):
-        return self.__str__()
+        return self.__str__()

{groupsmath-0.7.2 → groupsmath-1.0.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "GroupsMath"            # Nombre en PyPI 
-version = "0.7.2"
+version = "1.0.0"
 description = "The educational Python library for Group Theory"
 readme = "README.md"                  # Esta será la documentación visible en la portada de PyPI
 requires-python = ">=3.8"