PhysLean Documentation

PhysLean.Units.Pressure

Pressure #

In this module we define the dimensionful type corresponding to an pressure. We define specific insances of pressure.

@[reducible, inline]

Pressure as a dimensional quantity with dimension ML⁻¹T⁻2..

Equations
Instances For
    noncomputable def DimPressure.pascal :

    The dimensional pressure corresponding to 1 pascal, Pa.

    Equations
    Instances For

      The dimensional pressure corresponding to 1 millimeter of mercury (133.322387415 pascals).

      Equations
      Instances For
        noncomputable def DimPressure.bar :

        The dimensional pressure corresponding to 1 bar (100,000 pascals).

        Equations
        Instances For

          The dimensional pressure corresponding to 1 standard atmosphere (101,325 pascals).

          Equations
          Instances For
            noncomputable def DimPressure.torr :

            The dimensional pressure corresponding to 1 torr (1/760 of standard atmosphere pressure).

            Equations
            Instances For
              noncomputable def DimPressure.psi :

              The dimensional pressure corresponding to 1 pound per square inch.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For