Mechanical-component GIMBAL-1-BASE

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

Slots on this mechanical-component:

Instance-Of: Mechanical-component

Subcomponent-Of: Gimbal-1

Axioms:

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

(= (Reference-Frame Gimbal-1-Base) (Reference-Frame Planar-Mace))

Other Related Axioms:

(<- (Gimbal-1-Torque ?X)
    (Dot (Basis.Vec (Reference-Frame Gimbal-1-Base) 1)
         (Applied-Torque Gimbal-1-Base Gimbal-1-Platform)))

(= (Reference-Point Gimbal-1-Platform)
   (Reference-Point Gimbal-1-Base))

(= (Orientation (Reference-Frame Gimbal-1-Platform)
                (Reference-Frame Gimbal-1-Base))
   (Simple-Rotation 3 Gimbal-1-Angle))