From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Mon, 4 Apr 2022 20:11:30 +0000 (-0700)
Subject: Bump Pythonic (transcendentals) & exception example (#8553)
X-Git-Tag: cvc5-1.0.0~25
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1ae29f43534779391d4f49ff5eb8498ec23d1164;p=cvc5.git

Bump Pythonic (transcendentals) & exception example (#8553)

- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.
---

diff --git a/cmake/FindCVC5PythonicAPI.cmake b/cmake/FindCVC5PythonicAPI.cmake
index 5e1b33ac5..43d6254c8 100644
--- a/cmake/FindCVC5PythonicAPI.cmake
+++ b/cmake/FindCVC5PythonicAPI.cmake
@@ -24,12 +24,12 @@ endif()
 
 include(ExternalProject)
 
-set(CVC5PythonicAPI_VERSION "a35b49ef3cd121e3dbc9496848019f7850f8f17d")
+set(CVC5PythonicAPI_VERSION "a04093e60036b83681c6f2cf5cca42bb631b6ce4")
 ExternalProject_Add(
   CVC5PythonicAPI
   ${COMMON_EP_CONFIG}
   URL https://github.com/cvc5/cvc5_pythonic_api/archive/${CVC5PythonicAPI_VERSION}.zip
-  URL_HASH SHA1=232b589148c0a19783cfca22c8628af4516a6eec
+  URL_HASH SHA1=a2ad7f53c38fdb9f3351d1915278e92de1427b69
   CONFIGURE_COMMAND ""
   BUILD_COMMAND ""
   INSTALL_COMMAND ""
diff --git a/docs/api/python/pythonic/arith.rst b/docs/api/python/pythonic/arith.rst
index e75fadaba..663866054 100644
--- a/docs/api/python/pythonic/arith.rst
+++ b/docs/api/python/pythonic/arith.rst
@@ -83,6 +83,24 @@ Other Arithmetic Operators
 .. autofunction:: cvc5.pythonic.Sqrt
 .. autofunction:: cvc5.pythonic.Cbrt
 
+Transcendentals
+--------------------------
+.. autofunction:: cvc5.pythonic.Pi
+.. autofunction:: cvc5.pythonic.Exponential
+.. autofunction:: cvc5.pythonic.Sine
+.. autofunction:: cvc5.pythonic.Cosine
+.. autofunction:: cvc5.pythonic.Tangent
+.. autofunction:: cvc5.pythonic.Arcsine
+.. autofunction:: cvc5.pythonic.Arccosine
+.. autofunction:: cvc5.pythonic.Arctangent
+.. autofunction:: cvc5.pythonic.Secant
+.. autofunction:: cvc5.pythonic.Cosecant
+.. autofunction:: cvc5.pythonic.Cotangent
+.. autofunction:: cvc5.pythonic.Arcsecant
+.. autofunction:: cvc5.pythonic.Arccosecant
+.. autofunction:: cvc5.pythonic.Arccotangent
+
+
 Testers
 -------------------
 .. autofunction:: cvc5.pythonic.is_arith
diff --git a/docs/examples/exceptions.rst b/docs/examples/exceptions.rst
index 3f5074389..3225ef21a 100644
--- a/docs/examples/exceptions.rst
+++ b/docs/examples/exceptions.rst
@@ -5,3 +5,4 @@ Exception Handling
 .. api-examples::
     <examples>/api/java/Exceptions.java
     <examples>/api/python/exceptions.py
+    <pythonicapi>/test/pgms/example_exceptions.py