ETS/ETS2: one joint-index resolver; the all-or-none, unique guarantee breaks under concatenation and insert
Maintainer thường phản hồi trong vòng 1 ngày
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 10/100
Hướng nghiên cứu
Start with the duplicated joint-index logic in ETS.__init__, ETS2.__init__ and ETS2.jacob, then BaseRobot.__init__ and Gripper.__init__. Reproduce the concatenation case from the issue (ETS([ET.Rz()]) * ETS([ET.Rx()]) giving duplicate jindex values) and check the insert path. Done means one shared resolver that enforces all-or-none, unique and contiguous indices, with the proposed regression tests passing. The design choices (lazy versus eager resolution, read-only ET.jindex) need maintainer agreement first.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Summary
The rule "an ETS has either all or none of its joint indices set, and they are unique and contiguous" is implemented four times and enforced in only one place, the constructor. Incremental construction and later mutation can break it.
Found while reviewing #792, which fixed one symptom (np.all([...jindex]) treats index 0 as missing, so a permuted or sparse mapping was silently overwritten with 0..n-1).
Where the logic lives today
| Place | What it does |
|---|---|
ETS.__init__ |
counts joints with a jindex; all-but-last sequential auto-fills the last, mixture raises ValueError, none assigns 0..n-1 |
ETS2.__init__ |
the same ~25 lines, copy-pasted |
ETS2.jacob |
re-checks "all set?" and renumbers (the check #792 fixes) |
BaseRobot.__init__ |
re-derives none/all across the links, via _auto_jindex, then assigns in DFS order |
Gripper.__init__ |
the same again with a slightly different filter |
The guarantee does not hold under incremental construction
On main:
a, b = ET.Rz(), ET.Rx()
e = ETS([a]) * ETS([b]) # each piece was auto-assigned jindex 0
[j.jindex for j in e.joints()] # -> [0, 0], n = 2: all set, but not unique
- Concatenating two auto-indexed ETS gives duplicate indices with no error, because the constructor only checks "all or none", not unique and contiguous.
ETS.insertappends to_datawith no re-check at all and does not reset_auto_jindex.ET.jindexhas a public setter, so indices can be changed after construction, outside the owning ETS (Link.jindex,BaseRobot,Gripper,DHRobotandETS2.jacoball do).
Proposal
- One helper (a function, or a method on the common base
BaseETS) that takes the joints and does the whole job: all-or-none check, uniqueness and contiguity, auto-fill, and returns whether the indices were auto-assigned.ETSandETS2constructors call it. - Re-run it from every mutator (
insert,append,__setitem__,__imul__) or resolve it lazily on first use, sincejindicesis already a cached property. - Make
ET.jindexread-only once the ET belongs to an ETS (the ET is already deep-copied into the ETS, so ownership is clear). Mutation then goes through one sanctioned ETS method that keeps the_auto_jindexflag and the cachedjindicesconsistent.Link.jindex,BaseRobot,GripperandDHRobotuse that method. BaseRobotandGrippershare a small classifier (none/all/mixed) instead of each re-writingall([... is None ...]), and their DFS assignment becomes one base-class method.- The unreachable renumbering block in
ETS2.jacobis deleted.
Regression tests: concatenation of two auto-indexed ETS, insert of a joint, permuted explicit indices surviving jacob, and a mixture still raising.
Fits the ets group of the typing pass (problems 61 to 65).
Related
- #792 (the symptom fix, independent of this)
- Ngôn ngữ chính
- C++
- Star
- 3.5k
- Fork
- 639
- Merge trung bình
- 1 ngày 14 giờ
- Pull request đã merge (30 ngày)
- 96
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của petercorke/robotics-toolbox-python
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
petercorke/robotics-toolbox-python#709 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement help wanted
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
petercorke/robotics-toolbox-python#825 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
feat(ets): numerical inverse kinematics for planar ETS2Có thể đã có người làm @qwist1233-cpu đã nhận 1 ngày trước. Đang mởenhancement help wanted
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 68/100
petercorke/robotics-toolbox-python#824 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
tech-debt Tests needed
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
petercorke/robotics-toolbox-python#804 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
tech-debt
Độ khó 2/5 Dưới một giờ Mức phù hợp với người mới 25/100
petercorke/robotics-toolbox-python#789 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của petercorke/robotics-toolbox-python
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
nasa/fprime#6225 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
content good first issue
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 95/100
cpinitiative/usaco-guide#6699 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
git: need better push commandĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
codepointerapp/codepointer#231 ·
-
[Feature]: Windows 语音输入默认关闭Đang mởenhancement source/qq
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
metasequoiaime/msime-windows#1054 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
amnezia-vpn/amnezia-client#3297 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày