Function BUSLENGTH

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

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: Mechanical-component

Parameter-Slot-Of: Bus-assy

Range: Scalar-quantity

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)))

(=> (Buslength $X $Y) (Scalar-Quantity $Y))

(=> (Buslength $X $Y) (Mechanical-Component $X))