Skip to content

Commit a99fbd6

Browse files
committed
Release 0.0.35
1 parent 6c608cd commit a99fbd6

38 files changed

+819
-211
lines changed

pyproject.toml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,9 @@
1+
[project]
2+
name = "axiomatic"
3+
14
[tool.poetry]
25
name = "axiomatic"
3-
version = "0.0.34"
6+
version = "0.0.35"
47
description = ""
58
readme = "README.md"
69
authors = []

reference.md

Lines changed: 123 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,7 @@ client.requirements.check(
157157
</details>
158158

159159
## pic
160-
<details><summary><code>client.pic.<a href="src/axiomatic/pic/client.py">find_mappings</a>(...)</code></summary>
160+
<details><summary><code>client.pic.<a href="src/axiomatic/pic/client.py">find_mapping</a>(...)</code></summary>
161161
<dl>
162162
<dd>
163163

@@ -184,27 +184,19 @@ Map variables in the constraints to computations on the netlist.
184184
<dd>
185185

186186
```python
187-
from axiomatic import Axiomatic, Netlist, PicComponent, Statement
187+
from axiomatic import Axiomatic, Netlist, PicInstance, StatementDictionary
188188

189189
client = Axiomatic(
190190
api_key="YOUR_API_KEY",
191191
)
192-
client.pic.find_mappings(
193-
statements=[
194-
Statement(
195-
id="id",
196-
statement="statement",
197-
)
198-
],
192+
client.pic.find_mapping(
193+
statements=StatementDictionary(),
199194
netlist=Netlist(
200-
name="name",
201195
instances={
202-
"key": PicComponent(
196+
"key": PicInstance(
203197
component="component",
204198
)
205199
},
206-
connections={"key": "value"},
207-
ports={"key": "value"},
208200
),
209201
)
210202

@@ -222,7 +214,7 @@ client.pic.find_mappings(
222214
<dl>
223215
<dd>
224216

225-
**statements:** `typing.Sequence[Statement]`
217+
**statements:** `StatementDictionary`
226218

227219
</dd>
228220
</dl>
@@ -823,6 +815,14 @@ core.File` — See core.File for more documentation
823815
<dl>
824816
<dd>
825817

818+
**ocr:** `typing.Optional[bool]` — Whether to use OCR
819+
820+
</dd>
821+
</dl>
822+
823+
<dl>
824+
<dd>
825+
826826
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
827827

828828
</dd>
@@ -848,7 +848,7 @@ core.File` — See core.File for more documentation
848848
<dl>
849849
<dd>
850850

851-
Executes code in a secure environment
851+
Execute python code, and return the standard output. If an error occurs, it will be returned in the error_trace field. Importing from the following modules is supported: gdsfactory
852852
</dd>
853853
</dl>
854854
</dd>
@@ -1116,6 +1116,86 @@ client.lean.z_3.execute(
11161116
</dl>
11171117

11181118

1119+
</dd>
1120+
</dl>
1121+
</details>
1122+
1123+
## Pic Document
1124+
<details><summary><code>client.pic.document.<a href="src/axiomatic/pic/document/client.py">summarize</a>(...)</code></summary>
1125+
<dl>
1126+
<dd>
1127+
1128+
#### 📝 Description
1129+
1130+
<dl>
1131+
<dd>
1132+
1133+
<dl>
1134+
<dd>
1135+
1136+
Generate GDS factory code to create a PIC component
1137+
</dd>
1138+
</dl>
1139+
</dd>
1140+
</dl>
1141+
1142+
#### 🔌 Usage
1143+
1144+
<dl>
1145+
<dd>
1146+
1147+
<dl>
1148+
<dd>
1149+
1150+
```python
1151+
from axiomatic import Axiomatic
1152+
1153+
client = Axiomatic(
1154+
api_key="YOUR_API_KEY",
1155+
)
1156+
client.pic.document.summarize(
1157+
query="query",
1158+
images=["images"],
1159+
)
1160+
1161+
```
1162+
</dd>
1163+
</dl>
1164+
</dd>
1165+
</dl>
1166+
1167+
#### ⚙️ Parameters
1168+
1169+
<dl>
1170+
<dd>
1171+
1172+
<dl>
1173+
<dd>
1174+
1175+
**query:** `str`
1176+
1177+
</dd>
1178+
</dl>
1179+
1180+
<dl>
1181+
<dd>
1182+
1183+
**images:** `typing.Sequence[str]`
1184+
1185+
</dd>
1186+
</dl>
1187+
1188+
<dl>
1189+
<dd>
1190+
1191+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
1192+
1193+
</dd>
1194+
</dl>
1195+
</dd>
1196+
</dl>
1197+
1198+
11191199
</dd>
11201200
</dl>
11211201
</details>
@@ -1374,35 +1454,36 @@ Optimize a PIC circuit with given cost and constraints
13741454
<dd>
13751455

13761456
```python
1377-
from axiomatic import Axiomatic, Mapping, Netlist, PicComponent, Statement
1457+
from axiomatic import (
1458+
Axiomatic,
1459+
Computation,
1460+
Netlist,
1461+
Parameter,
1462+
PicInstance,
1463+
StatementDictionary,
1464+
)
13781465

13791466
client = Axiomatic(
13801467
api_key="YOUR_API_KEY",
13811468
)
13821469
client.pic.circuit.optimize(
13831470
netlist=Netlist(
1384-
name="name",
13851471
instances={
1386-
"key": PicComponent(
1472+
"key": PicInstance(
13871473
component="component",
13881474
)
13891475
},
1390-
connections={"key": "value"},
1391-
ports={"key": "value"},
13921476
),
1393-
statements=[
1394-
Statement(
1395-
id="id",
1396-
statement="statement",
1477+
statements=StatementDictionary(),
1478+
mappings={
1479+
"key": Computation(
1480+
name="name",
1481+
arguments={"key": 1.1},
13971482
)
1398-
],
1399-
mappings=[
1400-
Mapping(
1401-
statement_id="statement_id",
1402-
expression_idx=1,
1403-
variable="variable",
1404-
computation_name="computation_name",
1405-
computation_arguments={"key": 1.1},
1483+
},
1484+
parameters=[
1485+
Parameter(
1486+
path="path",
14061487
)
14071488
],
14081489
)
@@ -1429,15 +1510,23 @@ client.pic.circuit.optimize(
14291510
<dl>
14301511
<dd>
14311512

1432-
**statements:** `typing.Sequence[Statement]`
1513+
**statements:** `StatementDictionary`
1514+
1515+
</dd>
1516+
</dl>
1517+
1518+
<dl>
1519+
<dd>
1520+
1521+
**mappings:** `typing.Dict[str, Computation]`
14331522

14341523
</dd>
14351524
</dl>
14361525

14371526
<dl>
14381527
<dd>
14391528

1440-
**mappings:** `typing.Sequence[Mapping]`
1529+
**parameters:** `typing.Sequence[Parameter]`
14411530

14421531
</dd>
14431532
</dl>

src/axiomatic/__init__.py

Lines changed: 38 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,48 @@
11
# This file was auto-generated by Fern from our API Definition.
22

33
from .types import (
4-
ConstraintType,
4+
Computation,
5+
ComputationArgumentsValue,
56
ExecuteCodeResponse,
67
ExtractTextResponse,
7-
FindMappingsResponse,
8+
FindMappingResponse,
9+
Formalization,
10+
FormalizationError,
811
FormalizeCircuitResponse,
912
FormalizeResponse,
13+
FunctionCall,
14+
FunctionCallArgumentsValue,
15+
FunctionCallExpectedResult,
1016
GenerateCodeResponse,
1117
GenerateComponentCodeResponse,
1218
HttpValidationError,
1319
InteractiveResponse,
14-
Mapping,
15-
MappingComputationArgumentsValue,
20+
MdResponse,
1621
Netlist,
22+
NetlistPlacementsValueValue,
23+
OptimizationHistory,
1724
OptimizeNetlistResponse,
25+
Parameter,
1826
ParseResponse,
19-
PicComponent,
20-
PicComponentInfoValue,
21-
PicComponentSettingsValue,
27+
Pdk,
28+
PicInstance,
29+
PicInstanceInfoValue,
30+
PicInstanceSettingsValue,
2231
RefineCodeResponse,
2332
RefineComponentCodeResponse,
2433
RequirementBody,
2534
SolutionResponse,
2635
SolutionResponseSolutionValue,
2736
Statement,
37+
StatementDictionary,
2838
StatementType,
39+
SummarizerResponse,
2940
ValidateResponse,
3041
ValidationError,
3142
ValidationErrorLocItem,
3243
VerifyCircuitCodeResponse,
3344
VerifyResponse,
45+
Z3Expression,
3446
)
3547
from .errors import UnprocessableEntityError
3648
from . import code_execution, document, experimental, formalization, generic, lean, pic, requirements
@@ -42,37 +54,49 @@
4254
"AsyncAxiomatic",
4355
"Axiomatic",
4456
"AxiomaticEnvironment",
45-
"ConstraintType",
57+
"Computation",
58+
"ComputationArgumentsValue",
4659
"ExecuteCodeResponse",
4760
"ExtractTextResponse",
48-
"FindMappingsResponse",
61+
"FindMappingResponse",
62+
"Formalization",
63+
"FormalizationError",
4964
"FormalizeCircuitResponse",
5065
"FormalizeResponse",
66+
"FunctionCall",
67+
"FunctionCallArgumentsValue",
68+
"FunctionCallExpectedResult",
5169
"GenerateCodeResponse",
5270
"GenerateComponentCodeResponse",
5371
"HttpValidationError",
5472
"InteractiveResponse",
55-
"Mapping",
56-
"MappingComputationArgumentsValue",
73+
"MdResponse",
5774
"Netlist",
75+
"NetlistPlacementsValueValue",
76+
"OptimizationHistory",
5877
"OptimizeNetlistResponse",
78+
"Parameter",
5979
"ParseResponse",
60-
"PicComponent",
61-
"PicComponentInfoValue",
62-
"PicComponentSettingsValue",
80+
"Pdk",
81+
"PicInstance",
82+
"PicInstanceInfoValue",
83+
"PicInstanceSettingsValue",
6384
"RefineCodeResponse",
6485
"RefineComponentCodeResponse",
6586
"RequirementBody",
6687
"SolutionResponse",
6788
"SolutionResponseSolutionValue",
6889
"Statement",
90+
"StatementDictionary",
6991
"StatementType",
92+
"SummarizerResponse",
7093
"UnprocessableEntityError",
7194
"ValidateResponse",
7295
"ValidationError",
7396
"ValidationErrorLocItem",
7497
"VerifyCircuitCodeResponse",
7598
"VerifyResponse",
99+
"Z3Expression",
76100
"__version__",
77101
"code_execution",
78102
"document",

src/axiomatic/code_execution/python/client.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ def __init__(self, *, client_wrapper: SyncClientWrapper):
2121

2222
def execute(self, *, code: str, request_options: typing.Optional[RequestOptions] = None) -> ExecuteCodeResponse:
2323
"""
24-
Executes code in a secure environment
24+
Execute python code, and return the standard output. If an error occurs, it will be returned in the error_trace field. Importing from the following modules is supported: gdsfactory
2525
2626
Parameters
2727
----------
@@ -91,7 +91,7 @@ async def execute(
9191
self, *, code: str, request_options: typing.Optional[RequestOptions] = None
9292
) -> ExecuteCodeResponse:
9393
"""
94-
Executes code in a secure environment
94+
Execute python code, and return the standard output. If an error occurs, it will be returned in the error_trace field. Importing from the following modules is supported: gdsfactory
9595
9696
Parameters
9797
----------

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.34",
19+
"X-Fern-SDK-Version": "0.0.35",
2020
}
2121
headers["X-API-Key"] = self.api_key
2222
return headers

0 commit comments

Comments
 (0)