Hello,
Christian, I think that you should have said that reflection would be
just perfect for your AldorUnit
http://www.risc.uni-linz.ac.at/software/aldor/aldorunit
You are right, reflection would be wonderfull for AldorUnit. However,
that's not all I have int mind for reflection.
For examp
Alfredo,
On Wednesday, July 26, 2006 10:58 PM you wrote:
>
> This is the sage notebook test web page (similar to sandbox
> in axiom-developer):
>
> http://sage.math.washington.edu:8100/
>
> Here you can test sage and the computer algebra systems it
> uses (Maxima...).
Yes. Not bad, is it? :
On Wednesday, July 26, 2006 11:15 PM Gaby wrote:
> ...
> Tim Daly wrote:
> |
> | Well, as long as we're talking about changing the input
> | language so that it is type-free, one thing to consider
> | would be to mimic the Maple language. That would give us
> | a large test suite of programs and
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| The short story is that I decided to disallow all HTML encoded
| href links since that was the most common denomintator in all of
| these spam attacks. This makes it a little harder to post a message
| or a change to a web page if all you (usually
root <[EMAIL PROTECTED]> writes:
| > Can we construct a Maple parser that will generate Axiom internal
| > > S-expressions? This would allow us to replace the Axiom input language
| > > with a Maple input language. Is this useful? Is this better than B#?
| >
| >
| > That look complicated.
| > My
This is the sage notebook test web page (similar to sandbox in axiom-developer):
http://sage.math.washington.edu:8100/
Here you can test sage and the computer algebra systems it uses (Maxima...).
On 7/26/06, Page, Bill <[EMAIL PROTECTED]> wrote:
Tim,
On Wednesday, July 26, 2006 7:14 PM you wr
Gaby,
On Wednesday, July 26, 2006 9:44 PM you wrote:
> Bill Pagewrites:
>
> [...]
>
> | To make your changes to the SandBoxActiveAxiomDevelopers
> | just make sure that you enter some simple explanatory text
> | in the reason box before you click Save. Let me know if
> | you still have problem
> If we decorate the Categories with their mathematical axioms can
> > we prove anything about them? Can we do it automatically using ACL2?
> > Can we extend the compiler to do the proof while it compiles?
>
>
> Very difficult.
Clearly but I think that this is one of the most interesting areas
o
> Can we construct a Maple parser that will generate Axiom internal
> > S-expressions? This would allow us to replace the Axiom input language
> > with a Maple input language. Is this useful? Is this better than B#?
>
>
> That look complicated.
> My understanding of B# is it will be a smart inte
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| To make your changes to the SandBoxActiveAxiomDevelopers
| just make sure that you enter some simple explanatory text
| in the reason box before you click Save. Let me know if
| you still have problems.
I just tried, it did not work :-(
-- Gaby
> Axiom needs to be able to do higher-order expressions like:
> >x := p^n * 3*p^m + 2
> >y := q^r * 6*q^s - 3
> > what is the j'th term of x*y? Well, since the we don't know the
> > exponents (n, m, r, or s) we have to construct a function that
> > will return the k'th component of x, the i
"Page, Bill" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| On Wednesday, July 26, 2006 8:27 PM you wrote:
| >
| > I wanted to add more information to
| >
| >http://wiki.axiom-developer.org/SandBoxActiveAxiomDevelopers
| >
| > but it asked for a zope identifier and password, which
| > I don't
Gaby,
On Wednesday, July 26, 2006 8:27 PM you wrote:
>
> I wanted to add more information to
>
>http://wiki.axiom-developer.org/SandBoxActiveAxiomDevelopers
>
> but it asked for a zope identifier and password, which
> I don't have.
Perhaps you did not bother to read the next page after
> The database design in Axiom is old. It uses random access files which
> > follow VM/370 LispVM design. These databases should be redone using a> > better overall design.>>> What is this database ?There are several databases, you can see them loaded when the system
starts. These include informati
Bill,
I wanted to add more information to
http://wiki.axiom-developer.org/SandBoxActiveAxiomDevelopers
but it asked for a zope identifier and password, which I don't have.
I do have a account with the "portal" though -- I don't know how they
realte. All these identifiers and passwords...
Tim,
On Wednesday, July 26, 2006 7:14 PM you wrote:
>
> > I have a project to redo HyperDoc using javascript and
> > XMLHttpRequest. This uses a browser as the front end for
> > the hyperdoc pages and uses an axiom back end to service
> > requests for actions. Eventually this will go into the
>
Antoine,
Thank you very much for the comment. I have made some
changes and look forward to further suggestions.
Regards,
Bill Page.
On Wednesday, July 26, 2006 7:21 PM you wrote:
> I have just a comment about the front page.
> In the right column all links start with "Axiom".
> Is there is a re
> The database design in Axiom is old. It uses random access files which
> > follow VM/370 LispVM design. These databases should be redone using a
> > better overall design.
>
>
> What is this database ?
There are several databases, you can see them loaded when the system
starts. These include i
> I have a research effort to rewrite the algebra using provisos.
> > This uses the idea of generalized intervals to contain conditional
> > statements that constrain the validity of computations.
>
> Will all domain need to be made provisos aware ?
> How will the conditional description be part
> I have a project to port axiom to the MAC. The key issue is getting GCL
> > to build on the MAC. Since MACs are based on BSD the include file chain
> > is completely different from linux and so things resolve poorly. Plus
> > I find the MAC impossible to use (my ability to use a system is
> > inv
> I have a project to redo HyperDoc using javascript and XMLHttpRequest.
> > This uses a browser as the front end for the hyperdoc pages and uses
> > an axiom back end to service requests for actions. Eventually this will
> > go into the Doyen Wiki. I've rewritten a couple dozen pages so far and
>
Hello,I have just a comment about the front page.In the right column all links start with "Axiom". Is there is a reason for this ?I know it is mostly about personal taste but I find it redundant and does not help me find what I am looking for.
Regards,Antoine Hersen
> One key subgoal that is completely independent is to figure out how to
> > draw a line on the screen using SBCL or CLISP and the new lisp-based GUI
> > work. planet.lisp.org has had several discussions about this. A lisp-based
> > GUI for graphics would be much more portable.
>
>
> Do you mean
Hello,One key subgoal that is completely independent is to figure out how to
draw a line on the screen using SBCL or CLISP and the new lisp-based GUIwork. planet.lisp.org has had several discussions about this. A lisp-basedGUI for graphics would be much more portable.
Do you mean just for plotting
Dear all,
I am quite happy to announce that I will have a poster at Mathinfo 06,
"Fourth Colloquium on Mathematics and Computer Science,
Algorithms, Trees, Combinatorics and Probabilities"
http://mathinfo06.iecn.u-nancy.fr/
where I will present my axiom package for guessing formulas. *
Thus, I
On Tuesday, July 25, 2006 9:31 PM C Y wrote:
> ...
> > > It occurrs to me that this might be a waste of time,
> > > particularly if the interp directory code contains all of
> > > the functionality in boot aside from translating boot code
> > > to cl. I think this is the case but before I throw o
On Wednesday, July 26, 2006 11:54 AM C Y wrote:
> --- Bill Page wrote:
> ...
> > Time spent converting the existing Lisp code and the generated
> > Lisp code to conform to the common lisp standard is obviously
> > time well spent, as are efforts to port Axiom to other lisp
> > platforms besides
Can anyone consider writing up a good tutorial-style summary of
this thread? Can you diagram the relationships? I think that the
points made here would be very valuable when presented in an
incremental, logical, tutorial fashion.
t
___
Axiom-develope
CY,
There are many volumes planned for axiom so there are many places to play.
One key subgoal that is completely independent is to figure out how to
draw a line on the screen using SBCL or CLISP and the new lisp-based GUI
work. planet.lisp.org has had several discussions about this. A lisp-based
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| Languages like Boot, SPAD, and Aldor on the other hand are all
| precursors to languages that are currently undergoing rapid
| development, e.g. Python, Ruby, Haskell, Ocaml and several
| others. They seem to have significant appeal to a majority
|
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> As Juergen implies, building depsys from bootstrap Clisp
> files is really no different than the way that Boot itself
> is bootstrapped. Since SPAD can process boot files it seems
> bootsys is completely unnecessary. This makes it even more
> clear tha
On Wednesday, July 26, 2006 10:35 AM Ralf Hemmecke wrote:
> ...
> I believe reflections are not too complicated once we know
> how the internal datastructures for domains are. (Yes, yes,
> we must look inside the compiler sources, or does anybody
> already have a description of how domains are rep
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| On 07/26/2006 03:56 PM, root wrote:
| > Ralf, Gaby,
|
| > If you generate lisp from Aldor and parse the result you will have
| > complete reflection information.
|
| Well, you are always assuming that the target language is LISP.
| The aldor compiler
On Wednesday, July 26, 2006 4:29 AM Juergen Weiss wrote:
>
> The SPAD parser is actually able to translate boot to lisp.
> So you do not need the bootsys image. You can build the
> depsys image immediately (as Bill noted you need a few
> pretranslated files from the interpreter directory).
Now th
On 07/26/2006 03:56 PM, root wrote:
Ralf, Gaby,
If you generate lisp from Aldor and parse the result you will have
complete reflection information.
Well, you are always assuming that the target language is LISP.
The aldor compiler is able to target other languages, too. So I would
prefer a s
Ralf, Gaby,
If you generate lisp from Aldor and parse the result you will
have complete reflection information. This can be done dynamically
by an aldor domain since you can invoke the compiler and get the
result. A 'refection' domain could have functions to access all
of the information available
LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'06
http://lcsd.cs.tamu.edu/2006
Workshop, on October 22nd, 2006 at the
OOPSLA'06 conference in Portland, Oregon,
October 22-26, 2006
CALL FOR PAPERS
Libraries are central to all maj
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> Anyway, such is the difficulty that is cut out for you in this
> task... :) I hope you can attract the help of others more
> knowledgeable.
It sounds like Tim is on top of the situation.
> > I can load the boot-strap lisp files in boot (after som
--- root <[EMAIL PROTECTED]> wrote:
> CY,
>
>
> BUILD ORDER
> Notice the '32' prefix which gives a clue about which make stanza it
> is. This line is output from the Makefile running in the
> src/graph/view2D
> subdirectory. If yo
The SPAD parser is actually able to translate boot to lisp. So
you do not need the bootsys image. You can build the depsys
image immediately (as Bill noted you need a few pretranslated
files from the interpreter directory).
The quoted function stuff refers to the usage of for example
map('car, .
On 07/26/2006 07:53 AM, Christian Aistleitner wrote:
But perhaps "has" is not so weak. What other applications of
reflection are there other then conditional ones?
I do not know if you'd consider that to be reflection or not...
I'd need a generator for all the fields of a domain.
I'd need a w
41 matches
Mail list logo
