codac 2.0.0.dev23__cp314-cp314-win32.whl

codac/tests/test_transformations.py

@@ -0,0 +1,61 @@
+#!/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 TestTransformations(unittest.TestCase):
+
+  def test_affine_transformation(self):
+
+    # Building the src trajectory analytically
+    
+    t = ScalarVar()
+    f_src = AnalyticFunction([t], [
+      cos(2*t)+0.1*cos(10*t),
+      2*sin(t)+0.1*sin(10*t)
+    ])
+
+    src = AnalyticTraj(f_src,[-1,3]).sampled(0.01)
+
+    # The dst trajectory is obtained analytically with a
+    # transformation described by the parameters:
+
+    a = PI + PI/3 # rotation angle
+    b = 2.5 # scaling
+    T = Vector([ -3.2, 2.5 ]) # translation
+    f_dst = AnalyticFunction([t], [
+      b*cos(a)*f_src(t)[0]-b*sin(a)*f_src(t)[1] + T[0] + 0.05*cos(100*t),
+      b*sin(a)*f_src(t)[0]+b*cos(a)*f_src(t)[1] + T[1] + 0.05*sin(100*t)
+    ])
+
+    dst = AnalyticTraj(f_dst,[-1,3]).sampled(0.01)
+
+    # Computing the transformation
+
+    tr = affine_transformation(src, dst)
+
+    # Reconstructing the dst trajectory using the estimated transformation
+
+    dst_estim = SampledVectorTraj()
+    for ti,src_i in src:
+      dst_estim.set(tr*src_i, ti)
+
+    scale = tr.linear().col(0).norm()
+    rotation_matrix = tr.linear() / scale
+    rotation_angle = atan2(rotation_matrix(1, 0), rotation_matrix(0, 0))
+    translation = tr.translation()
+
+    self.assertTrue(Approx(scale,1e-3) == b)
+    self.assertTrue(Approx(rotation_angle,1e-3) == (a-2*PI))
+    self.assertTrue(Approx(Vector(translation),1e-3) == T)
+
+if __name__ ==  '__main__':
+  unittest.main()

codac/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()

codac/unsupported/__init__.py

@@ -0,0 +1 @@
+from codac._unsupported import *

codac/version.py

@@ -0,0 +1 @@
+__version__="2.0.0"

codac-2.0.0.dev23.dist-info/METADATA

@@ -0,0 +1,23 @@
+Metadata-Version: 2.4
+Name: codac
+Version: 2.0.0.dev23
+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
+Author-email: simon.rohou@ensta.fr
+License: LGPLv3+
+Classifier: Development Status :: 3 - Alpha
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)
+Requires-Dist: pip>=19.0.0
+Requires-Dist: vibes
+Dynamic: author
+Dynamic: author-email
+Dynamic: classifier
+Dynamic: description
+Dynamic: home-page
+Dynamic: license
+Dynamic: requires-dist
+Dynamic: summary
+
+Codac is a library providing tools for constraint programming over reals and trajectories.

codac-2.0.0.dev23.dist-info/RECORD

@@ -0,0 +1,76 @@
+codac/__init__.py,sha256=FVU5ua2dUF5NQK9SModwYLKU9EWNftzb33e0vHpxdEs,121
+codac/_core.cp314-win32.pyd,sha256=A_cbuEYAtujft4KfimwZRDvVjKPaP4WfYwsZyDI0ZZQ,5980160
+codac/_graphics.cp314-win32.pyd,sha256=UyZQticL1Q-jIUPsTdApjbtPe3UChrXr8YfH-L9IbNM,1338880
+codac/_unsupported.cp314-win32.pyd,sha256=BCBnbuRh1SI7LKOizfpn5uqx0LcR1NUW1FJ2bmFc-38,118272
+codac/version.py,sha256=6aTsaEKyBHFdzQjDU6jvkF0BXPK1486LAfHKk-VQHKc,19
+codac/core/__init__.py,sha256=eXx72_k934uuCUgijcxZFMQYdrK2vxl3LjBu8gxrIII,17103
+codac/graphics/__init__.py,sha256=p-cFTVy8ffugIOpMN5qNWUShJo8aRB6_J3m-8EG99Rs,29
+codac/tests/__init__.py,sha256=p2nc-vz1OyekHP7d82yXsE2hNAtyHREmhuKHBZDS4dg,67
+codac/tests/codac2_tests_predefined_tubes.py,sha256=E-OaDmLrKL_dgxzg_itCFpYtc3B6lukLx-TnEcYqh1Y,5199
+codac/tests/test_AnalyticFunction.py,sha256=tc5L4aBZ1Jt3zL3NO-qEhLO_DsuqIanzVuBGFtqccKk,23158
+codac/tests/test_AnalyticTraj.py,sha256=CDA6DUq82Ppo2GU0FS-OgTWYYnYZTeKyDjHNJsX37Og,2415
+codac/tests/test_Approx.py,sha256=nCfgn2QJqyKiR7q2IJSlzXg4kzli1oP46C7w69rMVfM,933
+codac/tests/test_BoolInterval.py,sha256=fWmMwjpAai8zS-Bnlg5dtZe0KIgVuAlaCLfjm-olIw4,5696
+codac/tests/test_Color.py,sha256=FGIoUw87MwemhVHvobUdAeEtLDIcAOMe3oOQj_rJ59s,2309
+codac/tests/test_ConvexPolygon.py,sha256=uxl5q7YSDRpVvq0XoWvxxF7mDLmWDUdT6e57YNfh4X0,10264
+codac/tests/test_CtcAction.py,sha256=S0MgVqQLwMVWtRhteJ8PMt1VvZ6OSQ76wWy68EfDdjA,810
+codac/tests/test_CtcCartProd.py,sha256=eeS_nPKeAONohYfP_IhghM1v_gyx0AqroI7r5a7bjNw,1079
+codac/tests/test_CtcCtcBoundary.py,sha256=36kY3b6QzN3WJKZI8ju6KQqCV-xG8CDiMkf3ya8yaJ4,1609
+codac/tests/test_CtcDeriv.py,sha256=8VgzS6i2TOEjXf-ybUJyhwx4sgTCInpsfKmpBkKYtak,14096
+codac/tests/test_CtcEval.py,sha256=hGm73l1Y5Y9g4VnUW1BNsOvvdGNA0uWk9g4D_eWxwHg,7105
+codac/tests/test_CtcFixpoint.py,sha256=_ZgsrsvP1VX2-Tf_Bw-W_bUFStCtUEbNUdgpRjfvBtw,2056
+codac/tests/test_CtcInter.py,sha256=SGlf3w-lhNn1AwWwFPnK36uY_pzbQjMxpa8zneKPRqk,1016
+codac/tests/test_CtcInverse.py,sha256=ZP7kTDuQF0JqY-f33HUi_lgR_DlpkDp3rGvP1nEZIiM,7213
+codac/tests/test_CtcInverseNotIn.py,sha256=Ks9WzmzJxGf6On8ZwG5YhXuwYs1n4Tsth8bTn3cGbwM,4310
+codac/tests/test_CtcLazy.py,sha256=fRHXJjEe1fvocfApo0YHKE2rEuN-WSAC_1N1teD1neo,1420
+codac/tests/test_CtcPolygon.py,sha256=y4RGqqQLQbZCYZ5LxgQkHy2RAtcmnvG4Ee0f431NXBs,2286
+codac/tests/test_CtcSegment.py,sha256=wNTemeLs8N8miHIVmzywO0_vr32c2EH3N31R894Icjw,2777
+codac/tests/test_Ellipsoid.py,sha256=SQri1Cz1XRur_9YjFw9r_ZjDwmC_qnCGjgLP3-Ixruw,482
+codac/tests/test_GaussJordan.py,sha256=uQW8dd9vwisyatiPAr8b1oor2dIr3l4T6KMQ89RZ2qs,893
+codac/tests/test_IntFullPivLU.py,sha256=DECUxHT9Rftu5X6W4IVVkH0wQmr1QOj2ao97Bu3qgvg,2881
+codac/tests/test_Interval.py,sha256=OSKspf7as8gRcZcurh335JkFQefgwe5xW_jFscTCtQ0,10900
+codac/tests/test_IntervalMatrix.py,sha256=faiYRieaNuVpB1ZCKFiFLpKSIN3mWZwgRng_ZLEXBus,17669
+codac/tests/test_IntervalVector.py,sha256=s9T2WEyir7_JsIQ2sbvPlH4sQQqYGFTEdcs61XjgAEI,22165
+codac/tests/test_Interval_operations.py,sha256=2EnYGEJ7hQUCsfxCTXEHmsrM5WZq4Sc9mLGLenth6i0,15488
+codac/tests/test_Matrix.py,sha256=DvM_0qwW1cpc7YfuVWTbuKJC61TQFJV7oX9F7o9j4cA,1548
+codac/tests/test_OctaSym.py,sha256=1iPWFPi9LiH8Q92h8-vzK3JVMTjZtZIAGUrfXqdukIg,1296
+codac/tests/test_Parallelepiped.py,sha256=dhJLW51dkfimyQCtmh89Q0vS5Kjt19KrVq65JfSkhJ8,1237
+codac/tests/test_Parallelepiped_eval.py,sha256=BwNHhsMPh-U42RzH3V2Q82ctsfIXuc2Nx-fZ9UB4JTQ,1938
+codac/tests/test_Polygon.py,sha256=ngSAm1RmHo5w1QhWoQd2YvkhxMF3fJNv-aYmKvTuu90,5211
+codac/tests/test_SampledTraj.py,sha256=KPfoY4k2aDmYeLkXg5FzEtTtsLIJqGk9y71xX-ERIms,4050
+codac/tests/test_Segment.py,sha256=ECgdjSsjwppoDsXdOrMaoRhH8CCd9a5EUP1YCX1Q-bg,7229
+codac/tests/test_SepCartProd.py,sha256=CHPfxz0pYF7TGb1-9fDWIzR29BRpmkyFtdrK7NeY3ic,1072
+codac/tests/test_SepCtcBoundary.py,sha256=x6bM2eVkNhfk8Ak5eQPuSLxlJABljVoXX5Bfq2ACKkM,1841
+codac/tests/test_SepInverse.py,sha256=rOoLso6bcAa3oCIHllkOeOmZYjR4E69thsRJ6Xn2TLg,3497
+codac/tests/test_SepPolygon.py,sha256=uXZNIT6NkW4I2TpFeAWevR04X1Jqw6Phs7RE0Mc6phc,2779
+codac/tests/test_SepProj.py,sha256=rUllB30orF-o8Y4_yDOtfBfIZ1nirCeCjUBk9S8KRME,1286
+codac/tests/test_SepTransform.py,sha256=H_D3gqdPcrVzc8Zcyp4HnV9Z7B8UhIQDiYcBKcN5WSI,1471
+codac/tests/test_Slice.py,sha256=54zkFqx10gU9scu1rr9zZioHWRc_I9vII8lv7zanXLM,2465
+codac/tests/test_Slice_polygon.py,sha256=WG5IJHIqxgjE_CTMyblc2CEuTJLpsE21ar9QrDG7BJM,5646
+codac/tests/test_SlicedTube.py,sha256=WqiQNyCDXGg7AFVyJJtR1PLESqYg_mDxYW6XFYeWmxM,21721
+codac/tests/test_SlicedTube_integral.py,sha256=RHO8p5VjWOPDoP37NIku3G1HObbjAr6O9jdDHHSJpso,24173
+codac/tests/test_TDomain.py,sha256=235gGo5ZUiglVRxYvtCE4HmB4KBAN2TK6XhQYDNahXw,4043
+codac/tests/test_Vector.py,sha256=L5fUiVq89sf0Z2wchrROZsljio0TYIP56WOnLuIC1Xw,926
+codac/tests/test_arithmetic_add.py,sha256=UDDHHZT9FoBgyi0Tz5TkrScFmI31r8fd78dbnX8BMKk,3833
+codac/tests/test_arithmetic_div.py,sha256=w1GxWcm60n6HsTM2v_3BjZsvCXOuuQ1PH3XySPcWANo,2361
+codac/tests/test_arithmetic_mul.py,sha256=rdn-z1TmajdAZ2xlr_TGc27A8W3fRz78b4wctwRfs8Y,8019
+codac/tests/test_arithmetic_sub.py,sha256=rjow2l1lRVKsa_dQ6BswUzuIpkrBwnwGCTkHmTCNIEQ,3885
+codac/tests/test_capd.py,sha256=F-KuaI4Sj4EUtmARB7Gsw46DIrIICR0bVNoYI6lizlc,450
+codac/tests/test_cart_prod.py,sha256=En8wxySnh2atPBuaHTLg6HhnGW8mdKBHT-WSWO2XALQ,1690
+codac/tests/test_eigen.py,sha256=nQzFn0CTrF0VvvLL3df2aASAXba8CRkr5hDwrAVdypw,451
+codac/tests/test_geometry.py,sha256=_Ze80ZsdIMy_EGG_YbqUPyait5rEyU-CMd14AvOeyEA,5882
+codac/tests/test_hull.py,sha256=2kGwxncoHYBqHxjvi2t-5YJ-TRDayninqslPcuRosiM,1572
+codac/tests/test_ibex.py,sha256=Kuy1qeMssqWlnQ7WgluC-7E4q5jKqNjSAdAXcRZXXu4,483
+codac/tests/test_inversion.py,sha256=EvCOjY0gSJlRyKWT4fV8AwDaqHIFwA8wjeSqAC2P-VY,1270
+codac/tests/test_linear_ctc.py,sha256=9u3xwD8BBygli3XRBj-oo8nzD6m3L88_1vQ6Ha693Y0,2335
+codac/tests/test_operators.py,sha256=XrR7IwvBgcgaWkKFjIiwSpwR7rFqltp0FlPb3SmDXcw,23859
+codac/tests/test_peibos.py,sha256=sZ4ZNivu2wg7DN96F8xQBN7ihRmrVLcBZYV5oo3fxKA,2937
+codac/tests/test_predefined_tubes.py,sha256=E-OaDmLrKL_dgxzg_itCFpYtc3B6lukLx-TnEcYqh1Y,5199
+codac/tests/test_serialization.py,sha256=jIZfB9nql-MY_ikcRYZZDp67K2VQV6ninFWOh_Ya3WA,697
+codac/tests/test_transformations.py,sha256=dnyCfHjiwl2NzgEQ7f_clUiZIkplnbGXZrlItOWohvw,1787
+codac/tests/test_trunc.py,sha256=BnZwZNRjyrwHn0Dhr-OF4SC6GdFltMoveUiwWvai7J0,2340
+codac/unsupported/__init__.py,sha256=1wqdDcYQf6Pw_Qs5tKxl8ti9seoIi_83sG8hFvtvuCM,32
+codac-2.0.0.dev23.dist-info/METADATA,sha256=VJpEws-Q5S4TG9Z8FRaN_ywBKlPd7ojkRnWR3vzoAKc,806
+codac-2.0.0.dev23.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+codac-2.0.0.dev23.dist-info/top_level.txt,sha256=8FIXP4a7FrNu8RyqD7RFUsU7CTUmdd2T6j6EU-DTNYs,6
+codac-2.0.0.dev23.dist-info/RECORD,,

codac-2.0.0.dev23.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (80.9.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

codac-2.0.0.dev23.dist-info/top_level.txt

@@ -0,0 +1 @@
+codac