Skip to content

Commit 110aa76

Browse files
fern-api[bot]fern-api[bot]
committed
Release 0.0.87
1 parent a88e03f commit 110aa76

25 files changed

+807
-22
lines changed

‎pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name = "axiomatic"
33

44
[tool.poetry]
55
name = "axiomatic"
6-
version = "0.0.86"
6+
version = "0.0.87"
77
description = ""
88
readme = "README.md"
99
authors = []

‎reference.md‎

Lines changed: 220 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1035,11 +1035,151 @@ client.tools.list()
10351035
</dl>
10361036

10371037

1038+
</dd>
1039+
</dl>
1040+
</details>
1041+
1042+
## EquationValidation
1043+
<details><summary><code>client.equation_validation.<a href="src/axiomatic/equation_validation/client.py">validate_equations</a>(...)</code></summary>
1044+
<dl>
1045+
<dd>
1046+
1047+
#### 📝 Description
1048+
1049+
<dl>
1050+
<dd>
1051+
1052+
<dl>
1053+
<dd>
1054+
1055+
Validates a set of variables against stored equations to check for inconsistencies.
1056+
Returns validation results for each relevant equation.
1057+
</dd>
1058+
</dl>
1059+
</dd>
1060+
</dl>
1061+
1062+
#### 🔌 Usage
1063+
1064+
<dl>
1065+
<dd>
1066+
1067+
<dl>
1068+
<dd>
1069+
1070+
```python
1071+
from axiomatic import Axiomatic, VariableRequirement
1072+
1073+
client = Axiomatic(
1074+
api_key="YOUR_API_KEY",
1075+
)
1076+
client.equation_validation.validate_equations(
1077+
request=[
1078+
VariableRequirement(
1079+
symbol="symbol",
1080+
name="name",
1081+
value=1.1,
1082+
units="units",
1083+
tolerance=1.1,
1084+
)
1085+
],
1086+
)
1087+
1088+
```
1089+
</dd>
1090+
</dl>
1091+
</dd>
1092+
</dl>
1093+
1094+
#### ⚙️ Parameters
1095+
1096+
<dl>
1097+
<dd>
1098+
1099+
<dl>
1100+
<dd>
1101+
1102+
**request:** `typing.Sequence[VariableRequirement]`
1103+
1104+
</dd>
1105+
</dl>
1106+
1107+
<dl>
1108+
<dd>
1109+
1110+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
1111+
1112+
</dd>
1113+
</dl>
1114+
</dd>
1115+
</dl>
1116+
1117+
10381118
</dd>
10391119
</dl>
10401120
</details>
10411121

10421122
## EquationProcessing
1123+
<details><summary><code>client.equation_processing.<a href="src/axiomatic/equation_processing/client.py">get_all_variables</a>()</code></summary>
1124+
<dl>
1125+
<dd>
1126+
1127+
#### 📝 Description
1128+
1129+
<dl>
1130+
<dd>
1131+
1132+
<dl>
1133+
<dd>
1134+
1135+
Get all avail. vars to allow user choose requirements
1136+
</dd>
1137+
</dl>
1138+
</dd>
1139+
</dl>
1140+
1141+
#### 🔌 Usage
1142+
1143+
<dl>
1144+
<dd>
1145+
1146+
<dl>
1147+
<dd>
1148+
1149+
```python
1150+
from axiomatic import Axiomatic
1151+
1152+
client = Axiomatic(
1153+
api_key="YOUR_API_KEY",
1154+
)
1155+
client.equation_processing.get_all_variables()
1156+
1157+
```
1158+
</dd>
1159+
</dl>
1160+
</dd>
1161+
</dl>
1162+
1163+
#### ⚙️ Parameters
1164+
1165+
<dl>
1166+
<dd>
1167+
1168+
<dl>
1169+
<dd>
1170+
1171+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
1172+
1173+
</dd>
1174+
</dl>
1175+
</dd>
1176+
</dl>
1177+
1178+
1179+
</dd>
1180+
</dl>
1181+
</details>
1182+
10431183
<details><summary><code>client.equation_processing.<a href="src/axiomatic/equation_processing/client.py">extract_from_document</a>(...)</code></summary>
10441184
<dl>
10451185
<dd>
@@ -1793,6 +1933,86 @@ client.pic.circuit.formalize(
17931933
<dl>
17941934
<dd>
17951935

1936+
**pdk:** `typing.Optional[PdkType]`
1937+
1938+
</dd>
1939+
</dl>
1940+
1941+
<dl>
1942+
<dd>
1943+
1944+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
1945+
1946+
</dd>
1947+
</dl>
1948+
</dd>
1949+
</dl>
1950+
1951+
1952+
</dd>
1953+
</dl>
1954+
</details>
1955+
1956+
<details><summary><code>client.pic.circuit.<a href="src/axiomatic/pic/circuit/client.py">informalize</a>(...)</code></summary>
1957+
<dl>
1958+
<dd>
1959+
1960+
#### 📝 Description
1961+
1962+
<dl>
1963+
<dd>
1964+
1965+
<dl>
1966+
<dd>
1967+
1968+
Informalize a formal statement about a circuit into a natural language text.
1969+
</dd>
1970+
</dl>
1971+
</dd>
1972+
</dl>
1973+
1974+
#### 🔌 Usage
1975+
1976+
<dl>
1977+
<dd>
1978+
1979+
<dl>
1980+
<dd>
1981+
1982+
```python
1983+
from axiomatic import Axiomatic, ParameterConstraint
1984+
1985+
client = Axiomatic(
1986+
api_key="YOUR_API_KEY",
1987+
)
1988+
client.pic.circuit.informalize(
1989+
statement=ParameterConstraint(
1990+
text="text",
1991+
),
1992+
)
1993+
1994+
```
1995+
</dd>
1996+
</dl>
1997+
</dd>
1998+
</dl>
1999+
2000+
#### ⚙️ Parameters
2001+
2002+
<dl>
2003+
<dd>
2004+
2005+
<dl>
2006+
<dd>
2007+
2008+
**statement:** `Statement`
2009+
2010+
</dd>
2011+
</dl>
2012+
2013+
<dl>
2014+
<dd>
2015+
17962016
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
17972017

17982018
</dd>

‎src/axiomatic/__init__.py‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,10 @@
1111
CreateApiKeyrequest,
1212
CreateUserRequest,
1313
CreateUserResponse,
14+
DictItem,
1415
EquationExtraction,
1516
EquationExtractionResponse,
17+
EquationValidationResult,
1618
ExecuteCodeResponse,
1719
ExtractConstantsResponse,
1820
ExtractTextResponse,
@@ -29,6 +31,7 @@
2931
GetSpectrumResponse,
3032
GetSpectrumResponseSpectrumItem,
3133
HttpValidationError,
34+
InformalizeStatementResponse,
3235
InteractiveResponse,
3336
Net,
3437
Netlist,
@@ -56,6 +59,7 @@
5659
SolutionResponseSolutionValue,
5760
Spectrum,
5861
StatementDictionary,
62+
StatementType,
5963
StatementValidation,
6064
StatementValidationDictionary,
6165
StatusResponse,
@@ -71,6 +75,7 @@
7175
ValidateResponse,
7276
ValidationError,
7377
ValidationErrorLocItem,
78+
VariableRequirement,
7479
VerifyCircuitCodeResponse,
7580
VerifyResponse,
7681
Z3Expression,
@@ -80,6 +85,7 @@
8085
code_execution,
8186
document,
8287
equation_processing,
88+
equation_validation,
8389
experimental,
8490
formalization,
8591
fso,
@@ -107,8 +113,10 @@
107113
"CreateApiKeyrequest",
108114
"CreateUserRequest",
109115
"CreateUserResponse",
116+
"DictItem",
110117
"EquationExtraction",
111118
"EquationExtractionResponse",
119+
"EquationValidationResult",
112120
"ExecuteCodeResponse",
113121
"ExtractConstantsResponse",
114122
"ExtractTextResponse",
@@ -125,6 +133,7 @@
125133
"GetSpectrumResponse",
126134
"GetSpectrumResponseSpectrumItem",
127135
"HttpValidationError",
136+
"InformalizeStatementResponse",
128137
"InteractiveResponse",
129138
"Net",
130139
"Netlist",
@@ -152,6 +161,7 @@
152161
"SolutionResponseSolutionValue",
153162
"Spectrum",
154163
"StatementDictionary",
164+
"StatementType",
155165
"StatementValidation",
156166
"StatementValidationDictionary",
157167
"StatusResponse",
@@ -168,13 +178,15 @@
168178
"ValidateResponse",
169179
"ValidationError",
170180
"ValidationErrorLocItem",
181+
"VariableRequirement",
171182
"VerifyCircuitCodeResponse",
172183
"VerifyResponse",
173184
"Z3Expression",
174185
"__version__",
175186
"code_execution",
176187
"document",
177188
"equation_processing",
189+
"equation_validation",
178190
"experimental",
179191
"formalization",
180192
"fso",

‎src/axiomatic/base_client.py‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@
1313
from .generic.client import GenericClient
1414
from .document.client import DocumentClient
1515
from .tools.client import ToolsClient
16+
from .equation_validation.client import EquationValidationClient
1617
from .equation_processing.client import EquationProcessingClient
1718
from .code_execution.client import CodeExecutionClient
1819
from .fso.client import FsoClient
@@ -28,6 +29,7 @@
2829
from .generic.client import AsyncGenericClient
2930
from .document.client import AsyncDocumentClient
3031
from .tools.client import AsyncToolsClient
32+
from .equation_validation.client import AsyncEquationValidationClient
3133
from .equation_processing.client import AsyncEquationProcessingClient
3234
from .code_execution.client import AsyncCodeExecutionClient
3335
from .fso.client import AsyncFsoClient
@@ -103,6 +105,7 @@ def __init__(
103105
self.generic = GenericClient(client_wrapper=self._client_wrapper)
104106
self.document = DocumentClient(client_wrapper=self._client_wrapper)
105107
self.tools = ToolsClient(client_wrapper=self._client_wrapper)
108+
self.equation_validation = EquationValidationClient(client_wrapper=self._client_wrapper)
106109
self.equation_processing = EquationProcessingClient(client_wrapper=self._client_wrapper)
107110
self.code_execution = CodeExecutionClient(client_wrapper=self._client_wrapper)
108111
self.fso = FsoClient(client_wrapper=self._client_wrapper)
@@ -262,6 +265,7 @@ def __init__(
262265
self.generic = AsyncGenericClient(client_wrapper=self._client_wrapper)
263266
self.document = AsyncDocumentClient(client_wrapper=self._client_wrapper)
264267
self.tools = AsyncToolsClient(client_wrapper=self._client_wrapper)
268+
self.equation_validation = AsyncEquationValidationClient(client_wrapper=self._client_wrapper)
265269
self.equation_processing = AsyncEquationProcessingClient(client_wrapper=self._client_wrapper)
266270
self.code_execution = AsyncCodeExecutionClient(client_wrapper=self._client_wrapper)
267271
self.fso = AsyncFsoClient(client_wrapper=self._client_wrapper)

‎src/axiomatic/core/client_wrapper.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ def get_headers(self) -> typing.Dict[str, str]:
1616
headers: typing.Dict[str, str] = {
1717
"X-Fern-Language": "Python",
1818
"X-Fern-SDK-Name": "axiomatic",
19-
"X-Fern-SDK-Version": "0.0.86",
19+
"X-Fern-SDK-Version": "0.0.87",
2020
}
2121
headers["X-API-Key"] = self.api_key
2222
return headers

0 commit comments

Comments
 (0)