Examp Widgets#

As demonstrated in Part 6: Example Explorers of the Authors’ Tutorial, “example explorer” or “examp” widgets are designed to help the user rapidly explore numerical examples of mathematical objects and relations. They can be used to illustrate what is happening at a step in a proof.

Under this heading are two types of widget:

  • Parameter widgets: These generate “chooser panels,” where users can choose inputs to determine the examples being explored.

  • Display widgets: These generate “displays” showing the results of calculations, using arbitrary HTML and TeX. Behind the scenes, the SymPy computer algebra system performs calculations to help generate the displays.

The example in Fig. 25 is discussed in this demo.


Fig. 25 An example explorer in side-by-side panels. The yellow boxes are parameter choosers, and the blue box is a display.#