math-spec-mapping 0.1.2__py3-none-any.whl → 0.1.3__py3-none-any.whl

Classes/Space.py

@@ -0,0 +1,7 @@
+from typing import Dict
+
+
+class Space:
+    def __init__(self, data: Dict):
+        self.name = data["name"]
+        self.schema = data["schema"]

Classes/__init__.py

@@ -8,4 +8,5 @@ from .Parameter import Parameter, ParameterSet, ParameterContainer
 from .Policy import Policy, PolicyOption
 from .StateUpdateTransmissionChannel import StateUpdateTransmissionChannel
 from .StatefulMetric import StatefulMetric, StatefulMetricSet
-from .ControlAction import ControlAction, ControlActionOption
+from .ControlAction import ControlAction, ControlActionOption
+from .Space import Space

Load/action_transmission_channel.py

@@ -3,7 +3,9 @@ from ..Classes import ActionTransmissionChannel
 from .general import check_json_keys
 
 
-def convert_action_transmission_channel(data: Dict, ms: Dict) -> ActionTransmissionChannel:
+def convert_action_transmission_channel(
+    data: Dict, ms: Dict
+) -> ActionTransmissionChannel:
     """Function to convert dictionary to action transmission channel
 
     Args:
@@ -20,6 +22,8 @@ def convert_action_transmission_channel(data: Dict, ms: Dict) -> ActionTransmiss
     # Copy
     data = data.copy()
 
+    data["space"] = ms["Spaces"][data["space"]]
+
     # Assert that the origin is in the math spec and only once then convert
     origin = data["origin"]
     is_boundary = origin in ms["Boundary Actions"]
@@ -46,10 +50,8 @@ def convert_action_transmission_channel(data: Dict, ms: Dict) -> ActionTransmiss
         data["target"] = ms["Mechanisms"][target]
 
     # Add in called by and called here with origin and target
-    data["origin"].calls.append(
-        (data["target"], data["optional"], data["space"]))
-    data["target"].called_by.append(
-        (data["origin"], data["optional"],  data["space"]))
+    data["origin"].calls.append((data["target"], data["optional"], data["space"]))
+    data["target"].called_by.append((data["origin"], data["optional"], data["space"]))
 
     # Build the action transmission channel object
     return ActionTransmissionChannel(data)

Load/boundary_actions.py

@@ -30,10 +30,13 @@ def convert_boundary_action(data: Dict, ms: Dict) -> BoundaryAction:
     # Assert that the entities in called_by are in math spec
     if data["called_by"]:
         for name in data["called_by"]:
-            assert name in ms["Entities"], "{} entity not in entities dictionary".format(
-                name)
+            assert (
+                name in ms["Entities"]
+            ), "{} entity not in entities dictionary".format(name)
         data["called_by"] = [ms["Entities"][x] for x in data["called_by"]]
 
+    data["codomain"] = (ms["Spaces"][x] for x in data["codomain"])
+
     # Build the boundary action object
     return BoundaryAction(data)
 
@@ -49,6 +52,7 @@ def load_boundary_actions(ms: Dict, json: Dict) -> None:
     ms["Boundary Actions"] = {}
     for key in json["Boundary Actions"]:
         ms["Boundary Actions"][key] = convert_boundary_action(
-            json["Boundary Actions"][key], ms)
+            json["Boundary Actions"][key], ms
+        )
         for entity in ms["Boundary Actions"][key].called_by:
             entity.add_boundary_action(ms["Boundary Actions"][key])

Load/control_actions.py

@@ -27,6 +27,8 @@ def convert_control_action(data: Dict, ms: Dict) -> ControlAction:
         new_cao.append(ControlActionOption(ca))
     data["control_action_options"] = new_cao
 
+    data["codomain"] = (ms["Spaces"][x] for x in data["codomain"])
+
     # Build the control action object
     return ControlAction(data)
 
@@ -42,4 +44,5 @@ def load_control_actions(ms: Dict, json: Dict) -> None:
     ms["Control Actions"] = {}
     for key in json["Control Actions"]:
         ms["Control Actions"][key] = convert_control_action(
-            json["Control Actions"][key], ms)
+            json["Control Actions"][key], ms
+        )

Load/general.py

@@ -98,6 +98,7 @@ def check_json_keys(json: Dict, check_set_key: str) -> None:
             "domain",
             "parameter_class",
         ],
+        "Space": ["name", "schema"],
     }
 
     check_set = check_sets[check_set_key]

Load/load.py

@@ -30,6 +30,7 @@ def load_from_json(json: Dict) -> MathSpec:
     ms = {}
 
     # Do loading one by one to transfer the json
+    load_spaces(ms, json)
     load_states(ms, json)
     load_entities(ms, json)
     load_boundary_actions(ms, json)
@@ -37,7 +38,6 @@ def load_from_json(json: Dict) -> MathSpec:
     load_mechanisms(ms, json)
     load_parameters(ms, json)
     load_policies(ms, json)
-    load_spaces(ms, json)
     load_stateful_metrics(ms, json)
     load_action_transmission_channels(ms, json)
     load_state_update_transmission_channels(ms, json)

Load/mechanism.py

@@ -3,7 +3,7 @@ from ..Classes import Mechanism
 from .general import check_json_keys
 
 
-def convert_mechanism(data: Dict) -> Mechanism:
+def convert_mechanism(data: Dict, ms: Dict) -> Mechanism:
     """Function to convert dictionary to mechanism object
 
     Args:
@@ -19,6 +19,8 @@ def convert_mechanism(data: Dict) -> Mechanism:
     # Copy
     data = data.copy()
 
+    data["domain"] = (ms["Spaces"][x] for x in data["domain"])
+
     # Build the action transmission channel object
     return Mechanism(data)
 
@@ -33,4 +35,4 @@ def load_mechanisms(ms: Dict, json: Dict) -> None:
 
     ms["Mechanisms"] = {}
     for key in json["Mechanisms"]:
-        ms["Mechanisms"][key] = convert_mechanism(json["Mechanisms"][key])
+        ms["Mechanisms"][key] = convert_mechanism(json["Mechanisms"][key], ms)

Load/policy.py

@@ -25,7 +25,7 @@ def convert_policy_options(data: Dict) -> PolicyOption:
     return PolicyOption(data)
 
 
-def convert_policy(data: Dict) -> Policy:
+def convert_policy(data: Dict, ms: Dict) -> Policy:
     """Function to convert dictionary to policy object
 
     Args:
@@ -47,6 +47,9 @@ def convert_policy(data: Dict) -> Policy:
         policy_options.append(convert_policy_options(po))
     data["policy_options"] = policy_options
 
+    data["codomain"] = (ms["Spaces"][x] for x in data["codomain"])
+    data["domain"] = (ms["Spaces"][x] for x in data["domain"])
+
     # Build the policy object
     return Policy(data)
 
@@ -61,4 +64,4 @@ def load_policies(ms: Dict, json: Dict) -> None:
 
     ms["Policies"] = {}
     for key in json["Policies"]:
-        ms["Policies"][key] = convert_policy(json["Policies"][key])
+        ms["Policies"][key] = convert_policy(json["Policies"][key], ms)

Load/spaces.py

@@ -1,4 +1,17 @@
 from typing import Dict
+from ..Classes import Space
+from .general import check_json_keys
+
+
+def convert_space(data: Dict) -> Space:
+    # Check the keys are correct
+    check_json_keys(data, "Space")
+
+    # Copy
+    data = data.copy()
+
+    # Build the space object
+    return Space(data)
 
 
 def load_spaces(ms: Dict, json: Dict) -> None:
@@ -10,4 +23,7 @@ def load_spaces(ms: Dict, json: Dict) -> None:
     """
 
     # Placeholder for now
-    ms["Spaces"] = json["Spaces"]
+    ms["Spaces"] = {}
+
+    for space in json["Spaces"]:
+        ms["Spaces"][space["name"]] = convert_space(space)

Reports/html.py

@@ -54,7 +54,7 @@ def write_action_chain_reports(
         out += "<h2>State</h2>"
         out += write_local_state_variable_tables(all_nodes["State"])
 
-        out += write_out_spaces(ms, [x.__name__ for x in all_nodes["Spaces"]])
+        out += write_out_spaces(ms, [x.name for x in all_nodes["Spaces"]])
         out += write_out_boundary_actions(
             ms, [x.name for x in all_nodes["Boundary Actions"]]
         )
@@ -93,7 +93,7 @@ def write_entity_reports(ms: MathSpec, directory: str, entities: List[str]) -> N
         out += "<h2>State</h2>"
         out += write_local_state_variable_tables(all_nodes["State"])
 
-        out += write_out_spaces(ms, [x.__name__ for x in all_nodes["Spaces"]])
+        out += write_out_spaces(ms, [x.name for x in all_nodes["Spaces"]])
         out += write_out_boundary_actions(
             ms, [x.name for x in all_nodes["Boundary Actions"]]
         )

Reports/mechanisms.py

@@ -15,25 +15,25 @@ def write_out_mechanism(mechanism: Mechanism) -> str:
     for i, x in enumerate(mechanism.called_by):
         x = x[0]
         out += "<p>"
-        out += "{}. {}".format(i+1, x.name)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>Domain Spaces:</h4>\n"
     for i, x in enumerate(mechanism.domain):
         out += "<p>"
-        out += "{}. {}".format(i+1, x.__name__)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>State Updates:</h4>\n"
     for i, x in enumerate(mechanism.updates):
         out += "<p>"
-        out += "{}. {}.{}".format(i+1, x[0].name, x[1].name)
+        out += "{}. {}.{}".format(i + 1, x[0].name, x[1].name)
         out += "</p>"
 
     out += "<h4>Constraints:</h4>\n"
     for i, x in enumerate(mechanism.constraints):
         out += "<p>"
-        out += "{}. {}\n".format(i+1, x)
+        out += "{}. {}\n".format(i + 1, x)
         out += "</p>"
 
     out += "<h4>Logic:</h4>\n"

Reports/node_map.py

@@ -12,24 +12,19 @@ def create_action_chains_graph(ms, action_keys, name):
         graph.node(entity.name, entity.label, shape="cylinder", color="black")
 
     for ba in all_nodes["Boundary Actions"]:
-        graph.node(ba.name, ba.label, shape="diamond",
-                   color="orange", style='filled')
-    
+        graph.node(ba.name, ba.label, shape="diamond", color="orange", style="filled")
+
     for ca in all_nodes["Control Actions"]:
-        graph.node(ca.name, ca.label, shape="diamond",
-                   color="yellow", style='filled')
+        graph.node(ca.name, ca.label, shape="diamond", color="yellow", style="filled")
 
     for p in all_nodes["Policies"]:
-        graph.node(p.name, p.label, shape="rectangle",
-                   color="red", style='filled')
+        graph.node(p.name, p.label, shape="rectangle", color="red", style="filled")
 
     for m in all_nodes["Mechanisms"]:
-        graph.node(m.name, m.label, shape="oval",
-                   color="azure2", style='filled')
+        graph.node(m.name, m.label, shape="oval", color="azure2", style="filled")
 
     for entity in all_nodes["Entities2"]:
-        graph.node(entity.name+"_2", entity.label,
-                   shape="cylinder", color="black")
+        graph.node(entity.name + "_2", entity.label, shape="cylinder", color="black")
 
     for su in all_nodes["State Updates"]:
         label = "{}.{}".format(su[0].name, su[1].name)
@@ -41,7 +36,7 @@ def create_action_chains_graph(ms, action_keys, name):
             graph.edge(entity.name, ba.name)
         for call in ba.calls:
             optional_flag = call[1]
-            space = call[2].__name__
+            space = call[2].name
             space = wrap(space, 12)
             space = "\n".join(space)
             call = call[0]
@@ -50,7 +45,7 @@ def create_action_chains_graph(ms, action_keys, name):
     for ca in all_nodes["Control Actions"]:
         for call in ca.calls:
             optional_flag = call[1]
-            space = call[2].__name__
+            space = call[2].name
             space = wrap(space, 12)
             space = "\n".join(space)
             call = call[0]
@@ -58,15 +53,14 @@ def create_action_chains_graph(ms, action_keys, name):
 
     for p in all_nodes["Policies"]:
         for call in p.calls:
-            space = call[2].__name__
+            space = call[2].name
             space = wrap(space, 12)
             space = "\n".join(space)
-            #space = "\n".join(space.split(" "))
+            # space = "\n".join(space.split(" "))
             optional_flag = call[1]
             call = call[0]
             if optional_flag:
-                graph.edge(p.name, call.name, style="dashed",
-                           label=space)
+                graph.edge(p.name, call.name, style="dashed", label=space)
             else:
                 graph.edge(p.name, call.name, label=space)
 
@@ -78,7 +72,7 @@ def create_action_chains_graph(ms, action_keys, name):
 
     for su in all_nodes["State Updates"]:
         label1 = "{}.{}".format(su[0].name, su[1].name)
-        label2 = su[0].name+"_2"
+        label2 = su[0].name + "_2"
         graph.edge(label1, label2)
 
     return graph

Reports/policies.py

@@ -15,39 +15,39 @@ def write_out_policy(policy: Policy) -> str:
     for i, x in enumerate(policy.called_by):
         x = x[0]
         out += "<p>"
-        out += "{}. {}".format(i+1, x.name)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>Domain Spaces:</h4>\n"
     for i, x in enumerate(policy.domain):
         out += "<p>"
-        out += "{}. {}".format(i+1, x.__name__)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>Followed By:</h4>\n"
     for i, x in enumerate(policy.calls):
         x = x[0]
         out += "<p>"
-        out += "{}. {}".format(i+1, x.name)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>Codomain Spaces:</h4>\n"
     for i, x in enumerate(policy.codomain):
         out += "<p>"
-        out += "{}. {}".format(i+1, x.__name__)
+        out += "{}. {}".format(i + 1, x.name)
         out += "</p>"
 
     out += "<h4>Constraints:</h4>\n"
     for i, x in enumerate(policy.constraints):
         out += "<p>"
-        out += "{}. {}\n".format(i+1, x)
+        out += "{}. {}\n".format(i + 1, x)
         out += "</p>"
 
     if policy.policy_options:
         out += "<h4>Policy Options:</h4>\n"
         for i, x in enumerate(policy.policy_options):
             out += "<details>"
-            out += "<summary><b>{}. {}</b></summary>".format(i+1, x.name)
+            out += "<summary><b>{}. {}</b></summary>".format(i + 1, x.name)
             out += "<p>"
             out += x.description
             out += "</p>"

Reports/spaces.py

@@ -5,11 +5,13 @@ from typing import List, TypedDict
 def write_out_space(space: TypedDict) -> str:
     out = ""
     out += "<h3>"
-    out += space.__name__
+    out += space.name
     out += "</h3>"
 
-    d = space.__annotations__
-    d = ",<br/>".join(["{}: {}".format(a, b.__name__) for a,b in zip(d.keys(), d.values())])
+    d = space.schema
+    d = ",<br/>".join(
+        ["{}: {}".format(a, b.__name__) for a, b in zip(d.keys(), d.values())]
+    )
     d = "{" + d + "}"
 
     out += "<p>"
@@ -24,4 +26,4 @@ def write_out_spaces(ms: MathSpec, spaces: List[str]) -> str:
     for name in spaces:
         out += write_out_space(ms.spaces[name])
 
-    return out
+    return out

Reports/state.py

@@ -9,14 +9,18 @@ def write_state_variable_table(target_state):
       </tr>"""
 
     for var in target_state.variables:
-        table_vars = [var.name, var.description,
-                      var.type.__name__, var.symbol, var.domain]
+        table_vars = [
+            var.name,
+            var.description,
+            var.type.__name__,
+            var.symbol,
+            var.domain,
+        ]
         table += "<tr>"
         for tv in table_vars:
             table += "<td>"
             if tv:
-                table += "{}".format(tv).replace("<",
-                                                 "&lt").replace(">", "&gt")
+                table += "{}".format(tv).replace("<", "&lt").replace(">", "&gt")
             table += "</td>"
 
         table += "</tr>"
@@ -31,4 +35,4 @@ def write_local_state_variable_tables(states):
     for state in states:
         out += "<h4>{}</h4>".format(state.name)
         out += write_state_variable_table(state)
-    return out
+    return out

{math_spec_mapping-0.1.2.dist-info → math_spec_mapping-0.1.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: math_spec_mapping
-Version: 0.1.2
+Version: 0.1.3
 Summary: A library for easy mapping of mathematical specifications.
 Author-email: Sean McOwen <Sean@Block.Science>
 Classifier: Programming Language :: Python :: 3

{math_spec_mapping-0.1.2.dist-info → math_spec_mapping-0.1.3.dist-info}/RECORD

@@ -8,23 +8,24 @@ Classes/MathSpec.py,sha256=Wpq20x76SeA8Z5uBhEhFc7-BcJ7qba49vTnH29gl5e8,9913
 Classes/Mechanism.py,sha256=-rmnOHNcxsRNS4pH9eMkRiZomx0ZcXI-Yednw6_JJfE,235
 Classes/Parameter.py,sha256=ZWHgXP1MyxjFH943ZU3tWkhw6YGqcBY4xTmnQDJ1cJo,1052
 Classes/Policy.py,sha256=7Mz0QmsEdZcgK9_wlMaeEoCEgtKC5E8koDGmdXHHyi4,391
+Classes/Space.py,sha256=-8e__ZkCvksoUD3QDEysJQnQSdl6cv8jGIUmO096A0s,145
 Classes/State.py,sha256=2JsI63lG_4K-f6QXMqFFoiu_0oFF0rbNQp-0ivb3uGE,1369
 Classes/StateUpdateTransmissionChannel.py,sha256=3hBLvD1lE64PkwqksBXAfFWv7foOZzGQLAFQWy42tOA,257
 Classes/StatefulMetric.py,sha256=r0d7mEE4yPJNQ-aQybLAiywcXo-K9AiwPvq2ILgmT-Y,667
-Classes/__init__.py,sha256=5OVPJospxxiUnDtjAosvpZPIJgTUhaypH1dPevi51Pk,567
+Classes/__init__.py,sha256=JirG2bLL_-yTac5Gd7lfazdVdgGSmEfs_zGILJorTDU,593
 Convenience/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 Convenience/starter.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 Load/__init__.py,sha256=_ga5nHi7U5rY5lCF36_XI9Qmybq4P8R4m5I5mmjLBk8,33
-Load/action_transmission_channel.py,sha256=GlfKKDUwUOZkDilD-pYskdixlEdWuLYyHivPTBTwJyE,2475
-Load/boundary_actions.py,sha256=z60bgdNKH93YsKXv79EC7L3uZvDEFeKZ6fAD4Q06TWE,1689
-Load/control_actions.py,sha256=rd1vTMQDVwn89z5Rj7-O_R18i-RPK376CCzwt7WdOq0,1225
+Load/action_transmission_channel.py,sha256=E_EPWJ44H5GKNDl0fwJhC9LksI7z6AAaV9dttjQcQD4,2511
+Load/boundary_actions.py,sha256=HokALnMEJd_upSZW_tTjqArHzwlbxR1_TYbwdJrYmus,1781
+Load/control_actions.py,sha256=xFJrC4kQw0mbYw9YwoVnj3fFhr2kEC5GefE8MCzEV9Y,1302
 Load/entities.py,sha256=mz1zx1KQZjGPI6KvDnA0HbMRT3ijmeYGpvF8MH6R118,1104
-Load/general.py,sha256=hLlEPbYXKFVyHwN-NnBEcRkHrZiIw-1GPjYzJDKZqSE,3324
-Load/load.py,sha256=RvtEfsswF7PGqN7qAdODz7Cu8P_Oo5T8idgPd_J8GGE,1487
-Load/mechanism.py,sha256=kJvhyXbmG8k1gNGfrC49_NHJs8xL3ZAa0dyYv4HH8zo,855
+Load/general.py,sha256=UBBzgeMehgJU8tRovdJuW2H38OmVoY0GZsGXVUlKM6c,3361
+Load/load.py,sha256=ZPWrztKBZ9P4vBogKSchi5KXnO6JKPecWvGUJTyAjIw,1487
+Load/mechanism.py,sha256=4QqpZ-DPOMJ9N03OSBUbgwJGVcU_YZZn8UyevLNWc8k,933
 Load/parameters.py,sha256=7QvNXvI2e5dEnW2KvwqtX_Pr-cnvz51WFa3aEbnqMLg,1060
-Load/policy.py,sha256=kMOniaavIKI_N2Jb8Oc5F9kKjSOHqSaFjDSqrpwpDMQ,1402
-Load/spaces.py,sha256=G1AJoHEPtWZpsLptnOx3zaV3CfG2xYrlalAy4s9Ev80,301
+Load/policy.py,sha256=J1w2GlOYUk4tsfZPexraHce2Op4tucJBI3Fhw7bXluU,1547
+Load/spaces.py,sha256=H93XwDjaXHjQQXnJLQ49sZMo2GgONdOSKJ5TtA3u1MA,645
 Load/state_update_transmission_channels.py,sha256=l6KnF_4eQwmhvpcuBjEIveNqeZVBQK861SUiOBAWHqA,2216
 Load/stateful_metrics.py,sha256=85zRqK2AuOmxgH9b7Lgha2v44ei3RVClnZ0I17WZ_hg,1160
 Load/states.py,sha256=A_4rBPFAnkuXzzMlv5wnGB5wsFVA-0RghqNp7XCgK8E,966
@@ -32,16 +33,16 @@ Reports/__init__.py,sha256=we5Qb7FIG4iSdkejnTw1H5vj_EdiCx7zMD9K3Xti888,389
 Reports/boundary_actions.py,sha256=45BPp4QjWdD-3E9ZWwqgj_nI2-YdcI2ZZ19_Qv_K7Qk,1410
 Reports/control_actions.py,sha256=NksekZKIPFSIkubttFstKFthc5AU9B9PWRLSl9j1wWs,1216
 Reports/general.py,sha256=WOOn6Wlb8M4fsdN49FlKLwOka6vJPQ9aCUy88TL2ki0,1610
-Reports/html.py,sha256=UkGS57pMPELwwjbUdPaZgy61qR7J25gNtD4ku0BL0HE,5984
-Reports/mechanisms.py,sha256=YhxeCp4vfJVizncxPwkXe8SoZ7UYqm3AaO5WQdXD0gE,1318
-Reports/node_map.py,sha256=8OtmAUgERCIxYDeHT_ieku7HQsDSvJwB1__vrPqkSCs,3262
+Reports/html.py,sha256=l13C03Jvl955vxtwoDtd9fuW2CEuNqNMO6H1PIuw7pA,5976
+Reports/mechanisms.py,sha256=d2Rxt3JBYvqAOAYUynl0buYVoXEHrO8EGq7GK6hK8NA,1322
+Reports/node_map.py,sha256=FdSMDQG16NX6n9sZcH-T5xwsvgjrV9OqBHc9J_VlNK0,3129
 Reports/parameters.py,sha256=kI0Nu-8i0P6eaQjpivC1WORzSjGnz2CqW7R0SKmf0ME,231
-Reports/policies.py,sha256=xE59j79HWjr0S7eIYkhJSdKVAqmQFcj5vD0UTWaKILc,1810
-Reports/spaces.py,sha256=iqmW4ONhq1XrFgstKvZ0XMa9f_hP-k2-1w00Sl6kLb8,580
-Reports/state.py,sha256=tMLOXE1rN2oBRdAhL0kFgd6sVNck4GK4qK64-uJWo6o,931
+Reports/policies.py,sha256=EuBzBsTM6QSS_GHFcAyhGgWvDDZwRuKe7Eos9nX13ho,1814
+Reports/spaces.py,sha256=hyy0TAM8vz986nexGtDKUrEksd9jPTZx47NQWiTfriY,583
+Reports/state.py,sha256=5jPrulJ2MIBto6qIWlapYG4c7YnOlYovV0_pYe2hCKg,932
 Reports/tables.py,sha256=O0CNuqh3LMECq5uLjBOoxMUk5hUvkUK660FNnwWUxDY,1505
-math_spec_mapping-0.1.2.dist-info/LICENSE,sha256=ObyEzSw8kgCaFbEfpu1zP4TrcAKLA0xhqHMZZfyh7N0,1069
-math_spec_mapping-0.1.2.dist-info/METADATA,sha256=DOiXApezbMI4VgFvw0xsxaTH2lLC45DL9bz51Xzy8-U,2484
-math_spec_mapping-0.1.2.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
-math_spec_mapping-0.1.2.dist-info/top_level.txt,sha256=VPXI_45FlWgal53yjpbpWhksTVaFU3h8Soro9cmmcxc,42
-math_spec_mapping-0.1.2.dist-info/RECORD,,
+math_spec_mapping-0.1.3.dist-info/LICENSE,sha256=ObyEzSw8kgCaFbEfpu1zP4TrcAKLA0xhqHMZZfyh7N0,1069
+math_spec_mapping-0.1.3.dist-info/METADATA,sha256=p4kqmwfp-Inz9XCUG9p_3dVsu0bhgpovewCckam5SQA,2484
+math_spec_mapping-0.1.3.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
+math_spec_mapping-0.1.3.dist-info/top_level.txt,sha256=VPXI_45FlWgal53yjpbpWhksTVaFU3h8Soro9cmmcxc,42
+math_spec_mapping-0.1.3.dist-info/RECORD,,