Allow fontsize on Asymptote pen creation...

Use that in asy inset_box in creating labels.

In general, we trying to make SVG and Aysmptote more the same.

In the process add some comments and type annotations.

Author: rocky

mathics/format/asy.py

@@ -411,7 +411,11 @@ def inset_box(self, **options) -> str:
     x, y = self.pos.pos()
     opacity_value = self.opacity.opacity if self.opacity else None
     content = self.content.boxes_to_tex(evaluation=self.graphics.evaluation)
-    pen = asy_create_pens(edge_color=self.color, edge_opacity=opacity_value)
+    # FIXME: don't hard code text_style_opts, but allow these to be adjustable.
+    font_size = 3
+    pen = asy_create_pens(
+        edge_color=self.color, edge_opacity=opacity_value, fontsize=font_size
+    )
     asy = """// InsetBox
 label("$%s$", (%s,%s), (%s,%s), %s);\n""" % (
         content,

mathics/format/asy_fns.py

@@ -5,6 +5,9 @@
 """
 
 from itertools import chain
+from typing import Optional, Type, Union
+
+RealType = Type[Union[int, float]]
 
 
 def asy_add_bezier_fn(self) -> str:
@@ -103,13 +106,14 @@ def asy_color(self):
 
 
 def asy_create_pens(
-    edge_color=None,
-    face_color=None,
-    edge_opacity=None,
-    face_opacity=None,
+    edge_color: Optional[str] = None,
+    face_color: Optional[str] = None,
+    edge_opacity: Optional[RealType] = None,
+    face_opacity: Optional[RealType] = None,
     stroke_width=None,
     is_face_element=False,
     dotfactor=None,
+    fontsize: Optional[RealType] = None,
 ) -> str:
     """
     Return an asymptote string fragment that creates a drawing pen.
@@ -132,6 +136,8 @@ def asy_create_pens(
             opacity = edge_opacity
         if opacity is not None and opacity != 1:
             pen += f"+opacity({asy_number(opacity)})"
+        if fontsize is not None:
+            pen += f"+fontsize({fontsize})"
         if stroke_width is not None:
             pen += f"+linewidth({asy_number(stroke_width)})"
         result.append(pen)