Mechanical-component BUS-ASSY

• Defined in theory: Mace-domain
• Source code: mace-domain.lisp

Slots on this mechanical-component:

Instance-Of: Mechanical-component

Has-Parameter-Slot: Buslength, Delta-1, Delta-2

Subcomponent-Of: Planar-mace

Axioms:

(= (Reference-Point Bus-Assy) (Reference-Point Planar-Mace))

(= (Reference-Frame Bus-Assy) (Reference-Frame Planar-Mace))

Other Related Axioms:

(= (Position (Reference-Point Gimbal-1-Base)
             (Reference-Point Planar-Mace))
   (* (Buslength Bus-Assy)
      (Basis.Vec (Reference-Frame Planar-Mace) 1)))

(= (Position (Reference-Point Gimbal-2-Base)
             (Reference-Point Planar-Mace))
   (* (- (Buslength Bus-Assy))
      (Basis.Vec (Reference-Frame Planar-Mace) 1)))