Pickle is a binary file format for storing arbitrary Python data.

The general-purpose commands Import and Export support this format.

Export accepts any input which is accepted by convert/python.

Import produces an expression of type python.

Note that this file format is not secure. It is possible to construct malicious pickle data which will execute arbitrary code on import. It should therefore only be used with trusted data.

$\mathrm{pickledmatrix}≔\mathrm{convert}\left(⟨⟨1\,2⟩|⟨3\,4⟩⟩\,\mathrm{ByteArray}\,\mathrm{format}=''Pickle''\right)$

$\mathrm{Import}\left(''example/address.pkl''\,\mathrm{base}=\mathrm{datadir}\right)$

$\mathrm{Import}\left(''example/address.pkl''\,\mathrm{base}=\mathrm{datadir}\,\mathrm{output}=\mathrm{python}\right)$