IndexDivide

Workspace.IndexDivide(self: pyarts.arts._Workspace, output: pyarts.arts.WorkspaceVariable | pyarts.arts.Index, input: pyarts.arts.WorkspaceVariable | pyarts.arts.Index, value: pyarts.arts.WorkspaceVariable | pyarts.arts.Index, verbosity: pyarts.arts.WorkspaceVariable | pyarts.arts.Verbosity | None = self.verbosity) → None

Integer division of a Index and a value (output = input / value).

Please note that integer divison is applied, and e.g. 5/3=1.

The result can either be stored in the same or another Index.

Author(s): Patrick Eriksson

Parameters:

• output (Index) – Output Index. [OUT]

• input (Index) – Input Index (numerator). [IN]

• value (Index) – Denominator. [IN]

• verbosity (Verbosity) – ARTS verbosity. See verbosity, defaults to self.verbosity [IN]