Physlib.Units.WithDim.Area

The type `DimArea` represents the physical quantity of area. It is defined as the type of dimensionful quantities with dimension $L^2 = L_{\mathfrak{d}} \cdot L_{\mathfrak{d}}$, where $L_{\mathfrak{d}}$ is the dimension of length. Specifically, it consists of functions that map a choice of unit system to a non-negative real number $\mathbb{R}_{\ge 0}$ such that the values scale consistently with the dimension of area across different unit choices.

The constant `DimArea.squareMeter` represents the physical quantity of one square meter ($1\text{ m}^2$). It is defined as the dimensionful area that takes the value $1$ in the International System of Units (SI). Formally, it is constructed by lifting the value $1$ from the SI unit system to the type of dimensionful quantities `DimArea`, ensuring it scales according to the dimension of area ($L^2$) across different unit systems.

The constant `DimArea.squareFoot` is the dimensionful quantity representing an area of $1$ square foot. Formally, it is defined as the element of type `DimArea` (the type of physical quantities with dimension $L^2$) whose value is $1$ in a unit system where the unit of length is feet and the other base units (time, mass, etc.) are those of the International System (SI).

The constant `DimArea.squareMile` represents the physical area of $1\text{ mile}^2$. It is defined as the dimensionful quantity of type $\text{DimArea}$ that corresponds to the value $1$ when the unit of length is chosen to be miles and all other base units (time, mass, charge, and temperature) are those of the International System of Units (SI).

The constant `DimArea.are` represents the dimensionful quantity of area known as an "are". It is defined as the element of `DimArea` that takes the value $100$ when expressed in the International System of Units (SI), which corresponds to $100 \text{ m}^2$.

The constant `hectare` is the dimensionful quantity of area (of type `DimArea`) defined to have the value $10,000$ in the International System of Units ($\text{SI}$). Given that the SI unit of length is the meter ($\text{m}$), this corresponds to an area of $10,000 \text{ m}^2$.

The constant `DimArea.acre` is a dimensionful quantity of type `DimArea` representing the physical area of one acre. It is defined as the area equivalent to $\frac{1}{640}$ square miles. Formally, it is constructed by assigning the value $\frac{1}{640}$ to a system of units where the base unit of length is the mile (and other base units follow the SI system) and extending this to all unit choices using the `toDimensionful` equivalence.

The value of the dimensionful quantity representing one square meter ($1 \text{ m}^2$), when expressed in the International System of Units ($\text{SI}$), is equal to $1$.

The value of the dimensionful quantity representing one square foot ($1 \text{ ft}^2$), when evaluated in the International System of Units (SI), is $0.09290304$.

In the International System of Units (SI), the numerical value of the dimensionful area of $1 \text{ mile}^2$ is equal to $2,589,988.110336$.

The numerical value of the dimensionful quantity **are** (a unit of area), when expressed in the International System of Units (SI), is equal to $100$. Given that the SI unit for area is square meters, this corresponds to the relation $1 \text{ are} = 100 \text{ m}^2$.

The value of the dimensionful quantity `hectare` when evaluated in the International System of Units ($SI$) is $10,000$. Since the SI unit for length is the meter, this indicates that $1 \text{ hectare}$ is $10,000 \text{ m}^2$.

The numerical value of the physical quantity representing one acre, when evaluated in the International System of Units (SI), is equal to $4046.8564224$.

One acre is equal to $43560$ square feet. In terms of dimensionful quantities, the physical area representing an acre is the result of the scalar action of the non-negative real number $43560$ on the dimensionful area representing a square foot.