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