Re: [Axiom-developer] steps towards better TeXmacs interface

[Martin Rubey]

Dear Andrey,

just two comments:

regarding the markers and in and output parsing you should short circuit
yourself wiht Kai Kaminski, I suppose.

Second:

Andrey G. Grozin writes:

 > ... if this C code is used, it is absolutely impossible (and never will be
 > possible) to copy a (part of) output by the mouse and insert in into an
 > input field (because it is not possible to reconstruct the mathematical
 > meaning of an expression from this obfuscated LaTeX). And this goal is
 > highly desirable.

Although this goal may be highly desirable, it will work only for some
domains. For others it is doomed to fail, simply because not all the
information is in the output. In fact, it will probably work only for those
domains that are ConvertibleTo InputForm...

So the probably better way to do this is to capture the label of the
output. The object is stored there, you don't need to reconstruct it. Example:

(1) -> )lib POLYTOPE

(1) -> cube 3

   (1)  "cube3"
                                                               Type: Polytope
(2) -> %::INFORM
 
   Cannot convert from type Polytope to InputForm for value
   "cube3"

(2) -> %::SEX
 
   Cannot convert from type Polytope to SExpression for value
   "cube3"

(2) -> %%(1)

   (2)  "cube3"
                                                               Type: Polytope
(3) -> hVector(%%(1))

   (3)  [1,3,3,1]
                                                         Type: Vector Integer

Martin