Merge branch 'main' into errors_fixed

Author: tymekaxai

.DS_Store

@@ -4,9 +4,4 @@ src/axiomatic/client.py
 src/axiomatic/document_helpers.py
 src/axiomatic/magic.py
 src/axiomatic/pic_helpers.py
-src/axiomatic/axtract/axtract_report.py
-src/axiomatic/axtract/__init__.py
-src/axiomatic/axtract/interactive_table.py
-src/axiomatic/axtract/models.py
-src/axiomatic/axtract/relation_graph.py
-src/axiomatic/axtract/validation_result.py
+src/axiomatic/axtract/

.fernignore

@@ -3,7 +3,7 @@ name = "axiomatic"
 
 [tool.poetry]
 name = "axiomatic"
-version = "0.0.100"
+version = "0.0.109"
 description = ""
 readme = "README.md"
 authors = []
@@ -35,7 +35,10 @@ Repository = 'https://github.com/axiomatic-ai/axiomatic-python-sdk'
 
 [tool.poetry.dependencies]
 python = "^3.8"
+dill = ">=0.3.4"
+fastjsonschema = ">=2.21.1"
 httpx = ">=0.21.2"
+hypernetx = ">=2.0.0"
 ipywidgets = ">=7.0.0"
 pydantic = ">= 1.9.2"
 pydantic-core = "^2.18.2"

poetry.lock

@@ -1,4 +1,7 @@
+dill>=0.3.4
+fastjsonschema>=2.21.1
 httpx>=0.21.2
+hypernetx>=2.0.0
 ipywidgets>=7.0.0
 pydantic>= 1.9.2
 pydantic-core==^2.18.2

pyproject.toml

@@ -56,7 +56,6 @@
     PlotParserOutput,
     RefineCodeResponse,
     RefineComponentCodeResponse,
-    ResponseEquation,
     ScheduleJobResponse,
     SolutionResponse,
     SolutionResponseSolutionValue,
@@ -84,16 +83,7 @@
     Z3Expression,
 )
 from .errors import UnprocessableEntityError
-from . import (
-    code_execution,
-    document,
-    formalization,
-    fso,
-    lean,
-    pic,
-    requirements,
-    tools,
-)
+from . import code_execution, document, formalization, fso, lean, pic, requirements, tools
 from .client import AsyncAxiomatic, Axiomatic
 from .environment import AxiomaticEnvironment
 from .version import __version__
@@ -157,7 +147,6 @@
     "PlotParserOutput",
     "RefineCodeResponse",
     "RefineComponentCodeResponse",
-    "ResponseEquation",
     "ScheduleJobResponse",
     "SolutionResponse",
     "SolutionResponseSolutionValue",

requirements.txt

@@ -1,5 +1,5 @@
 from .relation_graph import generate_relation_graph
-from .models import EquationExtractionResponse
+from .. import EquationExtractionResponse
 import os
 import re
 
@@ -248,7 +248,7 @@ def create_report(report_data: EquationExtractionResponse, report_path: str = ".
             html_content += f"""
                         <tr>
                             <td>\\({symbol.key}\\)</td>
-                            <td>{symbol.value}</td>
+                            <td>{symbol.key}</td>
                         </tr>
             """
 

src/.DS_Store

@@ -2,8 +2,7 @@
 from IPython.display import display  # type: ignore
 import json  # type: ignore
 import os  # type: ignore
-from .axtract_report import EquationExtractionResponse
-from .models import VariableRequirement
+from .. import EquationExtractionResponse, VariableRequirement
 
 
 def _find_symbol(name, variable_dict):
@@ -410,6 +409,6 @@ def _create_variable_dict(equation_response: EquationExtractionResponse) -> dict
         for symbol in equation.latex_symbols:
             # Only add if not already present (avoid duplicates)
             if symbol.key not in variable_dict:
-                variable_dict[symbol.key] = {"name": symbol.value}
+                variable_dict[symbol.key] = {"name": symbol.key}
 
     return variable_dict