@@ -20,21 +20,13 @@ A full reference for this library is available [here](./reference.md).
2020Instantiate and use the client with the following:
2121
2222``` python
23- from axiomatic import Axiomatic, UserRequirement
23+ from axiomatic import Axiomatic
2424
2525client = Axiomatic(
2626 api_key = " YOUR_API_KEY" ,
2727)
28- client.requirements.check(
29- request = [
30- UserRequirement(
31- latex_symbol = " latex_symbol" ,
32- requirement_name = " requirement_name" ,
33- tolerance = 1.1 ,
34- value = 1.1 ,
35- units = " units" ,
36- )
37- ],
28+ client.lean.execute(
29+ code = " code" ,
3830)
3931```
4032
@@ -45,24 +37,16 @@ The SDK also exports an `async` client so that you can make non-blocking calls t
4537``` python
4638import asyncio
4739
48- from axiomatic import AsyncAxiomatic, UserRequirement
40+ from axiomatic import AsyncAxiomatic
4941
5042client = AsyncAxiomatic(
5143 api_key = " YOUR_API_KEY" ,
5244)
5345
5446
5547async def main () -> None :
56- await client.requirements.check(
57- request = [
58- UserRequirement(
59- latex_symbol = " latex_symbol" ,
60- requirement_name = " requirement_name" ,
61- tolerance = 1.1 ,
62- value = 1.1 ,
63- units = " units" ,
64- )
65- ],
48+ await client.lean.execute(
49+ code = " code" ,
6650 )
6751
6852
@@ -78,7 +62,7 @@ will be thrown.
7862from axiomatic.core.api_error import ApiError
7963
8064try :
81- client.requirements.check (... )
65+ client.lean.execute (... )
8266except ApiError as e:
8367 print (e.status_code)
8468 print (e.body)
@@ -101,7 +85,7 @@ A request is deemed retryable when any of the following HTTP status codes is ret
10185Use the ` max_retries ` request option to configure this behavior.
10286
10387``` python
104- client.requirements.check (... , request_options = {
88+ client.lean.execute (... , request_options = {
10589 " max_retries" : 1
10690})
10791```
@@ -121,7 +105,7 @@ client = Axiomatic(
121105
122106
123107# Override timeout for a specific method
124- client.requirements.check (... , request_options = {
108+ client.lean.execute (... , request_options = {
125109 " timeout_in_seconds" : 1
126110})
127111```
0 commit comments