codac4matlab 2.0.0.dev20__cp312-cp312-macosx_11_0_arm64.whl → 2.0.0.dev25__cp312-cp312-macosx_11_0_arm64.whl

codac4matlab/tests/test_trunc.py

@@ -0,0 +1,95 @@
+#!/usr/bin/env python
+
+#  Codac tests
+# ----------------------------------------------------------------------------
+#  \date       2024
+#  \author     Simon Rohou
+#  \copyright  Copyright 2024 Codac Team
+#  \license    GNU Lesser General Public License (LGPL)
+
+import unittest
+from codac import *
+import sys
+
+class TestTrunc(unittest.TestCase):
+
+  def test_trunc(self):
+
+    l = next_float(-oo); u = prev_float(oo)
+    self.assertTrue(trunc(0) == 0)
+    self.assertTrue(trunc(-oo) == l)
+    self.assertTrue(trunc(oo) == u)
+    self.assertTrue(untrunc(l) == -oo)
+    self.assertTrue(untrunc(u) == oo)
+    self.assertTrue(untrunc(0) == 0)
+    
+    # trunc matrix types
+
+    self.assertTrue(trunc(IntervalMatrix([
+        [[-1,1],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[-1,1],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(trunc(IntervalMatrix([
+        [[-1,oo],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[-1,u],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(trunc(IntervalMatrix([
+        [[-oo,oo],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[l,u],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(trunc(IntervalMatrix([
+        [[-oo,oo],[-oo,oo]],
+        [[-oo,oo],[-oo,oo]]
+      ])) == IntervalMatrix([
+        [[l,u],[l,u]],
+        [[l,u],[l,u]]
+      ]))
+    
+    # untrunc matrix types
+
+    self.assertTrue(untrunc(IntervalMatrix([
+        [[-1,1],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[-1,1],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(untrunc(IntervalMatrix([
+        [[-1,u],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[-1,oo],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(untrunc(IntervalMatrix([
+        [[l,u],[-2,2]],
+        [[-3,3],[-4,4]]
+      ])) == IntervalMatrix([
+        [[-oo,oo],[-2,2]],
+        [[-3,3],[-4,4]]
+      ]))
+    
+    self.assertTrue(untrunc(IntervalMatrix([
+        [[l,u],[l,u]],
+        [[l,u],[l,u]]
+      ])) == IntervalMatrix([
+        [[-oo,oo],[-oo,oo]],
+        [[-oo,oo],[-oo,oo]]
+      ]))
+
+if __name__ ==  '__main__':
+  unittest.main()

{codac4matlab-2.0.0.dev20.dist-info → codac4matlab-2.0.0.dev25.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codac4matlab
-Version: 2.0.0.dev20
+Version: 2.0.0.dev25
 Summary: Codac is a library providing tools for constraint programming over reals and trajectories.
 Home-page: http://codac.io
 Author: Simon Rohou, Benoit Desrochers, Fabrice Le Bars

{codac4matlab-2.0.0.dev20.dist-info → codac4matlab-2.0.0.dev25.dist-info}/RECORD

@@ -1,46 +1,53 @@
 codac4matlab/__init__.py,sha256=66jJt4HBe0QVnCBA3w2Tjh09dKNuU7YXoG1VGWXpmnM,139
-codac4matlab/_core.cpython-312-darwin.so,sha256=bo4g_zGTiWEG1JkXhW1hphPouytKPQduo-QFr2G5IzU,7497016
-codac4matlab/_graphics.cpython-312-darwin.so,sha256=6U5m2o-egt0RjyTYLmYMURZZ7HWRe5iyYXyYWHHelHA,1897824
-codac4matlab/_unsupported.cpython-312-darwin.so,sha256=TEqYfvtFbAk_X-OqsYNJIz04c1KVc_d4jJezyDr6Q2w,129904
+codac4matlab/_core.cpython-312-darwin.so,sha256=CZ6GXsS6j1awkx6od3gDcYlyX0XIFrvBUHLp8ZKH7PE,8150040
+codac4matlab/_graphics.cpython-312-darwin.so,sha256=pJ5hWtrv1rYP7qo471XKwmt-_UvIMmEaFK_A_G37dzk,1953744
+codac4matlab/_unsupported.cpython-312-darwin.so,sha256=k4U8QCXpKjOYDZT2Fgzc2S9ZUpmpGDBdKpADjdwWh6s,146624
 codac4matlab/empty.cpython-312-darwin.so,sha256=d4JYkrLnQr9GvpFnuXKjX_yTKUx6qyzzPYXBTfQ7cII,33120
 codac4matlab/version.py,sha256=6aTsaEKyBHFdzQjDU6jvkF0BXPK1486LAfHKk-VQHKc,19
-codac4matlab/core/__init__.py,sha256=gAFh6dEejaMNEDrf9-K4cM_mMQJ_k4q3i2_U6wVOnjY,15839
+codac4matlab/core/__init__.py,sha256=HF3VoUDvrmEHbInL3wqUw0A7-ZqzOXJxc0WFo0FxU6Q,16563
 codac4matlab/graphics/__init__.py,sha256=JhVtofKJJLBAFAJOy3ecPPjlyk4eXgVmGHCK9ZOT7NE,36
 codac4matlab/tests/__init__.py,sha256=p2nc-vz1OyekHP7d82yXsE2hNAtyHREmhuKHBZDS4dg,67
 codac4matlab/tests/test_AnalyticFunction.py,sha256=5b264hmOmi9_YIyRr4qLdsAYirCJLxoHcpytMslGMEs,22716
-codac4matlab/tests/test_AnalyticTraj.py,sha256=TqESdsqJ8tTjfdJ737vTh7O00AHMSUosLq5wP40jSIU,2391
+codac4matlab/tests/test_AnalyticTraj.py,sha256=CiNacA0vDAuV1hIimvdSHU711X-SPpBLacuZX6lXGgI,2354
 codac4matlab/tests/test_Approx.py,sha256=yQ6ERjBOFwcnmeuPSigSINzXOoRpuoIOtmdepqph2DM,907
-codac4matlab/tests/test_BoolInterval.py,sha256=LnT-Bn6b0PjS3hgZpv9sBy1QJ05L2njBgIPR6iMEq1E,2144
+codac4matlab/tests/test_BoolInterval.py,sha256=rT4bp9lYUEAwlGxvjFgeVTLsaG0H5A-bVZvsNKQofUk,5601
 codac4matlab/tests/test_Color.py,sha256=QwKynmHbzqwv_Xow1JeefWGKjCwCZ23M1tY7XZK1t_A,2233
-codac4matlab/tests/test_ConvexPolygon.py,sha256=jFtSGCxp6fDVndMLWt0NWldGKccF_Gv3GAu-bXjSohg,7388
+codac4matlab/tests/test_ConvexPolygon.py,sha256=mokT8zhn4rVPMBUHZrlGSC38gWdWBnOCLM-DJh4W1WM,9965
 codac4matlab/tests/test_CtcAction.py,sha256=9Bp4wuB8esd_Qe-qn_Ymrcr1mutCcclQRcKpXEuIx2M,781
 codac4matlab/tests/test_CtcCartProd.py,sha256=Ll6jywMTJQdC5zU7CyIBRkrOiF5xWI6NJNSKYJSBEoM,1041
-codac4matlab/tests/test_CtcCtcBoundary.py,sha256=8CGZ7xsHejcfFRTPkcYw7ORwA8sFBR2yy4Eul8et6pw,1561
+codac4matlab/tests/test_CtcCtcBoundary.py,sha256=FJXTB3T1R9jKeMMsaCBC6TVPdVb_dMVaFClF8qwEgzg,1562
+codac4matlab/tests/test_CtcDeriv.py,sha256=HhVp61zZZ53Xn7L3OV_m1ZEmC_WMWq0GxQjssO93bkM,13663
+codac4matlab/tests/test_CtcEval.py,sha256=EapBxTBro30LjJdiY1D2l12N-85IH_2PSodvklJg6kE,6892
 codac4matlab/tests/test_CtcFixpoint.py,sha256=ow4ph85WEXz7u3ZBwePkB3FX07DP497yEENu-NvFkNY,1992
 codac4matlab/tests/test_CtcInter.py,sha256=n43snOZvNzLV13HTB74HkQvoG470F9yWsLMCLdHUBIs,978
-codac4matlab/tests/test_CtcInverse.py,sha256=6Ay9_Sk8MNU3_d0SPD8RGgylDS4WSq80fhCCDhqQq-U,6756
+codac4matlab/tests/test_CtcInverse.py,sha256=tiwLcxlOfs5qo_iSzKVwDBlsqP4TKX_xlNRjolWcT_0,6995
 codac4matlab/tests/test_CtcInverseNotIn.py,sha256=At903_KCCJt9vi6B1rxMnt4tEC2mXeAdbnCPTV0EHFY,4182
 codac4matlab/tests/test_CtcLazy.py,sha256=4bJG02ppvr4KdTbI5tovfD76sIKjOsoZKwNFi6UrcAg,1371
-codac4matlab/tests/test_CtcPolygon.py,sha256=ZtChxPfHRkV1r3iH9byKH9gMrXc4MKr7BIRU_Ubukfs,2195
+codac4matlab/tests/test_CtcPolygon.py,sha256=TC3ejhh_Hl_QZcJDz8ICCm3-Yjecgkqa77QEJFQ5C0A,2196
 codac4matlab/tests/test_CtcSegment.py,sha256=TcW7gAn6-AY7bLYguwbyPQY_AkA_BrV6YQRZDH7AcTI,2674
 codac4matlab/tests/test_Ellipsoid.py,sha256=0m7V4la9phTOUZhTXQ5GdwytkkX47L_PixEkOb0WHlU,463
-codac4matlab/tests/test_IntFullPivLU.py,sha256=MrbAvwFBmWyRX5BMb5cIstiCzpIcWJwA-WufPVXqSSg,1710
-codac4matlab/tests/test_Interval.py,sha256=P6zZScOeL5XrsNeeYmOzJ7z5zVa6QrnQQlPbxoKlDQ0,9798
+codac4matlab/tests/test_GaussJordan.py,sha256=adN1ZIFcCxyoj9toLnEFBz68IkR5oM4mqqhBtbYVHAc,859
+codac4matlab/tests/test_IntFullPivLU.py,sha256=PCJvsWYWMozxwhpMkK5RvlM6rDFa20ddeTr8rmRg9gw,2797
+codac4matlab/tests/test_Interval.py,sha256=nXJ8F3TQFG02HGoxMKZVuu8Kmq2wFlVbsRlTbjIRnFg,10647
 codac4matlab/tests/test_IntervalMatrix.py,sha256=2cOx8xOyf2IJdis9QZ2auTys4LqESnDBdt2IkYxex4k,17006
 codac4matlab/tests/test_IntervalVector.py,sha256=VLjAHt00cf0lw9VWhxXt-HtL3H5i2tvlhFgq3xgOd4g,21509
-codac4matlab/tests/test_Interval_operations.py,sha256=xEj5Qjf0BqwqcwVw2xCcmWRUBuVVVUHYm1-Yp_isyes,15220
+codac4matlab/tests/test_Interval_operations.py,sha256=epwrH4GpkV0j6qYOYNJGR-3Xzwhy3MOgsxvO9xOvJ1k,15196
 codac4matlab/tests/test_Matrix.py,sha256=ayJVjGjatlFqOUHjhaCodV4Q6Q-4XcuYbCwCDABbSu8,1468
-codac4matlab/tests/test_OctaSym.py,sha256=Rb1Wweyz4P_TYNk5sWv8cHBLaNNUt9Gfoeixyx9GtYc,863
-codac4matlab/tests/test_Polygon.py,sha256=_Y0Q9hv_0x51Btykj0HlAu9UUboi4a_toAN6Owb8XWk,4696
-codac4matlab/tests/test_SampledTraj.py,sha256=ym5ivgikP12n52JbW9gvctB-8PHDAMdXp4mRnJkluaQ,3526
-codac4matlab/tests/test_Segment.py,sha256=m5tprhfoqG1d9sOr4LSMc5aKaknqH_KdOf30UkQ-WUI,6595
+codac4matlab/tests/test_OctaSym.py,sha256=sS3W8pqBXifR7bVbBef1xxJMLucUS4rO-uPG0X1AuSU,1256
+codac4matlab/tests/test_Parallelepiped.py,sha256=PQ60A5Vjv_lqRIlpawYT428xFcDJIZzsZPMCo99mT-s,1277
+codac4matlab/tests/test_Parallelepiped_eval.py,sha256=15Ti5YOesEpcuFoKvyJ6wO2vuwUarsdWtnaCnysoIAY,1877
+codac4matlab/tests/test_Polygon.py,sha256=GyrPVbE3cJmUIsCcY_aAHec48i8snYUf-S8dojmuTcU,5092
+codac4matlab/tests/test_SampledTraj.py,sha256=GSmqhB59MDPVvKOad_nJ2PpvW32_iJ9jNxSI7sKRuoA,3916
+codac4matlab/tests/test_Segment.py,sha256=rO9pfgS7RIEwc7H8qACtIOm0MPrVL3sEtUutJnv_zxQ,7092
 codac4matlab/tests/test_SepCartProd.py,sha256=BlzYdztgvgIBI2xOqBKaJwteCal1VmuCr8t7R_fRKeY,1039
-codac4matlab/tests/test_SepCtcBoundary.py,sha256=3W6PvEsp-rDoB4lgbMhxKRgoseIcXHShD_kUyvnChB4,1789
+codac4matlab/tests/test_SepCtcBoundary.py,sha256=HOWTC8FYFEZAvMfmUf_IbJF1COiUyfW46kCdxwkkV18,1790
 codac4matlab/tests/test_SepInverse.py,sha256=Iu8BembvI5IBjwfdEhsnqmAgYdQCh54WsdkadN47AWE,3394
-codac4matlab/tests/test_SepPolygon.py,sha256=87bZ4sO8IUyqmUgtZoGDrkFWhhx8iYDfRhSiwOe9cAg,2677
+codac4matlab/tests/test_SepPolygon.py,sha256=5dkdfxBH_3iTCez-bLGYDIvPZc-h4YHhcfZhosnmZK0,2678
 codac4matlab/tests/test_SepProj.py,sha256=72ZkN98XwvE87x7MOxT7Pg2YNruBvCsrg7whISfPFmc,1248
-codac4matlab/tests/test_SepTransform.py,sha256=68Na9PIq2BfditEBsu8rXL8T8sCzHYkAGY3kfOCalzU,1384
-codac4matlab/tests/test_SlicedTube.py,sha256=eN2UzshsK0kKISGI4v2dc-27v5vtPllPdkdzEgXmGLM,12157
+codac4matlab/tests/test_SepTransform.py,sha256=EKweEH0m8sp1YF-CD0UPz0SpHN5n49zEGXajmuQK9BI,1431
+codac4matlab/tests/test_Slice.py,sha256=DWzo_EpQJneE0jjwFPrN5BhDS3cIrhBEK7uGLmVFLaU,2388
+codac4matlab/tests/test_Slice_polygon.py,sha256=Tt9gyZU64Tz3NPr0T75g8FvUiTxJXZu1Gu7seKQiiP0,5439
+codac4matlab/tests/test_SlicedTube.py,sha256=YN9PyRBlWkvhCxHeGXaGuTIAEfa0e7NJzHT1HfpciGQ,21160
 codac4matlab/tests/test_SlicedTube_integral.py,sha256=buOUSBnGpssbFV8qaMwHSXP2WIGDwewXn8dj87EW7wE,23794
 codac4matlab/tests/test_TDomain.py,sha256=bTKs_qz_2Z-QpMVUpOfrKRIz9xvLU7MTA87v1y3OjN0,3929
 codac4matlab/tests/test_Vector.py,sha256=wxdyckWteMzF9q1AT7RLyvnYcgtGzLDXltrip5clH4A,886
@@ -49,7 +56,7 @@ codac4matlab/tests/test_arithmetic_div.py,sha256=3x5wbWg5K7B3N96YkBrR_fya4yyasy7
 codac4matlab/tests/test_arithmetic_mul.py,sha256=TBeIKYjM6bOCzyU_QqmSCmKUIcpDBidZbgGSmU9Ub3o,7906
 codac4matlab/tests/test_arithmetic_sub.py,sha256=TRe0k4FkCzclph4vn3CycztQ8YeqnYTfYGkf8RZ6yLE,3832
 codac4matlab/tests/test_capd.py,sha256=aiFnipFgSlwr8CU5tUsD1V_Rn4sjdJt-1qCrpNl7cuc,432
-codac4matlab/tests/test_cart_prod.py,sha256=6RODnajnfhkJIzmYsRO9qNIUgsVfAvk32K8HccaABoE,1654
+codac4matlab/tests/test_cart_prod.py,sha256=orhrJTDNa_yTzZ9XLakZaUxA4X7Pdo0FMM_HdTB0ne8,1757
 codac4matlab/tests/test_eigen.py,sha256=R3Ql28tJ_2phK8FGdoFTz9aqZtPc1GQPLhguGIXsMf0,433
 codac4matlab/tests/test_geometry.py,sha256=dHGBEss9Up5oLhtXFIhBXJ0dY9VakkCfz3yZhHsKwO0,5747
 codac4matlab/tests/test_hull.py,sha256=YnTcEcGixovxnq9PrRX-1Q7PTtNvpPHW-8fZhhQs43w,1538
@@ -57,11 +64,13 @@ codac4matlab/tests/test_ibex.py,sha256=CzatKt7YlVqBWJe0kS0Ny_6DIm3c_yBJH-l1A8S_4
 codac4matlab/tests/test_inversion.py,sha256=qRzsA2VO9cG2peOhPmMrqP1af9Wan0Zg4BVMNUmkhe4,1214
 codac4matlab/tests/test_linear_ctc.py,sha256=UAHCp3_Q5wf22yM_bHILJfMDAhDaoEm1cvtreO-hgmU,2259
 codac4matlab/tests/test_operators.py,sha256=80ufKgiRjiGQ5gxjmkv7W_uNoRaSyZLUlUmbLwiL-hQ,23482
-codac4matlab/tests/test_predefined_tubes.py,sha256=Lf5eyROYJEhPVEEiXcsOn9sWnxvTXm08Uvmm6dWODkc,4965
+codac4matlab/tests/test_peibos.py,sha256=N7kVS8N4WM9qZn7_DHFrFp13LNiQYu0vNVrXMYixu4U,2855
+codac4matlab/tests/test_predefined_tubes.py,sha256=ctEqnuB6JZkHYLkueFPXQHDYFjO_ZufiB3ULFsof29I,5007
 codac4matlab/tests/test_serialization.py,sha256=DobdgcEHgJ34jlu0bB9NVMuz0qimiK-6IvFLkr9kugQ,668
 codac4matlab/tests/test_transformations.py,sha256=p562e72V6_awI1qi10UPZOKQHQO7gk5qe8_OqdTQnDk,1727
+codac4matlab/tests/test_trunc.py,sha256=9Hk2vQRvdFXQwnX3jjLLy5cTlE2Kxr2Rf_XS6iXx9hc,2246
 codac4matlab/unsupported/__init__.py,sha256=z5Xm26-xg1FntpomMqRsqcyqAI8y8C4Db9FMtfx4skI,39
-codac4matlab-2.0.0.dev20.dist-info/METADATA,sha256=sh6rlQmKk4pYn0OxkPBiyxry-KqqQcgB_9NDGblGibQ,790
-codac4matlab-2.0.0.dev20.dist-info/WHEEL,sha256=CltXN3lQvXbHxKDtiDwW0RNzF8s2WyBuPbOAX_ZeQlA,109
-codac4matlab-2.0.0.dev20.dist-info/top_level.txt,sha256=ZeLeS-8xPyH0yVFjcLqUgqnqV4umnaerrPV-cSX1c_U,13
-codac4matlab-2.0.0.dev20.dist-info/RECORD,,
+codac4matlab-2.0.0.dev25.dist-info/METADATA,sha256=wud6gPPNzKEtnXuSGTKuVxUcA5yisboSZnSVrsfz5Ro,790
+codac4matlab-2.0.0.dev25.dist-info/WHEEL,sha256=PGEjBn_DBy4zY34qc1eLGGEnKZ7LwPHqmx2QF5YAkUc,110
+codac4matlab-2.0.0.dev25.dist-info/top_level.txt,sha256=ZeLeS-8xPyH0yVFjcLqUgqnqV4umnaerrPV-cSX1c_U,13
+codac4matlab-2.0.0.dev25.dist-info/RECORD,,

{codac4matlab-2.0.0.dev20.dist-info → codac4matlab-2.0.0.dev25.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (80.9.0)
+Generator: setuptools (80.10.2)
 Root-Is-Purelib: false
 Tag: cp312-cp312-macosx_11_0_arm64