Re: Stretchy equal sign for commutative diagrams from William F Hammond on 2013-03-26 (www-math@w3.org from March 2013)

From: William F Hammond <hammond@csc.albany.edu>
Date: Tue, 26 Mar 2013 14:22:04 -0400
To: <ion@ams.org>
Cc: Frédéric WANG <fred.wang@free.fr>, <www-math@w3.org>
Message-ID: <i7a9pqkomr.fsf@hilbert.math.albany.edu>

Patrick Ion <ion@ams.org> writes in part:

> In general though, I'd suggest that a combination of SVG for larger
> diagrams and MathML for equational decorations (the whole possibly to be
> viewed as a math object) should be the way to go.  . . .

Focusing on whether the whole should be viewed as a math object:

Is there any extant computer algebra system in which commutative diagrams
are objects?  Or, at least, are there plans for such?  (Sage?)  If so,
where can one learn about the corresponding structures and function calls?

                                    -- Bill

Received on Tuesday, 26 March 2013 18:22:34 UTC