This ticket introduces graphics insets, i.e. it allows to have various Graphics objects at arbitrary locations and sizes on a single figure. Previously, only graphics arrays, i.e. Graphics objects arranged in a regular array, were possible.

This is made possible thanks to the generic class MultiGraphics introduced in #27865.
The user interface is constituted of three new functions:

• the method Graphics.inset(), which adds an inset to a given graphics; see this preview example
• the method MultiGraphics.inset(), which adds an inset to a multi-graphics (e.g. a GraphicsArray); see this preview example
• the function multi_graphics() , which creates a figure from a list of Graphics objects at user-specified locations; see this preview example

Depends on #27865

CC: @kcrisman @fchapoton @dkrenn @jdemeyer @embray

Component: graphics

Keywords: graphics inset

Author: Eric Gourgoulhon

Branch: ed586d3

Reviewer: Markus Wageringel

Issue created by migration from https://trac.sagemath.org/ticket/27866