-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathsimple_ik_equations_numba.py
214 lines (149 loc) · 22.1 KB
/
simple_ik_equations_numba.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
###########################################################################
# The following license applies to simple_ik.py and
# simple_ik_equations_numba.py (the "Files"), which contain software
# for use with the Stretch mobile manipulators, which are robots
# produced and sold by Hello Robot Inc.
# Copyright 2024 Hello Robot Inc.
# This software is free software: you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public License
# v3.0 (GNU LGPLv3) as published by the Free Software Foundation.
# This software is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Lesser General Public License v3.0 (GNU LGPLv3) for more details,
# which can be found via the following link:
# https://www.gnu.org/licenses/lgpl-3.0.en.html
# For further information about the Files including inquiries about
# dual licensing, please contact Hello Robot Inc.
###########################################################################
from numba import njit
import math
import numpy as np
@njit
def idealized_fk_with_rotary_base(base_angle, lift_distance, arm_distance, b1):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
# lift (lambda)
L = lift_distance
# arm (alpha)
A = arm_distance
# base rotation (theta)
T = base_angle
x = (-math.cos(T) * b1) + (math.sin(T) * A)
y = (-math.sin(T) * b1) - (math.cos(T) * A)
z = L
return((x,y,z))
@njit
def calibrated_fk_with_rotary_base(base_angle, lift_distance, arm_distance, b1, l_vector, a_vector):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
# unit vector in the direction of positive lift motion
l1, l2, l3 = l_vector
# unit vector in the direction of positive arm extension
a1, a2, a3 = a_vector
# lift (lambda)
L = lift_distance
# arm (alpha)
A = arm_distance
# base rotation (theta)
T = base_angle
term1 = (A * a1) + (L * l1) + b1
term2 = (A * a2) + (L * l2)
x = (math.cos(T) * term1) - (math.sin(T) * term2)
y = (math.sin(T) * term1) + (math.cos(T) * term2)
z = (A * a3) + (L * l3)
return((x,y,z))
@njit
def idealized_ik_with_rotary_base(wrist_position, b1):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
x, y, z = wrist_position
# lift (lambda)
L = z
# arm (alpha)
A = math.sqrt(x**2 + y**2 - b1**2)
# base rotation (theta)
T = -2 * math.atan((a + y) / (b1 - x))
return((T, L, A))
@njit
def calibrated_ik_with_rotary_base(wrist_position, b1, l_vector, a_vector):
x, y, z = wrist_position
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
# unit vector in the direction of positive lift motion
l1, l2, l3 = l_vector
# unit vector in the direction of positive arm extension
a1, a2, a3 = a_vector
# arm (alpha)
A = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( ( a3 )**( 2 ) * ( l1 * x + l2 * y ) * ( b1 * l1 * l3 + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * z ) + ( -1 * a3 * l3 * ( a2 * b1 * l1 * l3 * y + ( a1 * b1 * l3 * ( 2 * l1 * x + l2 * y ) + ( a1 * ( 2 * ( l1 )**( 2 ) * x + ( ( l2 )**( 2 ) * x + l1 * l2 * y ) ) * z + a2 * ( l1 * l2 * x + ( ( l1 )**( 2 ) * y + 2 * ( l2 )**( 2 ) * y ) ) * z ) ) ) + l3 * ( ( a1 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( ( a1 )**( 2 ) * l1 * l3 * x * z + ( a1 * a2 * l2 * l3 * x * z + ( a1 * a2 * l1 * l3 * y * z + ( ( a2 )**( 2 ) * l2 * l3 * y * z + ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) )
if A < 0.0:
# arm (alpha)
A = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( ( a3 )**( 2 ) * ( l1 * x + l2 * y ) * ( b1 * l1 * l3 + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * z ) + ( -1 * a3 * l3 * ( a2 * b1 * l1 * l3 * y + ( a1 * b1 * l3 * ( 2 * l1 * x + l2 * y ) + ( a1 * ( 2 * ( l1 )**( 2 ) * x + ( ( l2 )**( 2 ) * x + l1 * l2 * y ) ) * z + a2 * ( l1 * l2 * x + ( ( l1 )**( 2 ) * y + 2 * ( l2 )**( 2 ) * y ) ) * z ) ) ) + l3 * ( ( a1 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( ( a1 )**( 2 ) * l1 * l3 * x * z + ( a1 * a2 * l2 * l3 * x * z + ( a1 * a2 * l1 * l3 * y * z + ( ( a2 )**( 2 ) * l2 * l3 * y * z + -1 * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) )
# lift (lambda)
L = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( -1 * ( a3 )**( 3 ) * b1 * l1 * ( l1 * x + l2 * y ) + ( -1 * ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) * ( a1 * x + a2 * y ) * z + ( ( a3 )**( 2 ) * ( a2 * b1 * l1 * l3 * y + ( a1 * b1 * l3 * ( 2 * l1 * x + l2 * y ) + ( -1 * a1 * l1 * ( l1 * x + l2 * y ) * z + -1 * a2 * l2 * ( l1 * x + l2 * y ) * z ) ) ) + a3 * ( -1 * ( a1 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( -1 * a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( 2 * ( a1 )**( 2 ) * l1 * l3 * x * z + ( ( a2 )**( 2 ) * l1 * l3 * x * z + ( a1 * a2 * l2 * l3 * x * z + ( a1 * a2 * l1 * l3 * y * z + ( ( a1 )**( 2 ) * l2 * l3 * y * z + ( 2 * ( a2 )**( 2 ) * l2 * l3 * y * z + ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) )
# base rotation (theta)
TArcTanArg1 = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( ( x )**( 2 ) + ( y )**( 2 ) ) )**( -1 ) * ( ( a3 )**( 2 ) * b1 * ( l2 )**( 2 ) * x + ( -2 * a2 * a3 * b1 * l2 * l3 * x + ( ( a2 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( -1 * ( a3 )**( 2 ) * b1 * l1 * l2 * y + ( a2 * a3 * b1 * l1 * l3 * y + ( a1 * a3 * b1 * l2 * l3 * y + ( -1 * a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( -1 * a2 * a3 * l1 * l2 * x * z + ( a1 * a3 * ( l2 )**( 2 ) * x * z + ( ( a2 )**( 2 ) * l1 * l3 * x * z + ( -1 * a1 * a2 * l2 * l3 * x * z + ( a2 * a3 * ( l1 )**( 2 ) * y * z + ( -1 * a1 * a3 * l1 * l2 * y * z + ( -1 * a1 * a2 * l1 * l3 * y * z + ( ( a1 )**( 2 ) * l2 * l3 * y * z + ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
TArcTanArg2 = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( ( x )**( 2 ) + ( y )**( 2 ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( ( a3 )**( 3 ) * b1 * l2 * ( ( l1 * x + l2 * y ) )**( 2 ) + ( -1 * ( a3 )**( 2 ) * ( l1 * x + l2 * y ) * ( a2 * b1 * l3 * ( l1 * x + 3 * l2 * y ) + ( a2 * l1 * ( l1 * x + l2 * y ) * z + -1 * a1 * l2 * ( -2 * b1 * l3 * x + ( l1 * x * z + l2 * y * z ) ) ) ) + ( -1 * l3 * ( ( a1 )**( 2 ) * a2 * b1 * ( l3 )**( 2 ) * ( x )**( 2 ) + ( 2 * a1 * ( a2 )**( 2 ) * b1 * ( l3 )**( 2 ) * x * y + ( ( a2 )**( 3 ) * b1 * ( l3 )**( 2 ) * ( y )**( 2 ) + ( ( a1 )**( 2 ) * a2 * l1 * l3 * ( x )**( 2 ) * z + ( -1 * ( a1 )**( 3 ) * l2 * l3 * ( x )**( 2 ) * z + ( 2 * a1 * ( a2 )**( 2 ) * l1 * l3 * x * y * z + ( -2 * ( a1 )**( 2 ) * a2 * l2 * l3 * x * y * z + ( ( a2 )**( 3 ) * l1 * l3 * ( y )**( 2 ) * z + ( -1 * a1 * ( a2 )**( 2 ) * l2 * l3 * ( y )**( 2 ) * z + ( -1 * a2 * x * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) + a1 * y * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) + a3 * ( ( a1 )**( 2 ) * l2 * l3 * x * ( b1 * l3 * x + -2 * ( l1 * x + l2 * y ) * z ) + ( ( a2 )**( 2 ) * l3 * y * ( b1 * l3 * ( 2 * l1 * x + 3 * l2 * y ) + 2 * l1 * ( l1 * x + l2 * y ) * z ) + ( 2 * a1 * a2 * l3 * ( b1 * l3 * x * ( l1 * x + 2 * l2 * y ) + ( ( l1 )**( 2 ) * ( x )**( 2 ) + -1 * ( l2 )**( 2 ) * ( y )**( 2 ) ) * z ) + ( -1 * l2 * x + l1 * y ) * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) )
else:
# lift (lambda)
L = -1 * ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( ( a3 )**( 3 ) * b1 * l1 * ( l1 * x + l2 * y ) + ( ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) * ( a1 * x + a2 * y ) * z + ( -1 * ( a3 )**( 2 ) * ( a2 * b1 * l1 * l3 * y + ( a1 * b1 * l3 * ( 2 * l1 * x + l2 * y ) + ( -1 * a1 * l1 * ( l1 * x + l2 * y ) * z + -1 * a2 * l2 * ( l1 * x + l2 * y ) * z ) ) ) + a3 * ( ( a1 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( -2 * ( a1 )**( 2 ) * l1 * l3 * x * z + ( -1 * ( a2 )**( 2 ) * l1 * l3 * x * z + ( -1 * a1 * a2 * l2 * l3 * x * z + ( -1 * a1 * a2 * l1 * l3 * y * z + ( -1 * ( a1 )**( 2 ) * l2 * l3 * y * z + ( -2 * ( a2 )**( 2 ) * l2 * l3 * y * z + ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) )
# base rotation (theta)
TArcTanArg1 = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( ( x )**( 2 ) + ( y )**( 2 ) ) )**( -1 ) * ( ( a3 )**( 2 ) * b1 * ( l2 )**( 2 ) * x + ( -2 * a2 * a3 * b1 * l2 * l3 * x + ( ( a2 )**( 2 ) * b1 * ( l3 )**( 2 ) * x + ( -1 * ( a3 )**( 2 ) * b1 * l1 * l2 * y + ( a2 * a3 * b1 * l1 * l3 * y + ( a1 * a3 * b1 * l2 * l3 * y + ( -1 * a1 * a2 * b1 * ( l3 )**( 2 ) * y + ( -1 * a2 * a3 * l1 * l2 * x * z + ( a1 * a3 * ( l2 )**( 2 ) * x * z + ( ( a2 )**( 2 ) * l1 * l3 * x * z + ( -1 * a1 * a2 * l2 * l3 * x * z + ( a2 * a3 * ( l1 )**( 2 ) * y * z + ( -1 * a1 * a3 * l1 * l2 * y * z + ( -1 * a1 * a2 * l1 * l3 * y * z + ( ( a1 )**( 2 ) * l2 * l3 * y * z + -1 * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
TArcTanArg2 = ( ( ( a3 )**( 2 ) * ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) + ( -2 * a3 * ( a1 * l1 + a2 * l2 ) * l3 + ( ( a1 )**( 2 ) + ( a2 )**( 2 ) ) * ( l3 )**( 2 ) ) ) )**( -1 ) * ( ( ( x )**( 2 ) + ( y )**( 2 ) ) )**( -1 ) * ( ( -1 * l3 * ( a1 * x + a2 * y ) + a3 * ( l1 * x + l2 * y ) ) )**( -1 ) * ( ( a3 )**( 3 ) * b1 * l2 * ( ( l1 * x + l2 * y ) )**( 2 ) + ( -1 * ( a3 )**( 2 ) * ( l1 * x + l2 * y ) * ( a2 * b1 * l3 * ( l1 * x + 3 * l2 * y ) + ( a2 * l1 * ( l1 * x + l2 * y ) * z + -1 * a1 * l2 * ( -2 * b1 * l3 * x + ( l1 * x * z + l2 * y * z ) ) ) ) + ( -1 * l3 * ( ( a1 )**( 2 ) * a2 * b1 * ( l3 )**( 2 ) * ( x )**( 2 ) + ( 2 * a1 * ( a2 )**( 2 ) * b1 * ( l3 )**( 2 ) * x * y + ( ( a2 )**( 3 ) * b1 * ( l3 )**( 2 ) * ( y )**( 2 ) + ( ( a1 )**( 2 ) * a2 * l1 * l3 * ( x )**( 2 ) * z + ( -1 * ( a1 )**( 3 ) * l2 * l3 * ( x )**( 2 ) * z + ( 2 * a1 * ( a2 )**( 2 ) * l1 * l3 * x * y * z + ( -2 * ( a1 )**( 2 ) * a2 * l2 * l3 * x * y * z + ( ( a2 )**( 3 ) * l1 * l3 * ( y )**( 2 ) * z + ( -1 * a1 * ( a2 )**( 2 ) * l2 * l3 * ( y )**( 2 ) * z + ( a2 * x * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) + -1 * a1 * y * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) ) ) ) ) ) + a3 * ( ( a1 )**( 2 ) * l2 * l3 * x * ( b1 * l3 * x + -2 * ( l1 * x + l2 * y ) * z ) + ( ( a2 )**( 2 ) * l3 * y * ( b1 * l3 * ( 2 * l1 * x + 3 * l2 * y ) + 2 * l1 * ( l1 * x + l2 * y ) * z ) + ( 2 * a1 * a2 * l3 * ( b1 * l3 * x * ( l1 * x + 2 * l2 * y ) + ( ( l1 )**( 2 ) * ( x )**( 2 ) + -1 * ( l2 )**( 2 ) * ( y )**( 2 ) ) * z ) + ( l2 * x + -1 * l1 * y ) * ( ( ( l3 * ( a1 * x + a2 * y ) + -1 * a3 * ( l1 * x + l2 * y ) ) )**( 2 ) * ( ( a3 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l2 )**( 2 ) + ( ( l1 )**( 2 ) + ( l2 )**( 2 ) ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) ) + ( 2 * a1 * a2 * l2 * z * ( b1 * l3 + l1 * z ) + ( ( a2 )**( 2 ) * ( -1 * ( b1 )**( 2 ) * ( l3 )**( 2 ) + ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + ( -2 * b1 * l1 * l3 * z + -1 * ( l1 )**( 2 ) * ( z )**( 2 ) ) ) ) + ( ( a1 )**( 2 ) * ( ( l3 )**( 2 ) * ( ( x )**( 2 ) + ( y )**( 2 ) ) + -1 * ( l2 )**( 2 ) * ( z )**( 2 ) ) + 2 * a3 * ( a2 * l2 * ( ( b1 )**( 2 ) * l3 + ( -1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * l1 * z ) ) + -1 * a1 * ( l1 * l3 * ( ( x )**( 2 ) + ( y )**( 2 ) ) + b1 * ( l2 )**( 2 ) * z ) ) ) ) ) ) )**( 1/2 ) ) ) ) ) ) )
T = np.arctan2(TArcTanArg2, TArcTanArg1)
return((T, L, A))
@njit
def idealized_fk_with_prismatic_base(base_distance, lift_distance, arm_distance, b1):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
# lift (lambda)
L = lift_distance
# arm (alpha)
A = arm_distance
# base translation (mu)
M = base_distance
x = M - b1
y = -A
z = L
return((x,y,z))
@njit
def calibrated_fk_with_prismatic_base(base_distance, lift_distance, arm_distance, b1, l_vector, a_vector):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
# unit vector in the direction of positive lift motion
l1, l2, l3 = l_vector
# unit vector in the direction of positive arm extension
a1, a2, a3 = a_vector
# lift (lambda)
L = lift_distance
# arm (alpha)
A = arm_distance
# base translation (mu)
M = base_distance
x = A * a1 + L * l1 + M + b1
y = A * a2 + L * l2
z = A * a3 + L * l3
return((x,y,z))
@njit
def idealized_ik_with_prismatic_base(wrist_position, b1):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
x, y, z = wrist_position
# base translation (mu)
M = x + b1
# lift (lambda)
L = z
# arm (alpha)
A = -y
return((M, L, A))
@njit
def calibrated_ik_with_prismatic_base(wrist_position, b1, l_vector, a_vector):
# b1 is the distance in the x direction between the mobile base rotational axis to the lift on the ground
x, y, z = wrist_position
# unit vector in the direction of positive lift motion
l1, l2, l3 = l_vector
# unit vector in the direction of positive arm extension
a1, a2, a3 = a_vector
denominator = (a2 * l3) - (a3 * l2)
# base translation (mu)
M = (a1 * ((l2 * z) - (l3 * y)) +
a2 * ((-b1 * l3) - (l1 * z) + (l3 * x)) +
a3 * ((b1 * l2) + (l1 * y) - (l2 * x))) / denominator
# lift (lambda)
L = ((a2 * z) - (a3 * y)) / denominator
# arm (alpha)
A = ((-l2 * z) + (l3 * y)) / denominator
return((M, L, A))