diff --git a/src/axiomatic/axtract.py b/src/axiomatic/axtract.py
index 11c6d5b..c3f21b9 100644
--- a/src/axiomatic/axtract.py
+++ b/src/axiomatic/axtract.py
@@ -7,7 +7,6 @@
import re
from dataclasses import dataclass, asdict
-
@dataclass
class RequirementUserInput:
requirement_name: str
@@ -411,139 +410,6 @@ def save_requirements(_):
return result
-def display_results(equations_dict):
- """Display equation validation results in a clear, organized format."""
- results = equations_dict.get("results", {})
-
- # Helper function to convert Eq(LHS,RHS) to LHS=RHS format
- def format_equation(latex_eq):
- # Remove 'Eq(' from start and ')' from end
- inner = latex_eq[3:-1]
- # Split by comma and join with equals sign
- lhs, rhs = inner.split(',', 1)
- return f"{lhs} = {rhs}"
-
- # Split results into matching and non-matching equations
- matching = []
- non_matching = []
-
- for key, value in results.items():
- equation_data = {
- 'latex': format_equation(value.get('latex_equation')),
- 'lhs': value.get('lhs'),
- 'rhs': value.get('rhs'),
- 'diff': abs(value.get('lhs', 0) - value.get('rhs', 0)),
- 'percent_diff': abs(value.get('lhs', 0) - value.get('rhs', 0)) / max(abs(value.get('rhs', 0)), 1e-10) * 100
- }
- if value.get('match'):
- matching.append(equation_data)
- else:
- non_matching.append(equation_data)
-
- # Display summary header
- total = len(results)
- display(HTML(
- f'Equation Validation Summary
'
- f'Total equations checked: {total}
'
- f'✅ Matching equations: {len(matching)}
'
- f'❌ Non-matching equations: {len(non_matching)}
'
- ))
-
- # Display non-matching equations first (if any)
- if non_matching:
- display(HTML(
- ''
- '
⚠️ Equations Not Satisfied:
'
- ))
-
- for eq in non_matching:
- display(Math(eq['latex']))
- display(HTML(
- f'
'
- f'Left side = {eq["lhs"]:.6g}
'
- f'Right side = {eq["rhs"]:.6g}
'
- f'Difference = {eq["diff"]:.6g}
'
- f'Percent difference = {eq["percent_diff"]:.2f}%'
- '
'
- ))
-
- display(HTML('
'
- '
✅ Satisfied Equations:
'
- ))
-
- for eq in matching:
- display(Math(eq['latex']))
- display(HTML(
- f'
'
- f'Value = {eq["lhs"]:.6g}'
- '
'
- ))
-
- display(HTML('
Equation Validation Analysis
Total equations analyzed: 5
✅ Matching equations: 2
❌ Non-matching equations: 3
⚠️ Equations Not Satisfied
"
+ ],
+ "text/plain": [
+ "
"
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/latex": [
+ "$\\displaystyle \\text{GSD}_p = (h_{alt}*p_p)/f$"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "Left side = 0.6
Right side = 1212.35
Absolute difference = 1211.75
Relative difference = 99.95%
"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/latex": [
+ "$\\displaystyle \\text{Swath} = 2*h_{alt}*tan(\\text{HFOV})$"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "Left side = 0
Right side = 2044.76
Absolute difference = 2044.76
Relative difference = 100.00%
"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/latex": [
+ "$\\displaystyle \\text{GSD}_{ms} = (h_{alt}*p_{ms})/f$"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "Left side = 0.9
Right side = 0.0018012
Absolute difference = 0.898199
Relative difference = 49866.56%
"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "✅ Satisfied Equations
"
+ ],
+ "text/plain": [
+ "
"
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/latex": [
+ "$\\displaystyle r_p = 2*\\text{GSD}_p$"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "Value = 1.2
"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/latex": [
+ "$\\displaystyle r_{ms} = 2*\\text{GSD}_{ms}$"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "Value = 1.8
"
+ ],
+ "text/plain": [
+ ""
+ ]
+ },
+ "metadata": {},
+ "output_type": "display_data"
+ },
+ {
+ "data": {
+ "text/html": [
+ "🔍 Equation Relationship Analysis
The following graph shows how variables are connected through equations: