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]