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.

• Parameter Widgets
  • Format
  • Fields
  • Parameter args
  • Parameter imports
  • Special data types
  • Parameter types
• Display Widgets
  • Format
  • Fields
  • Import strings
  • The build string
  • Editable sections
  • Trust settings