Function INERTIA-TENSOR

• Defined in theory: Mechanical-components
• Source code: mechanical-components.lisp

Slots on this function:

Documentation:

The inertia tensor of mechanical-component. Relative to a given point.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Inertia-Tensor 3 3d-Dyad)

(Nth-Domain Inertia-Tensor 2 3d-Point)

(Nth-Domain Inertia-Tensor 1 Mechanical-Component)

Other Related Axioms:

(Instance-Of (Inertia-Tensor ?P (Reference-Point ?P)) 3d-Dyad)

(3d-Dyad (Inertia-Tensor ?P (Reference-Point ?P)))

(=> (Mechanical-Component ?P)
    (And (Value-Type ?P Reference-Point 3d-Point)
         (Value-Cardinality ?P Reference-Point 1)
         (Value-Type ?P Reference-Frame 3d-Frame)
         (Value-Cardinality ?P Reference-Frame 1)
         (Value-Type ?P Mass Scalar-Quantity)
         (Value-Cardinality ?P Mass 1)
         (3d-Dyad (Inertia-Tensor ?P (Reference-Point ?P)))))

(=> (= (Inertia-Tensor ?Comp ?Pt) ?I)
    (Quantity.Dimension ?I
                        (* Mass-Dimension
                           (* Length-Dimension Length-Dimension))))