[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] A Canonical Axiom GUI
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] A Canonical Axiom GUI |
Date: |
08 Sep 2006 16:25:48 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Hi Kai!
Kai Kaminski <address@hidden> writes:
Good to see you here!
> 1) In the Axiom core we create one or more additional Lisp packages
> (in the DEFPACKAGE sense) that provide an API for all the services
> that a GUI needs/wants/whatever.
>
> The most important feature would probably be to get the output from
> textual chatter to something with more structure.
For display only I think there are three possibilities:
* use OutputForm directly
* use TEX
* create a domain like TEX that takes something in OutputFrom and converts it
to whatever you want
For input and reusing output you should probably extend INFORM. If the type of
a result of a computation doesn't have INFORM, you should complain to the
author of the domain, or realize that it would be very very hard to come up
with an INFORM.
To obtain the domain of computation 101 you can use domainOf(%%(101))
And I still strongly believe that it would be wise to extend Ralf's ALLPROSE to
become a full-featured GUI. You really should look at the stuff tex4ht
produces, i.e., try
make html
in any ALLPROSE project (for example MyAlps, that comes with the ALLPROSE
distribution)
(you have to have tex4ht installed, of course)
Martin
- [Axiom-developer] A Canonical Axiom GUI, C Y, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, Gabriel Dos Reis, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, Gabriel Dos Reis, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, Kai Kaminski, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, Gabriel Dos Reis, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, C Y, 2006/09/07
- Re: [Axiom-developer] A Canonical Axiom GUI, Kai Kaminski, 2006/09/08
- Re: [Axiom-developer] A Canonical Axiom GUI,
Martin Rubey <=
- Re: [Axiom-developer] A Canonical Axiom GUI, C Y, 2006/09/08
- RE: [Axiom-developer] A Canonical Axiom GUI, Bill Page, 2006/09/10
- RE: [Axiom-developer] A Canonical Axiom GUI, C Y, 2006/09/11
- Re: [Axiom-developer] A Canonical Axiom GUI, Kai Kaminski, 2006/09/12
- RE: [Axiom-developer] A Canonical Axiom GUI, Vanuxem Gregory, 2006/09/13